Semantic Caching Services for Data Grids. - Hai Wan; Xiao-Wei Hao; Tao Zhang; Lei Li 022 (GCC, 2004)

Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment. - Hai Wan; Lei Li 022 (APPT, 2005)

E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management. - Hai Wan; Lei Li 022 (ICEBE, 2005)

Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. - Hai Wan; Yunxiang Zheng; Yin Chen 005; Lei Li 022 (SPW/ProSim, 2006)

State-based Process Description Model in Chinese E-government Affair System. - Yunxiang Zheng; Lei Li 022; Hai Wan (COMPSAC (1), 2007)

An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System. - Zhifang Li; Lei Li 022; Hao Cui; Hai Wan (CSCWD, 2007)

Requirement Specification Based on Action Model Learning. - Hankui Zhuo; Lei Li 022; Rui Bian; Hai Wan (ICIC (1), 2007)

Formalization and Verification of PLC Timers in Coq. - Hai Wan; Gang Chen 004; Xiaoyu Song; Ming Gu 001 (COMPSAC (1), 2009)

Formal Specification and Code Generation of Programable Logic Controllers. - Rui Wang 024; Ming Gu 001; Xiaoyu Song; Hai Wan (ICECCS, 2009)

Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. - Hai Wan; Ming Gu 001; Xiaoyu Song (Math. Comput. Model., 2009)

dl2asp: Implementing Default Logic via Answer Set Programming. - Yin Chen 005; Hai Wan; Yan Zhang 003; Yi Zhou 013 (JELIA, 2010)

A Refinement-Based Validation Method for Programmable Logic Controllers. - Hai Wan; Xiaoyu Song; Gang Chen 004; Ming Gu 001 (QSIC, 2010)

Parameterized Specification and Verification of PLC Systems in Coq. - Hai Wan; Xiaoyu Song; Ming Gu 001 (TASE, 2010)

Migrating Complex Business Process to Cloud Based on Mspoa and CBPM. - Hai Wan; Yang Yu 027 (DASC, 2011)

Formalisation and verification of programmable logic controllers timers in Coq. - Hai Wan; Gang Chen 004; Xiaoyu Song; Ming Gu 001 (IET Softw., 2011)

A novel fault diagnosis mechanism for wireless sensor networks. - Zhiyang You; Xibin Zhao; Hai Wan; William N. N. Hung; Yuke Wang; Ming Gu 001 (Math. Comput. Model., 2011)

τε2asp : Implementing $ mathcal{TE}$ via Answer Set Programming. - Hai Wan; Yu Ma; Zhanhao Xiao; Yuping Shen (PRICAI, 2012)

Double-State Based Business Process Description Model and its Operational Semantics. - Yunxiang Zheng; Tianxiang Zheng; Yanfen Zhang; Hai Wan (Int. J. Softw. Eng. Knowl. Eng., 2012)

Component-Based Modeling and Code Synthesis for Cyclic Programs. - Min Zhou 001; Hai Wan; Chen Su; Liangze Yin; Lianyi Zhang; Fei He 001; Ming Gu 001 (COMPSAC, 2013)

Modeling and Verification of Component-Based Systems with Data Passing Using BIP. - Chen Su; Min Zhou 001; Liangze Yin; Hai Wan; Ming Gu 001 (ICECCS, 2013)

Formal component-based modeling and synthesis for PLC systems. - Min Zhou 001; Hai Wan; Rui Wang 024; Xiaoyu Song; Chen Su; Ming Gu 001; Jiaguang Sun 001 (Comput. Ind., 2013)

Design and implementation of P2P reasoning system based on description logic. - Hai Wan; Yang Yu 027; Jian-Tian Zheng (Int. J. Ad Hoc Ubiquitous Comput., 2013)

A Novel Two-Terminal Reliability Analysis for MANET. - Xibin Zhao; Zhiyang You; Hai Wan (J. Appl. Math., 2013)

Elementary Loops Revisited. - Jianmin Ji; Hai Wan; Peng Xiao 009; Ziwei Huo; Zhanhao Xiao (AAAI, 2014)

Computing General First-Order Parallel and Prioritized Circumscription. - Hai Wan; Zhanhao Xiao; Zhenfeng Yuan; Heng Zhang 006; Yan Zhang 003 (AAAI, 2014)

Genetic adaptive A-Star approach for ttrain trip profile optimization problems. - Jin Huang 002; Lei Sun; Fangyu Du; Hai Wan; Xibin Zhao (CIVTS, 2014)

Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing. - Zhen Cheng; De-chen Zhan; Xibin Zhao; Hai Wan (J. Appl. Math., 2014)

