| 2026 | AAAI | Exploring Domain Generalization and Subpopulation Shift for Generalizable Graph-Level Anomaly Detection. | Xiaoxiang Li, Xihe Xie, Hai Wan, Xibin Zhao |
| 2026 | AAAI | Interpretable and Robust Behavior Abstraction via Environment-Disentangled Heterogeneous Graph. | Zhibin Ni, Hai Wan, Xibin Zhao |
| 2026 | AAAI | Disentangled Generation-Based Prototypical Alignment for Few-Shot Unsupervised Domain Adaptation in Graph-Level Anomaly Detection. | Zhibin Ni, Chenghao Zhang, Hai Wan, Xibin Zhao |
| 2026 | ICDE | Semantic Compression for Sound and Complete Query Answering Over Knowledge Graphs. | Junhua Ma, Jianfeng Du, Hai Wan, Yue Yu, Kunxun Qi, Weilin Luo, Yanan Liu |
| 2026 | ICDE | Reconstructing TensorLog for Scalable End-to-End Rule Learning. | Kunxun Qi, Jianfeng Du, Hai Wan, Wei Wang |
| 2026 | SP | APIECHO: Training-Less Anomaly Detection via Intra-API Behavioral Comparison for Web Applications. | Yihao Peng, Yiming Wu, Du Wu, Shouling Ji, Hai Wan, Xibin Zhao |
| 2025 | AAAI | Robust Heterogeneous Graph Classification for Molecular Property Prediction with Information Bottleneck. | Zhibin Ni, Chang Liu, Hai Wan, Xibin Zhao |
| 2025 | CIKM | OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams. | Junming Qiu, Rongzhen Ye, Weilin Luo, Kunxun Qi, Hai Wan, Yue Yu |
| 2025 | ICPADS | Detecting and Characterizing APT Attacks in the Open World. | Hao Xi, Yibin Han, Xiaoxiang Li, Jingwei Song, Zhenwei Zhang, Hai Wan, Xibin Zhao |
| 2025 | WWW | FG-CIBGC: A Unified Framework for Fine-Grained and Class-Incremental Behavior Graph Classification. | Zhibin Ni, Pan Fan, Shengzhuo Dai, Bo Zhang, Hai Wan, Xibin Zhao |
| 2024 | AAAI | End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. | Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng |
| 2024 | AAAI | Revisiting Graph-Based Fraud Detection in Sight of Heterophily and Spectrum. | Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Xibin Zhao, Hai Wan |
| 2024 | AAAI | QPEN: Quantum Projection and Quantum Entanglement Enhanced Network for Cross-Lingual Aspect-Based Sentiment Analysis. | Xingqiang Zhao, Hai Wan, Kunxun Qi |
| 2024 | ACL | End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. | Kunxun Qi, Jianfeng Du, Hai Wan |
| 2024 | CIKM | Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. | Kunxun Qi, Jianfeng Du, Hai Wan |
| 2024 | DASFAA | Document Hashing by Exploiting Noisy Neighborhood Information with Fault-Tolerant Mutual-Information-Preserving VAE. | Jiayang Chen, Qinliang Su, Zetong Li, Hai Wan, Defu Lian |
| 2024 | ICML | Contamination-Resilient Anomaly Detection via Adversarial Learning on Partially-Observed Normal and Anomalous Data. | Wenxi Lv, Qinliang Su, Hai Wan, Hongteng Xu, Wenchao Xu |
| 2024 | IJCAI | On the Logic of Theory Change Iteration of KM-Update, Revised. | Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai, Weiqi Luo, Hai Wan |
| 2024 | ICSE | ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. | Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye |
| 2024 | ICSE | DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. | Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang |
| 2024 | ISSTA | Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. | Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang |
| 2024 | WCNC | A Communication-Efficient Federated Learning by Dynamic Quantization and Free-Ride Coding. | Junjie Chen, Qianfan Wang, Hai Wan, Xiao Ma |
| 2024 | WCNC | Free-Ride Transmission of Semantic Features in Wireless Video Surveillance Systems. | Junjie Chen, Yinchu Wang, Qianfan Wang, Hai Wan, Xiao Ma |
| 2023 | AAAI | A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. | Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang |
| 2023 | IJCAI | Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract). | Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati |
| 2023 | SP | TeSec: Accurate Server-side Attack Investigation for Web Applications. | Ruihua Wang, Yihao Peng, Yilun Sun, Xuancheng Zhang, Hai Wan, Xibin Zhao |
| 2022 | AAAI | Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. | Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang |
| 2022 | AAAI | Improving Local Search Algorithms via Probabilistic Configuration Checking. | Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang |
| 2022 | ACL | Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. | Kunxun Qi, Hai Wan, Jianfeng Du, Haolan Chen |
| 2022 | IJCAI | Teaching LTLf Satisfiability Checking to Neural Networks. | Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang |
| 2021 | AAAI | FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. | Hai Wan, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan |
| 2021 | ACL | A DQN-based Approach to Finding Precise Evidences for Fact Verification. | Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye |
| 2021 | ACL | Enhancing Metaphor Detection by Gloss-based Interpretations. | Hai Wan, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang |
| 2021 | CVPR | View-Guided Point Cloud Completion. | Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao |
| 2021 | GLOBECOM | TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning. | Hongyu Jia, Yu Jiang, Chunmeng Zhong, Hai Wan, Xibin Zhao |
| 2021 | GLOBECOM | A Boolean Network Tomography based Method for Deterministic Multi-point Fault Detection. | Sukun Zhang, Hai Wan, Xibin Zhao |
| 2021 | ICCAD | An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. | Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song |
| 2021 | ICCCN | DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. | Chunmeng Zhong, Hongyu Jia, Hai Wan, Xibin Zhao |
| 2021 | ICSE | How to Identify Boundary Conditions with Contrasty Metric? | Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen |
| 2021 | ISPA | TATA: Throughput-Aware TAsk Placement in Heterogeneous Stream Processing with Deep Reinforcement Learning. | Xiao Huang, Yu Jiang, Hao Fan, Huayun Tang, Yiping Wang, Jin Jin, Hai Wan, Xibin Zhao |
| 2020 | AAAI | Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. | Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen |
| 2020 | AAAI | Query Answering with Guarded Existential Rules under Stable Model Semantics. | Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang |
| 2020 | AAAI | Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. | Hai Wan, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan |
| 2020 | AAAI | Refining HTN Methods via Task Insertion with Preferences. | Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen |
| 2020 | AAAI | Hypergraph Label Propagation Network. | Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao |
| 2020 | APSEC | Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. | Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang |
| 2020 | IJCAI | Speeding up Very Fast Decision Tree with Low Computational Cost. | Jian Sun, Hongyu Jia, Bo Hu, Xiao Huang, Hao Zhang, Hai Wan, Xibin Zhao |
| 2020 | IJCAI | Query Answering for Existential Rules via Efficient Datalog Rewriting. | Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan |
| 2019 | ICCAD | Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. | Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu |
| 2019 | IJCAI | Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. | Wanshan Zheng, Zibin Zheng, Hai Wan, Chuan Chen |
| 2019 | SIGCOMM | Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. | Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu |
| 2018 | AAAI | Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. | Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai |
| 2018 | AAAI | Hypergraph Learning With Cost Interval Optimization. | Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao |
| 2018 | IJCAI | Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. | Hai Wan, Yonghao Luo, Bo Peng, Wei-Shi Zheng |
| 2018 | IJCAI | Adversarial Attribute-Image Person Re-identification. | Zhou Yin, Wei-Shi Zheng, Ancong Wu, Hong-Xing Yu, Hai Wan, Xiaowei Guo, Feiyue Huang, Jianhuang Lai |
| 2018 | ICSE | Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. | Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu |
| 2018 | RTAS | Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. | Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu |
| 2017 | AAAI | Practical TBox Abduction Based on Justification Patterns. | Jianfeng Du, Hai Wan, Huaguan Ma |
| 2017 | IJCAI | A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. | Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu |
| 2017 | IJCAI | Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. | Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun |
| 2017 | IJCAI | Hierarchical Task Network Planning with Task Insertion and State Constraints. | Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su |
| 2017 | IWQoS | Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. | Qinghan Yu, Xibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu |
| 2016 | AAAI | Query Answering with Inconsistent Existential Rules under Stable Model Semantics. | Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang |
| 2016 | ECAI | Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. | Quan Yu, Hai Wan, Jiangtao Xu, Freddy Lcu, Liang Chang |
| 2016 | IJCAI | Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. | Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu |
| 2015 | AAAI | Splitting a Logic Program Revisited. | Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan |
| 2015 | AAAI | On Elementary Loops and Proper Loops for Disjunctive Logic Programs. | Jianmin Ji, Hai Wan, Peng Xiao |
| 2015 | EMNLP | Aligning Knowledge and Text Embeddings by Entity Descriptions. | Huaping Zhong, Jianwen Zhang, Zhen Wang, Hai Wan, Zheng Chen |
| 2015 | IJCAI | Simplifying A Logic Program Using Its Consequences. | Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan |
| 2015 | IJCAI | A Complete Epistemic Planner without the Epistemic Closed World Assumption. | Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu |
| 2014 | AAAI | Elementary Loops Revisited. | Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao |
| 2014 | AAAI | Computing General First-Order Parallel and Prioritized Circumscription. | Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang |
| 2013 | COMPSAC | Component-Based Modeling and Code Synthesis for Cyclic Programs. | Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu |
| 2013 | ICECCS | Modeling and Verification of Component-Based Systems with Data Passing Using BIP. | Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu |
| 2012 | PRICAI | τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming. | Hai Wan, Yu Ma, Zhanhao Xiao, Yuping Shen |
| 2011 | DASC | Migrating Complex Business Process to Cloud Based on Mspoa and CBPM. | Hai Wan, Yang Yu |
| 2011 | DASC | Design and Implementation of P2P Reasoning System Based on Description Logic. | Hai Wan, Yang Yu, Jian-Tian Zheng |
| 2010 | JELIA | dl2asp: Implementing Default Logic via Answer Set Programming. | Yin Chen, Hai Wan, Yan Zhang, Yi Zhou |
| 2010 | TASE | Parameterized Specification and Verification of PLC Systems in Coq. | Hai Wan, Xiaoyu Song, Ming Gu |
| 2009 | COMPSAC | Formalization and Verification of PLC Timers in Coq. | Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu |
| 2009 | ICECCS | Formal Specification and Code Generation of Programable Logic Controllers. | Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan |
| 2007 | COMPSAC | State-based Process Description Model in Chinese E-government Affair System. | Yunxiang Zheng, Lei Li, Hai Wan |
| 2007 | CSCWD | An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System. | Zhifang Li, Lei Li, Hao Cui, Hai Wan |