Hai Wan - RankMe

170 papers A* 52A 8B 12C 4Misc 1Journal 66Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Joint Decoding Scheme for Communication-Efficient NOMA-Empowered Federated Learning. IEEE Trans. Cogn. Commun. Netw. Junjie Chen, Suihua Cai, Hai Wan, Xiao Ma
2026	J	`jnl`	Adversarial Contrastive Learning for LLM Quantization Attacks. CoRR Dinghong Song, Zhiwei Xu, Hai Wan, Xibin Zhao, Pengfei Su, Dong Li
2026	A*	`conf`	Disentangled Generation-Based Prototypical Alignment for Few-Shot Unsupervised Domain Adaptation in Graph-Level Anomaly Detection. AAAI Zhibin Ni, Chenghao Zhang, Hai Wan, Xibin Zhao
2026	J	`jnl`	ERINYES: Request-Level Provenance Analysis for Serverless Attacks. IEEE Trans. Dependable Secur. Comput. Hao Xi, Hai Wan, Xibin Zhao, Mohsen Guizani
2026	A*	`conf`	Exploring Domain Generalization and Subpopulation Shift for Generalizable Graph-Level Anomaly Detection. AAAI Xiaoxiang Li, Xihe Xie, Hai Wan, Xibin Zhao
2026	A*	`conf`	Interpretable and Robust Behavior Abstraction via Environment-Disentangled Heterogeneous Graph. AAAI Zhibin Ni, Hai Wan, Xibin Zhao
2026	J	`jnl`	Temperature as a Meta-Policy: Adaptive Temperature in LLM Reinforcement Learning. CoRR Haoran Dang, Cuiling Lan, Hai Wan, Xibin Zhao, Yan Lu
2025	—	`conf`	A SCA-Based Method for RIS Assisted Over-the-Air Computation. WASA (2) Junjie Chen, Hai Wan, Xiao Ma
2025	A	`conf`	Adaptive Gaussian Mixture Model with Hierarchical Propagation for One-Class Graph Fraud Detection. ICME Xiaoxiang Li, Xinyu Jiang, Zining Wang, Chang Liu, Zhibin Ni, Hai Wan, Xibin Zhao
2025	J	`jnl`	Ancora: Accurate Intrusion Recovery for Web Applications. CoRR Yihao Peng, Biao Ma, Hai Wan, Xibin Zhao
2025	J	`jnl`	AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution. CoRR Weilin Luo, Xueyi Liang, Haotian Deng, Yanan Liu, Hai Wan
2025	A*	`conf`	AutoLabel: Automated Fine-Grained Log Labeling for Cyber Attack Dataset Generation. USENIX Security Symposium Yihao Peng, Tongxin Zhang, Jieshao Lai, Yuxuan Zhang, Yiming Wu, Hai Wan, Xibin Zhao
2025	J	`jnl`	Deep Learning-based Intrusion Detection Systems: A Survey. CoRR Zhiwei Xu, Yujuan Wu, Shiheng Wang, Jiabao Gao, Tian Qiu, Ziqi Wang, Hai Wan, Xibin Zhao
2025	B	`conf`	Detecting and Characterizing APT Attacks in the Open World. ICPADS Hao Xi, Yibin Han, Xiaoxiang Li, Jingwei Song, Zhenwei Zhang, Hai Wan, Xibin Zhao
2025	A*	`conf`	FG-CIBGC: A Unified Framework for Fine-Grained and Class-Incremental Behavior Graph Classification. WWW Zhibin Ni, Pan Fan, Shengzhuo Dai, Bo Zhang, Hai Wan, Xibin Zhao
2025	J	`jnl`	Factor-wise disentangled contrastive learning for cross-domain few-shot molecular property prediction. Frontiers Comput. Sci. Zhibin Ni, Chenghao Zhang, Hai Wan, Xibin Zhao
2025	J	`jnl`	FlexTAS: Flexible Gating Control for Enhanced Time-Sensitive Networking Deployment. IEEE Trans. Ind. Informatics Jiashuo Lin, Weichao Li, Xingbo Feng, Shuangping Zhan, Lewei Ning, Yi Wang, Tao Wang, Hai Wan, Bo Tang, Xiaofeng Tao
2025	J	`jnl`	Learning to mine all minimal evidences for unverified claims. Inf. Sci. Yanan Liu, Hai Wan, Jianfeng Du, Yao Wang, Kunxun Qi, Weilin Luo
2025	J	`jnl`	NADA: Neural Acceptance-Driven Approximate Specification Mining. Proc. ACM Softw. Eng. Weilin Luo, Tingchen Han, Junming Qiu, Hai Wan, Jianfeng Du, Bo Peng, Guohui Xiao, Yanan Liu
2025	A	`conf`	OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams. CIKM Junming Qiu, Rongzhen Ye, Weilin Luo, Kunxun Qi, Hai Wan, Yue Yu
2025	A*	`conf`	Robust Heterogeneous Graph Classification for Molecular Property Prediction with Information Bottleneck. AAAI Zhibin Ni, Chang Liu, Hai Wan, Xibin Zhao
2025	J	`jnl`	TeRed: Normal Behavior-Based Efficient Provenance Graph Reduction for Large-Scale Attack Forensics. IEEE Trans. Inf. Forensics Secur. Xiaoxiang Li, Xinyu Jiang, Hai Wan, Xinbin Zhao
2024	B	`conf`	A Communication-Efficient Federated Learning by Dynamic Quantization and Free-Ride Coding. WCNC Junjie Chen, Qianfan Wang, Hai Wan, Xiao Ma
2024	J	`jnl`	Anomaly Detection Under Contaminated Data With Contamination-Immune Bidirectional GANs. IEEE Trans. Knowl. Data Eng. Qinliang Su, Bowen Tian, Hai Wan, Jian Yin
2024	—	`conf`	Argos: A Detection-Based Method for Log Fusion and Provenance Graph Compression. ICCNS Zhaobao Yang, Lejia Yang, Huizhen Chen, Bianlong Wu, Hai Wan
2024	A	`conf`	Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. CIKM Kunxun Qi, Jianfeng Du, Hai Wan
2024	A*	`conf`	Contamination-Resilient Anomaly Detection via Adversarial Learning on Partially-Observed Normal and Anomalous Data. ICML Wenxi Lv, Qinliang Su, Hai Wan, Hongteng Xu, Wenchao Xu
2024	A*	`conf`	DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. ICSE Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang
2024	—	`conf`	Document Hashing by Exploiting Noisy Neighborhood Information with Fault-Tolerant Mutual-Information-Preserving VAE. DASFAA (2) Jiayang Chen, Qinliang Su, Zetong Li, Hai Wan, Defu Lian
2024	A*	`conf`	End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. AAAI Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng
2024	—	`conf`	End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. ACL (1) Kunxun Qi, Jianfeng Du, Hai Wan
2024	B	`conf`	Free-Ride Transmission of Semantic Features in Wireless Video Surveillance Systems. WCNC Junjie Chen, Yinchu Wang, Qianfan Wang, Hai Wan, Xiao Ma
2024	—	`conf`	GLADformer: A Mixed Perspective for Graph-Level Anomaly Detection. ECML/PKDD (6) Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Dalin Zhang, Siyang Lu, Binyong Li, Wei Gong, Hai Wan, Xibin Zhao
2024	J	`jnl`	GLADformer: A Mixed Perspective for Graph-level Anomaly Detection. CoRR Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Dalin Zhang, Siyang Lu, Binyong Li, Wei Gong, Hai Wan, Xibin Zhao
2024	J	`jnl`	Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao
2024	J	`jnl`	How to Evaluate Semantic Communications for Images With ViTScore Metric? IEEE Trans. Cogn. Commun. Netw. Tingting Zhu, Bo Peng, Jifan Liang, Tingchen Han, Hai Wan, Jingqiao Fu, Junjie Chen
2024	—	`conf`	ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. NIER@ICSE Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye
2024	J	`jnl`	LESS: Efficient Log Storage System Based on Learned Model and Minimum Attribute Tree. CoRR Zhiyang Cheng, Zizhen Zhu, Haoran Dang, Hai Wan, Xibin Zhao
2024	A	`conf`	Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. ISSTA Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang
2024	A*	`conf`	On the Logic of Theory Change Iteration of KM-Update, Revised. IJCAI Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai, Weiqi Luo, Hai Wan
2024	A*	`conf`	QPEN: Quantum Projection and Quantum Entanglement Enhanced Network for Cross-Lingual Aspect-Based Sentiment Analysis. AAAI Xingqiang Zhao, Hai Wan, Kunxun Qi
2024	A*	`conf`	Revisiting Graph-Based Fraud Detection in Sight of Heterophily and Spectrum. AAAI Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Xibin Zhao, Hai Wan
2024	J	`jnl`	The Last Mile of Attack Investigation: Audit Log Analysis Toward Software Vulnerability Location. IEEE Trans. Inf. Forensics Secur. Changhua Chen, Tingzhen Yan, Chenxuan Shi, Hao Xi, Zhirui Fan, Hai Wan, Xibin Zhao
2024	A*	`conf`	Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network. ASE Yuanlin Li, Zhiwei Xu, Min Zhou, Hai Wan, Xibin Zhao
2023	A*	`conf`	A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. AAAI Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
2023	J	`jnl`	A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery. CoRR Zonghui Li, Wenlin Zhu, Kang G. Shin, Hai Wan, Xiaoyu Song, Dong Yang, Bo Ai
2023	—	`conf`	ESFO: Equality Saturation for FIRRTL Optimization. ACM Great Lakes Symposium on VLSI Yan Pi, Hongji Zou, Tun Li, WanXia Qu, Hai Wan
2023	J	`jnl`	Efficient Datalog Rewriting for Query Answering in TGD Ontologies. IEEE Trans. Knowl. Data Eng. Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan
2023	J	`jnl`	Exploring High-Order Spatio-Temporal Correlations From Skeleton for Person Re-Identification. IEEE Trans. Image Process. Jiaxuan Lu, Hai Wan, Peiyan Li, Xibin Zhao, Nan Ma, Yue Gao
2023	A*	`conf`	Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract). IJCAI Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
2023	J	`jnl`	How to Evaluate Semantic Communications for Images with ViTScore Metric? CoRR Tingting Zhu, Bo Peng, Jifan Liang, Tingchen Han, Hai Wan, Jingqiao Fu, Junjie Chen
2023	J	`jnl`	How to verify identity in the continuous variable quantum system? Quantum Inf. Process. Xingqiang Zhao, Hai Wan, Lv-Zhou Li
2023	A*	`conf`	Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion. NeurIPS Kunxun Qi, Jianfeng Du, Hai Wan
2023	A*	`conf`	PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ASE Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng
2023	J	`jnl`	Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey. CoRR Chao Yu, Xuejing Zheng, Hankz Hankui Zhuo, Hai Wan, Weilin Luo
2023	A*	`conf`	SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. ASE Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen
2023	J	`jnl`	Structure Evolution on Manifold for Graph Learning. IEEE Trans. Pattern Anal. Mach. Intell. Hai Wan, Xinwei Zhang, Yubo Zhang, Xibin Zhao, Shihui Ying, Yue Gao
2023	A*	`conf`	TeSec: Accurate Server-side Attack Investigation for Web Applications. SP Ruihua Wang, Yihao Peng, Yilun Sun, Xuancheng Zhang, Hai Wan, Xibin Zhao
2023	J	`jnl`	Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hai Wan, Wuqing Zhao, Tao Wang
2022	J	`jnl`	A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. CoRR Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
2022	J	`jnl`	A type-aware coding approach for unequal message protection. Phys. Commun. Xinyuanmeng Yao, Hai Wan, Xiao Ma
2022	J	`jnl`	Application of Quantum Density Matrix in Classical Question Answering and Classical Image Classification. CoRR Xingqiang Zhao, Hai Wan, Hao Chen, Li-Ling Su, Zi-Ling Huang, Lv-Zhou Li
2022	A*	`conf`	Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang
2022	A*	`conf`	Checking LTL Satisfiability via End-to-end Learning. ASE Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su
2022	—	`conf`	Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. ACL (1) Kunxun Qi, Hai Wan, Jianfeng Du, Haolan Chen
2022	J	`jnl`	Gradient-based mixed planning with symbolic and numeric action parameters. Artif. Intell. Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
2022	A*	`conf`	Grow and Merge: A Unified Framework for Continuous Categories Discovery. NeurIPS Xinwei Zhang, Jianwen Jiang, Yutong Feng, Zhi-Fan Wu, Xibin Zhao, Hai Wan, Mingqian Tang, Rong Jin, Yue Gao
2022	J	`jnl`	Grow and Merge: A Unified Framework for Continuous Categories Discovery. CoRR Xinwei Zhang, Jianwen Jiang, Yutong Feng, Zhi-Fan Wu, Xibin Zhao, Hai Wan, Mingqian Tang, Rong Jin, Yue Gao
2022	A*	`conf`	Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang
2022	J	`jnl`	Learning Visual Planning Models from Partially Observed Images. CoRR Kebing Jin, Zhanhao Xiao, Hankz Hankui Zhuo, Hai Wan, Jiaran Cai
2022	A*	`conf`	Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang
2022	J	`jnl`	Understanding social relationships with person-pair relations. Big Data Min. Anal. Hang Zhao, Haicheng Chen, Leilai Li, Hai Wan
2021	B	`conf`	A Boolean Network Tomography based Method for Deterministic Multi-point Fault Detection. GLOBECOM Sukun Zhang, Hai Wan, Xibin Zhao
2021	—	`conf`	A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye
2021	J	`jnl`	A general multi-agent epistemic planner based on higher-order belief change. Artif. Intell. Hai Wan, Biqing Fang, Yongmei Liu
2021	A	`conf`	An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song
2021	B	`conf`	DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. ICCCN Chunmeng Zhong, Hongyu Jia, Hai Wan, Xibin Zhao
2021	—	`conf`	Enhancing Metaphor Detection by Gloss-based Interpretations. ACL/IJCNLP (Findings) Hai Wan, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang
2021	A*	`conf`	FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. AAAI Hai Wan, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan
2021	J	`jnl`	Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks. IEEE Trans. Ind. Informatics Zaiyu Pang, Xiao Huang, Zonghui Li, Sukun Zhang, Yanfen Xu, Hai Wan, Xibin Zhao
2021	J	`jnl`	Gradient-Based Mixed Planning with Discrete and Continuous Actions. CoRR Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
2021	A*	`conf`	How to Identify Boundary Conditions with Contrasty Metric? ICSE Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
2021	J	`jnl`	How to Identify Boundary Conditions with Contrasty Metric? CoRR Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
2021	J	`jnl`	Iterative Visual Relationship Detection via Commonsense Knowledge Graph. Big Data Res. Hai Wan, Jinrui Liang, Jianfeng Du, Yanan Liu, Jialing Ou, Baoyi Wang, Jeff Z. Pan, Juan Zeng
2021	J	`jnl`	SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE Trans. Reliab. Weilin Luo, Ou Wei, Hai Wan
2021	J	`jnl`	Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. CoRR Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
2021	—	`conf`	TATA: Throughput-Aware TAsk Placement in Heterogeneous Stream Processing with Deep Reinforcement Learning. ISPA/BDCloud/SocialCom/SustainCom Xiao Huang, Yu Jiang, Hao Fan, Huayun Tang, Yiping Wang, Jin Jin, Hai Wan, Xibin Zhao
2021	B	`conf`	TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning. GLOBECOM Hongyu Jia, Yu Jiang, Chunmeng Zhong, Hai Wan, Xibin Zhao
2021	A*	`conf`	View-Guided Point Cloud Completion. CVPR Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao
2021	J	`jnl`	View-Guided Point Cloud Completion. CoRR Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao
2020	J	`jnl`	A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song
2020	J	`jnl`	A resource-efficient priority scheduler for time-sensitive networking switches. CCF Trans. Netw. Zonghui Li, Hai Wan, Yangdong Deng, Ke Xiong, Xiaoyu Song
2020	J	`jnl`	Editorial of special issue on time-sensitive networking. CCF Trans. Netw. Wei Peng, Yi Wang, Tao Huang, Hai Wan, David Dai, Jianping Wang
2020	A*	`conf`	Hypergraph Label Propagation Network. AAAI Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao
2020	A*	`conf`	Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen
2020	J	`jnl`	Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2020	J	`jnl`	Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks. IEEE Trans. Ind. Informatics Qinghan Yu, Hai Wan, Xibin Zhao, Yue Gao, Ming Gu
2020	A*	`conf`	Query Answering for Existential Rules via Efficient Datalog Rewriting. IJCAI Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan
2020	A*	`conf`	Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang
2020	A*	`conf`	Refining HTN Methods via Task Insertion with Preferences. AAAI Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
2020	A*	`conf`	Speeding up Very Fast Decision Tree with Low Computational Cost. IJCAI Jian Sun, Hongyu Jia, Bo Hu, Xiao Huang, Hao Zhang, Hai Wan, Xibin Zhao
2020	C	`conf`	Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. APSEC Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
2020	A*	`conf`	Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. AAAI Hai Wan, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan
2020	J	`jnl`	Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2019	J	`jnl`	Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. IEEE Trans. Ind. Informatics Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao
2019	J	`jnl`	An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2019	J	`jnl`	CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. CoRR Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei
2019	J	`jnl`	Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. CoRR Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li
2019	—	`conf`	Design and Implementation of Distributed Time-Triggered System Based on RT-Thread. ICIT Chunmeng Zhong, Haifeng Zhang, Yidong Yuan, Sukun Zhang, Hai Wan
2019	—	`conf`	Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. NEAT@SIGCOMM Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu
2019	A*	`conf`	Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI Wanshan Zheng, Zibin Zheng, Hai Wan, Chuan Chen
2019	—	`conf`	Iterative Visual Relationship Detection via Commonsense Knowledge Graph. JIST Hai Wan, Jialing Ou, Baoyi Wang, Jianfeng Du, Jeff Z. Pan, Juan Zeng
2019	J	`jnl`	Refining HTN Methods via Task Insertion with Preferences. CoRR Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
2019	J	`jnl`	Representation Learning for Classical Planning from Partially Observed Traces. CoRR Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Jinxia Lin, Yanan Liu
2019	J	`jnl`	Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Ind. Electron. Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu
2019	A	`conf`	Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. ICCAD Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu
2018	A*	`conf`	Adversarial Attribute-Image Person Re-identification. IJCAI Zhou Yin, Wei-Shi Zheng, Ancong Wu, Hong-Xing Yu, Hai Wan, Xiaowei Guo, Feiyue Huang, Jianhuang Lai
2018	—	`conf`	An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet. ICCBN Shiqian Zhang, Zonghui Li, Ningchen Wang, Hai Wan, Xibin Zhao
2018	A*	`conf`	Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. AAAI Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai
2018	A*	`conf`	Hypergraph Learning With Cost Interval Optimization. AAAI Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao
2018	—	`conf`	Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. ICSE (Companion Volume) Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu
2018	J	`jnl`	Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems. Comput. Networks Heyuan Shi, Xibin Zhao, Hai Wan, Huihui Wang, Jian Dong, Kun Tang, Anfeng Liu
2018	A*	`conf`	Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. IJCAI Hai Wan, Yonghao Luo, Bo Peng, Wei-Shi Zheng
2018	A	`conf`	Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. RTAS Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu
2017	A*	`conf`	A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu
2017	—	`conf`	Enhancing Knowledge Graph Embedding from a Logical Perspective. JIST Jianfeng Du, Kunxun Qi, Hai Wan, Bo Peng, Shengbin Lu, Yuming Shen
2017	B	`conf`	Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. IWQoS Qinghan Yu, Xibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu
2017	A*	`conf`	Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su
2017	A*	`conf`	Practical TBox Abduction Based on Justification Patterns. AAAI Jianfeng Du, Hai Wan, Huaguan Ma
2017	J	`jnl`	Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun
2017	A*	`conf`	Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun
2016	A*	`conf`	Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu
2016	A	`conf`	Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. ECAI Quan Yu, Hai Wan, Jiangtao Xu, Freddy Lécué, Liang Chang
2016	—	`conf`	Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus. JIST Xiaoheng Su, Hai Wan, Ruibin Chen, Qi Liu, Wenxuan Zhang, Jianfeng Du
2016	A*	`conf`	Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
2016	J	`jnl`	Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
2015	A*	`conf`	A Complete Epistemic Planner without the Epistemic Closed World Assumption. IJCAI Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu
2015	A*	`conf`	Aligning Knowledge and Text Embeddings by Entity Descriptions. EMNLP Huaping Zhong, Jianwen Zhang, Zhen Wang, Hai Wan, Zheng Chen
2015	A*	`conf`	On Elementary Loops and Proper Loops for Disjunctive Logic Programs. AAAI Jianmin Ji, Hai Wan, Peng Xiao
2015	A*	`conf`	Simplifying A Logic Program Using Its Consequences. IJCAI Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
2015	A*	`conf`	Splitting a Logic Program Revisited. AAAI Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
2014	A*	`conf`	Computing General First-Order Parallel and Prioritized Circumscription. AAAI Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang
2014	A*	`conf`	Elementary Loops Revisited. AAAI Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao
2014	J	`jnl`	Formal Proof of a Machine Closed Theorem in Coq. J. Appl. Math. Hai Wan, Anping He, Zhiyang You, Xibin Zhao
2014	—	`conf`	Genetic adaptive A-Star approach for ttrain trip profile optimization problems. CIVTS Jin Huang, Lei Sun, Fangyu Du, Hai Wan, Xibin Zhao
2014	J	`jnl`	Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing. J. Appl. Math. Zhen Cheng, De-chen Zhan, Xibin Zhao, Hai Wan
2013	J	`jnl`	A Novel Two-Terminal Reliability Analysis for MANET. J. Appl. Math. Xibin Zhao, Zhiyang You, Hai Wan
2013	B	`conf`	Component-Based Modeling and Code Synthesis for Cyclic Programs. COMPSAC Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu
2013	J	`jnl`	Design and implementation of P2P reasoning system based on description logic. Int. J. Ad Hoc Ubiquitous Comput. Hai Wan, Yang Yu, Jian-Tian Zheng
2013	J	`jnl`	Formal component-based modeling and synthesis for PLC systems. Comput. Ind. Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun
2013	B	`conf`	Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ICECCS Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu
2012	J	`jnl`	Double-State Based Business Process Description Model and its Operational Semantics. Int. J. Softw. Eng. Knowl. Eng. Yunxiang Zheng, Tianxiang Zheng, Yanfen Zhang, Hai Wan
2012	B	`conf`	τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming. PRICAI Hai Wan, Yu Ma, Zhanhao Xiao, Yuping Shen
2011	J	`jnl`	A novel fault diagnosis mechanism for wireless sensor networks. Math. Comput. Model. Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu
2011	C	`conf`	Design and Implementation of P2P Reasoning System Based on Description Logic. DASC Hai Wan, Yang Yu, Jian-Tian Zheng
2011	J	`jnl`	Formalisation and verification of programmable logic controllers timers in Coq. IET Softw. Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
2011	C	`conf`	Migrating Complex Business Process to Cloud Based on Mspoa and CBPM. DASC Hai Wan, Yang Yu
2010	—	`conf`	A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu
2010	Misc	`conf`	Parameterized Specification and Verification of PLC Systems in Coq. TASE Hai Wan, Xiaoyu Song, Ming Gu
2010	B	`conf`	dl2asp: Implementing Default Logic via Answer Set Programming. JELIA Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
2009	B	`conf`	Formal Specification and Code Generation of Programable Logic Controllers. ICECCS Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan
2009	J	`jnl`	Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Math. Comput. Model. Hai Wan, Ming Gu, Xiaoyu Song
2009	—	`conf`	Formalization and Verification of PLC Timers in Coq. COMPSAC (1) Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
2007	C	`conf`	An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System. CSCWD Zhifang Li, Lei Li, Hao Cui, Hai Wan
2007	—	`conf`	Requirement Specification Based on Action Model Learning. ICIC (1) Hankui Zhuo, Lei Li, Rui Bian, Hai Wan
2007	—	`conf`	State-based Process Description Model in Chinese E-government Affair System. COMPSAC (1) Yunxiang Zheng, Lei Li, Hai Wan
2006	—	`conf`	Building Business Process Description and Reasoning Meta-model SPW/ProSim Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li
2005	—	`conf`	Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment. APPT Hai Wan, Lei Li
2005	—	`conf`	E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management. ICEBE Hai Wan, Lei Li
2004	—	`conf`	Semantic Caching Services for Data Grids. GCC Hai Wan, Xiao-Wei Hao, Tao Zhang, Lei Li