Formal Proof of a Machine Closed Theorem in Coq. - Hai Wan; Anping He; Zhiyang You; Xibin Zhao (J. Appl. Math., 2014)

Splitting a Logic Program Revisited. - Jianmin Ji; Hai Wan; Ziwei Huo; Zhenfeng Yuan (AAAI, 2015)

On Elementary Loops and Proper Loops for Disjunctive Logic Programs. - Jianmin Ji; Hai Wan; Peng Xiao 009 (AAAI, 2015)

Aligning Knowledge and Text Embeddings by Entity Descriptions. - Huaping Zhong; Jianwen Zhang; Zhen Wang 036; Hai Wan; Zheng Chen 001 (EMNLP, 2015)

Simplifying A Logic Program Using Its Consequences. - Jianmin Ji; Hai Wan; Ziwei Huo; Zhenfeng Yuan (IJCAI, 2015)

A Complete Epistemic Planner without the Epistemic Closed World Assumption. - Hai Wan; Rui Yang; Liangda Fang; Yongmei Liu 001; Huada Xu (IJCAI, 2015)

Query Answering with Inconsistent Existential Rules under Stable Model Semantics. - Hai Wan; Heng Zhang 006; Peng Xiao 009; Haoran Huang; Yan Zhang 003 (AAAI, 2016)

Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. - Quan Yu; Hai Wan; Jiangtao Xu; Freddy Lécué; Liang Chang 003 (ECAI, 2016)

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. - Jianmin Ji; Hai Wan; Kewen Wang 001; Zhe Wang 001; Chuhan Zhang; Jiangtao Xu (IJCAI, 2016)

Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus. - Xiaoheng Su; Hai Wan; Ruibin Chen; Qi Liu; Wenxuan Zhang; Jianfeng Du (JIST, 2016)

Practical TBox Abduction Based on Justification Patterns. - Jianfeng Du; Hai Wan; Huaguan Ma (AAAI, 2017)

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. - Xiao Huang; Biqing Fang; Hai Wan; Yongmei Liu 001 (IJCAI, 2017)

Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. - Lifan Su; Yue Gao 002; Xibin Zhao; Hai Wan; Ming Gu 001; Jiaguang Sun 001 (IJCAI, 2017)

Hierarchical Task Network Planning with Task Insertion and State Constraints. - Zhanhao Xiao; Andreas Herzig; Laurent Perrussel; Hai Wan; Xiaoheng Su (IJCAI, 2017)

Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. - Qinghan Yu; Xibin Zhao; Hai Wan; Yue Gao 002; Chenyang Lu 001; Ming Gu 001 (IWQoS, 2017)

Enhancing Knowledge Graph Embedding from a Logical Perspective. - Jianfeng Du; Kunxun Qi; Hai Wan; Bo Peng; Shengbin Lu; Yuming Shen (JIST, 2017)

Representative band selection for hyperspectral image classification. - Ronglu Yang; Lifan Su; Xibin Zhao; Hai Wan; Jiaguang Sun 001 (J. Vis. Commun. Image Represent., 2017)

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 (AAAI, 2018)

Hypergraph Learning With Cost Interval Optimization. - Xibin Zhao; Nan Wang 015; Heyuan Shi; Hai Wan; Jin Huang 002; Yue Gao 002 (AAAI, 2018)

An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet. - Shiqian Zhang; Zonghui Li; Ningchen Wang; Hai Wan; Xibin Zhao (ICCBN, 2018)

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 001 (ICSE (Companion Volume), 2018)

Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. - Hai Wan; Yonghao Luo; Bo Peng; Wei-Shi Zheng 001 (IJCAI, 2018)

Adversarial Attribute-Image Person Re-identification. - Zhou Yin; Wei-Shi Zheng 001; Ancong Wu; Hong-Xing Yu; Hai Wan; Xiaowei Guo; Feiyue Huang; Jianhuang Lai (IJCAI, 2018)

Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. - Zonghui Li; Hai Wan; Yangdong Deng; Ming Gu 001 (RTAS, 2018)

Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems. - Heyuan Shi; Xibin Zhao; Hai Wan; Huihui Wang 001; Jian Dong; Kun Tang; Anfeng Liu (Comput. Networks, 2018)

Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. - Liangda Fang; Biqing Fang; Hai Wan; Zeqi Zheng; Liang Chang 003; Quan Yu (ICCAD, 2019)

Design and Implementation of Distributed Time-Triggered System Based on RT-Thread. - Chunmeng Zhong; Haifeng Zhang 010; Yidong Yuan; Sukun Zhang; Hai Wan (ICIT, 2019)

Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. - Wanshan Zheng; Zibin Zheng; Hai Wan; Chuan Chen 001 (IJCAI, 2019)

Iterative Visual Relationship Detection via Commonsense Knowledge Graph. - Hai Wan; Jialing Ou; Baoyi Wang; Jianfeng Du; Jeff Z. Pan; Juan Zeng (JIST, 2019)

Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. - Zonghui Li; Hai Wan; Boxu Zhao; Yangdong Deng; Ming Gu 001 (NEAT@SIGCOMM, 2019)

Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. - Peilin Chen; Hai Wan; Shaowei Cai 001; Weilin Luo; Jia Li (CoRR, 2019)

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. - Weilin Luo; Hai Wan; Hongzhen Zhong; Ou Wei (CoRR, 2019)

Representation Learning for Classical Planning from Partially Observed Traces. - Zhanhao Xiao; Hai Wan; Hankz Hankui Zhuo; Jinxia Lin; Yanan Liu (CoRR, 2019)

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. - Lifan Su; Hai Wan; Yufang Qin; Xibin Zhao; Yue Gao 002; Xiaoyu Song; Chenyang Lu 001; Ming Gu 001 (IEEE Trans. Ind. Electron., 2019)

Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. - Ningchen Wang; Qinghan Yu; Hai Wan; Xiaoyu Song; Xibin Zhao (IEEE Trans. Ind. Informatics, 2019)

An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. - Zonghui Li; Hai Wan; Zaiyu Pang; Qiubo Chen; Yangdong Deng; Xibin Zhao; Yue Gao 002; Xiaoyu Song; Ming Gu 001 (IEEE/ACM Trans. Netw., 2019)

Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. - Peilin Chen; Hai Wan; Shaowei Cai 001; Jia Li; Haicheng Chen (AAAI, 2020)

Query Answering with Guarded Existential Rules under Stable Model Semantics. - Hai Wan; Guohui Xiao 001; Chenglin Wang 002; Xianqiao Liu; Junhong Chen; Zhe Wang 001 (AAAI, 2020)

Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. - Hai Wan; Yufei Yang; Jianfeng Du; Yanan Liu; Kunxun Qi; Jeff Z. Pan (AAAI, 2020)

Refining HTN Methods via Task Insertion with Preferences. - Zhanhao Xiao; Hai Wan; Hankz Hankui Zhuo; Andreas Herzig; Laurent Perrussel; Peilin Chen (AAAI, 2020)

Hypergraph Label Propagation Network. - Yubo Zhang; Nan Wang 015; Yufeng Chen; Changqing Zou; Hai Wan; Xibin Zhao; Yue Gao 002 (AAAI, 2020)

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 (APSEC, 2020)

Speeding up Very Fast Decision Tree with Low Computational Cost. - Jian Sun; Hongyu Jia; Bo Hu; Xiao Huang; Hao Zhang; Hai Wan; Xibin Zhao (IJCAI, 2020)

Query Answering for Existential Rules via Efficient Datalog Rewriting. - Zhe Wang 001; Peng Xiao 009; Kewen Wang 001; Zhiqiang Zhuang; Hai Wan (IJCAI, 2020)

A resource-efficient priority scheduler for time-sensitive networking switches. - Zonghui Li; Hai Wan; Yangdong Deng; Ke Xiong 001; Xiaoyu Song (CCF Trans. Netw., 2020)

Editorial of special issue on time-sensitive networking. - Wei Peng 005; Yi Wang 055; Tao Huang 005; Hai Wan; David Dai; Jianping Wang (CCF Trans. Netw., 2020)

Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. - Zonghui Li; Hai Wan; Yangdong Deng; Xibin Zhao; Yue Gao 002; Xiaoyu Song; Ming Gu 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. - Zonghui Li; Hai Wan; Yangdong Deng; Xibin Zhao; Yue Gao 002; Xiaoyu Song; Ming Gu 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

A Flattened-Priority Framework for Mixed-Criticality Systems. - Zonghui Li; Hai Wan; Yangdong Deng; Xibin Zhao; Yue Gao 002; Ming Gu 001; Xiaoyu Song (IEEE Trans. Ind. Electron., 2020)

Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks. - Qinghan Yu; Hai Wan; Xibin Zhao; Yue Gao 002; Ming Gu 001 (IEEE Trans. Ind. Informatics, 2020)

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 (AAAI, 2021)

A DQN-based Approach to Finding Precise Evidences for Fact Verification. - Hai Wan; Haicheng Chen; Jianfeng Du; Weilin Luo; Rongzhen Ye (ACL/IJCNLP (1), 2021)

Enhancing Metaphor Detection by Gloss-based Interpretations. - Hai Wan; Jinxia Lin; Jianfeng Du; Dawei Shen; Manrong Zhang (ACL/IJCNLP (Findings), 2021)

View-Guided Point Cloud Completion. - Xuancheng Zhang; Yutong Feng; Siqi Li 001; Changqing Zou; Hai Wan; Xibin Zhao; Yandong Guo; Yue Gao 002 (CVPR, 2021)

TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning. - Hongyu Jia; Yu Jiang; Chunmeng Zhong; Hai Wan; Xibin Zhao (GLOBECOM, 2021)

A Boolean Network Tomography based Method for Deterministic Multi-point Fault Detection. - Sukun Zhang; Hai Wan; Xibin Zhao (GLOBECOM, 2021)

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 (ICCAD, 2021)

DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. - Chunmeng Zhong; Hongyu Jia; Hai Wan; Xibin Zhao (ICCCN, 2021)

How to Identify Boundary Conditions with Contrasty Metric? - Weilin Luo; Hai Wan; Xiaotong Song; Binhao Yang; Hongzhen Zhong; Yin Chen 005 (ICSE, 2021)

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 (ISPA/BDCloud/SocialCom/SustainCom, 2021)

A general multi-agent epistemic planner based on higher-order belief change. - Hai Wan; Biqing Fang; Yongmei Liu 001 (Artif. Intell., 2021)

Iterative Visual Relationship Detection via Commonsense Knowledge Graph. - Hai Wan; Jinrui Liang; Jianfeng Du; Yanan Liu; Jialing Ou; Baoyi Wang; Jeff Z. Pan; Juan Zeng (Big Data Res., 2021)

Gradient-Based Mixed Planning with Discrete and Continuous Actions. - Kebing Jin; Hankz Hankui Zhuo; Zhanhao Xiao; Hai Wan; Subbarao Kambhampati (CoRR, 2021)

Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks. - Zaiyu Pang; Xiao Huang; Zonghui Li; Sukun Zhang; Yanfen Xu; Hai Wan; Xibin Zhao (IEEE Trans. Ind. Informatics, 2021)

SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. - Weilin Luo; Ou Wei; Hai Wan (IEEE Trans. Reliab., 2021)

Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. - Weilin Luo; Pingjia Liang; Jianfeng Du; Hai Wan; Bo Peng; Delong Zhang (AAAI, 2022)

Improving Local Search Algorithms via Probabilistic Configuration Checking. - Weilin Luo; Rongzhen Ye; Hai Wan; Shaowei Cai 001; Biqing Fang; Delong Zhang (AAAI, 2022)

Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. - Kunxun Qi; Hai Wan; Jianfeng Du; Haolan Chen (ACL (1), 2022)

Teaching LTLf Satisfiability Checking to Neural Networks. - Weilin Luo; Hai Wan; Jianfeng Du; Xiaoda Li; Yuze Fu; Rongzhen Ye; Delong Zhang (IJCAI, 2022)

Checking LTL Satisfiability via End-to-end Learning. - Weilin Luo; Hai Wan; Delong Zhang; Jianfeng Du; Hengdi Su (ASE, 2022)

Grow and Merge: A Unified Framework for Continuous Categories Discovery. - Xinwei Zhang; Jianwen Jiang; Yutong Feng; Zhi-Fan Wu; Xibin Zhao; Hai Wan; Mingqian Tang; Rong Jin 001; Yue Gao 002 (NeurIPS, 2022)

Gradient-based mixed planning with symbolic and numeric action parameters. - Kebing Jin; Hankz Hankui Zhuo; Zhanhao Xiao; Hai Wan; Subbarao Kambhampati (Artif. Intell., 2022)

Understanding social relationships with person-pair relations. - Hang Zhao; Haicheng Chen; Leilai Li; Hai Wan (Big Data Min. Anal., 2022)

Application of Quantum Density Matrix in Classical Question Answering and Classical Image Classification. - Xingqiang Zhao; Hai Wan; Hao Chen; Li-Ling Su; Zi-Ling Huang; Lv-Zhou Li (CoRR, 2022)

Learning Visual Planning Models from Partially Observed Images. - Kebing Jin; Zhanhao Xiao; Hankz Hankui Zhuo; Hai Wan; Jiaran Cai (CoRR, 2022)

A type-aware coding approach for unequal message protection. - Xinyuanmeng Yao; Hai Wan; Xiao Ma 001 (Phys. Commun., 2022)

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 (AAAI, 2023)

ESFO: Equality Saturation for FIRRTL Optimization. - Yan Pi; Hongji Zou; Tun Li; Wanxia Qu; Hai Wan (ACM Great Lakes Symposium on VLSI, 2023)

Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract). - Kebing Jin; Hankz Hankui Zhuo; Zhanhao Xiao; Hai Wan; Subbarao Kambhampati (IJCAI, 2023)

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. - Weilin Luo; Yuhang Zheng; Rongzhen Ye; Hai Wan; Jianfeng Du; Pingjia Liang; Polong Chen (ASE, 2023)

PURLTL: Mining LTL Specification from Imperfect Traces in Testing. - Bo Peng; Pingjia Liang; Tingchen Han; Weilin Luo; Jianfeng Du; Hai Wan; Rongzhen Ye; Yuhang Zheng (ASE, 2023)

Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion. - Kunxun Qi; Jianfeng Du; Hai Wan (NeurIPS, 2023)

TeSec: Accurate Server-side Attack Investigation for Web Applications. - Ruihua Wang; Yihao Peng; Yilun Sun; Xuancheng Zhang; Hai Wan; Xibin Zhao (SP, 2023)

Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey. - Chao Yu 004; Xuejing Zheng; Hankz Hankui Zhuo; Hai Wan; Weilin Luo (CoRR, 2023)

A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery. - Zonghui Li; Wenlin Zhu; Kang G. Shin; Hai Wan; Xiaoyu Song; Dong Yang; Bo Ai 001 (CoRR, 2023)

Exploring High-Order Spatio-Temporal Correlations From Skeleton for Person Re-Identification. - Jiaxuan Lu; Hai Wan; Peiyan Li; Xibin Zhao; Nan Ma; Yue Gao 002 (IEEE Trans. Image Process., 2023)

Efficient Datalog Rewriting for Query Answering in TGD Ontologies. - Zhe Wang 001; Peng Xiao 009; Kewen Wang 001; Zhiqiang Zhuang; Hai Wan (IEEE Trans. Knowl. Data Eng., 2023)

How to verify identity in the continuous variable quantum system? - Xingqiang Zhao; Hai Wan; Lv-Zhou Li (Quantum Inf. Process., 2023)

Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems. - Zhuowei Wang 001; Xiaoyu Song; Lianglun Cheng; Hai Wan; Wuqing Zhao; Tao Wang 014 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Structure Evolution on Manifold for Graph Learning. - Hai Wan; Xinwei Zhang; Yubo Zhang; Xibin Zhao; Shihui Ying; Yue Gao 002 (IEEE Trans. Pattern Anal. Mach. Intell., 2023)

End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. - Hai Wan; Pingjia Liang; Jianfeng Du; Weilin Luo; Rongzhen Ye; Bo Peng (AAAI, 2024)

Revisiting Graph-Based Fraud Detection in Sight of Heterophily and Spectrum. - Fan Xu 009; Nan Wang 015; Hao Wu 094; Xuezhi Wen; Xibin Zhao; Hai Wan (AAAI, 2024)

QPEN: Quantum Projection and Quantum Entanglement Enhanced Network for Cross-Lingual Aspect-Based Sentiment Analysis. - Xingqiang Zhao; Hai Wan; Kunxun Qi (AAAI, 2024)

End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. - Kunxun Qi; Jianfeng Du; Hai Wan (ACL (1), 2024)

Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. - Kunxun Qi; Jianfeng Du; Hai Wan (CIKM, 2024)

Document Hashing by Exploiting Noisy Neighborhood Information with Fault-Tolerant Mutual-Information-Preserving VAE. - Jiayang Chen; Qinliang Su; Zetong Li; Hai Wan; Defu Lian (DASFAA (2), 2024)

Contamination-Resilient Anomaly Detection via Adversarial Learning on Partially-Observed Normal and Anomalous Data. - Wenxi Lv; Qinliang Su; Hai Wan; Hongteng Xu; Wenchao Xu 001 (ICML, 2024)

ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. - Weilin Luo; Weiyuan Fang; Junming Qiu; Hai Wan; Yanan Liu; Rongzhen Ye (NIER@ICSE, 2024)

DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. - Zhiwei Xu; Shaohua Qiang; Dinghong Song; Min Zhou 001; Hai Wan; Xibin Zhao; Ping Luo 004; Hongyu Zhang 002 (ICSE, 2024)

On the Logic of Theory Change Iteration of KM-Update, Revised. - Liangda Fang; Tong Zhu; Quanlong Guan; Junming Qiu; Zhao-Rong Lai; Weiqi Luo 002; Hai Wan (IJCAI, 2024)

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 (ISSTA, 2024)

Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network. - Yuanlin Li; Zhiwei Xu; Min Zhou 001; Hai Wan; Xibin Zhao (ASE, 2024)

GLADformer: A Mixed Perspective for Graph-Level Anomaly Detection. - Fan Xu 009; Nan Wang 015; Hao Wu 094; Xuezhi Wen; Dalin Zhang 003; Siyang Lu; Binyong Li; Wei Gong 001; Hai Wan; Xibin Zhao (ECML/PKDD (6), 2024)

A Communication-Efficient Federated Learning by Dynamic Quantization and Free-Ride Coding. - Junjie Chen; Qianfan Wang; Hai Wan; Xiao Ma 001 (WCNC, 2024)

Free-Ride Transmission of Semantic Features in Wireless Video Surveillance Systems. - Junjie Chen; Yinchu Wang; Qianfan Wang; Hai Wan; Xiao Ma 001 (WCNC, 2024)

LESS: Efficient Log Storage System Based on Learned Model and Minimum Attribute Tree. - Zhiyang Cheng; Zizhen Zhu; Haoran Dang; Hai Wan; Xibin Zhao (CoRR, 2024)

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. - Weilin Luo; Polong Chen; Hai Wan; Hongzhen Zhong; Shaowei Cai 001; Zhanhao Xiao (J. Syst. Softw., 2024)

The Last Mile of Attack Investigation: Audit Log Analysis Toward Software Vulnerability Location. - Changhua Chen; Tingzhen Yan; Chenxuan Shi; Hao Xi; Zhirui Fan; Hai Wan; Xibin Zhao (IEEE Trans. Inf. Forensics Secur., 2024)

How to Evaluate Semantic Communications for Images With ViTScore Metric? - Tingting Zhu 007; Bo Peng; Jifan Liang; Tingchen Han; Hai Wan; Jingqiao Fu; Junjie Chen (IEEE Trans. Cogn. Commun. Netw., 2024)

Anomaly Detection Under Contaminated Data With Contamination-Immune Bidirectional GANs. - Qinliang Su; Bowen Tian; Hai Wan; Jian Yin 001 (IEEE Trans. Knowl. Data Eng., 2024)

Robust Heterogeneous Graph Classification for Molecular Property Prediction with Information Bottleneck. - Zhibin Ni; Chang Liu; Hai Wan; Xibin Zhao (AAAI, 2025)

A SCA-Based Method for RIS Assisted Over-the-Air Computation. - Junjie Chen; Hai Wan; Xiao Ma 001 (WASA (2), 2025)

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 (WWW, 2025)

Learning to mine all minimal evidences for unverified claims. - Yanan Liu; Hai Wan; Jianfeng Du; Yao Wang; Kunxun Qi; Weilin Luo (Inf. Sci., 2025)

NADA: Neural Acceptance-Driven Approximate Specification Mining. - Weilin Luo; Tingchen Han; Junming Qiu; Hai Wan; Jianfeng Du; Bo Peng; Guohui Xiao 001; Yanan Liu (Proc. ACM Softw. Eng., 2025)

Deep Learning-based Intrusion Detection Systems: A Survey. - Zhiwei Xu; Yujuan Wu; Shiheng Wang; Jiabao Gao; Tian Qiu; Ziqi Wang; Hai Wan; Xibin Zhao (CoRR, 2025)

FlexTAS: Flexible Gating Control for Enhanced Time-Sensitive Networking Deployment. - Jiashuo Lin; Weichao Li 001; Xingbo Feng; Shuangping Zhan; Lewei Ning; Yi Wang 004; Tao Wang 014; Hai Wan; Bo Tang 016; Xiaofeng Tao (IEEE Trans. Ind. Informatics, 2025)

Factor-wise disentangled contrastive learning for cross-domain few-shot molecular property prediction. - Zhibin Ni; Chenghao Zhang; Hai Wan; Xibin Zhao (Frontiers Comput. Sci., 2025)