Hai Wan

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 107

Top Venues

Publications

Junjie Chen, Qianfan Wang, Hai Wan, Xiao Ma
A Communication-Efficient Federated Learning by Dynamic Quantization and Free-Ride Coding. WCNC (2024)
Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. 213 (2024)
Kunxun Qi, Jianfeng Du, Hai Wan
End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. ACL (1) (2024)
Junjie Chen, Yinchu Wang, Qianfan Wang, Hai Wan, Xiao Ma
Free-Ride Transmission of Semantic Features in Wireless Video Surveillance Systems. WCNC (2024)
Xingqiang Zhao, Hai Wan, Kunxun Qi
QPEN: Quantum Projection and Quantum Entanglement Enhanced Network for Cross-Lingual Aspect-Based Sentiment Analysis. AAAI (2024)
Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Dalin Zhang, Siyang Lu, Binyong Li, Wei Gong, Hai Wan, Xibin Zhao
GLADformer: A Mixed Perspective for Graph-level Anomaly Detection. CoRR (2024)
Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. NIER@ICSE (2024)
Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Xibin Zhao, Hai Wan
Revisiting Graph-Based Fraud Detection in Sight of Heterophily and Spectrum. AAAI (2024)
Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang
DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. ICSE (2024)
Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. AAAI (2024)
Ruihua Wang, Yihao Peng, Yilun Sun, Xuancheng Zhang, Hai Wan, Xibin Zhao
TeSec: Accurate Server-side Attack Investigation for Web Applications. SP (2023)
Jiaxuan Lu, Hai Wan, Peiyan Li, Xibin Zhao, Nan Ma, Yue Gao
Exploring High-Order Spatio-Temporal Correlations From Skeleton for Person Re-Identification. IEEE Trans. Image Process. 32 (2023)
Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. ASE (2023)
Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hai Wan, Wuqing Zhao, Tao Wang
Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (5) (2023)
Yan Pi, Hongji Zou, Tun Li, Wanxia Qu, Hai Wan
ESFO: Equality Saturation for FIRRTL Optimization. ACM Great Lakes Symposium on VLSI (2023)
Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. AAAI (2023)
Zonghui Li, Wenlin Zhu, Kang G. Shin, Hai Wan, Xiaoyu Song, Dong Yang, Bo Ai
A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery. CoRR (2023)
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract). IJCAI (2023)
Tingting Zhu, Bo Peng, Jifan Liang, Tingchen Han, Hai Wan, Jingqiao Fu, Junjie Chen
How to Evaluate Semantic Communications for Images with ViTScore Metric? CoRR (2023)
Xing-Qiang Zhao, Hai Wan, Lv-Zhou Li
How to verify identity in the continuous variable quantum system? Quantum Inf. Process. 22 (5) (2023)
Hai Wan, Xinwei Zhang, Yubo Zhang, Xibin Zhao, Shihui Ying, Yue Gao
Structure Evolution on Manifold for Graph Learning. IEEE Trans. Pattern Anal. Mach. Intell. 45 (6) (2023)
Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng
PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ASE (2023)
Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan
Efficient Datalog Rewriting for Query Answering in TGD Ontologies. IEEE Trans. Knowl. Data Eng. 35 (3) (2023)
Chao Yu, Xuejing Zheng, Hankz Hankui Zhuo, Hai Wan, Weilin Luo
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey. CoRR (2023)
Kunxun Qi, Jianfeng Du, Hai Wan
Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion. NeurIPS (2023)
Hang Zhao, Haicheng Chen, Leilai Li, Hai Wan
Understanding social relationships with person-pair relations. Big Data Min. Anal. 5 (2) (2022)
Kunxun Qi, Hai Wan, Jianfeng Du, Haolan Chen
Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. ACL (1) (2022)
Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang
Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI (2022)
Xinwei Zhang, Jianwen Jiang, Yutong Feng, Zhi-Fan Wu, Xibin Zhao, Hai Wan, Mingqian Tang, Rong Jin, Yue Gao
Grow and Merge: A Unified Framework for Continuous Categories Discovery. CoRR (2022)
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
Gradient-based mixed planning with symbolic and numeric action parameters. Artif. Intell. 313 (2022)
Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. CoRR (2022)
Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI (2022)
Xinyuanmeng Yao, Hai Wan, Xiao Ma
A type-aware coding approach for unequal message protection. Phys. Commun. 53 (2022)
Kebing Jin, Zhanhao Xiao, Hankz Hankui Zhuo, Hai Wan, Jiaran Cai
Learning Visual Planning Models from Partially Observed Images. CoRR (2022)
Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang
Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI (2022)
Xing-Qiang Zhao, Hai Wan, Hao Chen, Li-Ling Su, Zi-Ling Huang, Lv-Zhou Li
Application of Quantum Density Matrix in Classical Question Answering and Classical Image Classification. CoRR (2022)
Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su
Checking LTL Satisfiability via End-to-end Learning. ASE (2022)
Xinwei Zhang, Jianwen Jiang, Yutong Feng, Zhi-Fan Wu, Xibin Zhao, Hai Wan, Mingqian Tang, Rong Jin, Yue Gao
Grow and Merge: A Unified Framework for Continuous Categories Discovery. NeurIPS (2022)
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati
Gradient-Based Mixed Planning with Discrete and Continuous Actions. CoRR (2021)
Hai Wan, Biqing Fang, Yongmei Liu
A general multi-agent epistemic planner based on higher-order belief change. Artif. Intell. 301 (2021)
Chunmeng Zhong, Hongyu Jia, Hai Wan, Xibin Zhao
DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. ICCCN (2021)
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. CoRR (2021)
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
How to Identify Boundary Conditions with Contrasty Metric? ICSE (2021)
Sukun Zhang, Hai Wan, Xibin Zhao
A Boolean Network Tomography based Method for Deterministic Multi-point Fault Detection. GLOBECOM (2021)
Hai Wan, Jinrui Liang, Jianfeng Du, Yanan Liu, Jialing Ou, Baoyi Wang, Jeff Z. Pan, Juan Zeng
Iterative Visual Relationship Detection via Commonsense Knowledge Graph. Big Data Res. 23 (2021)
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song
An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD (2021)
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
How to Identify Boundary Conditions with Contrasty Metric? CoRR (2021)
Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao
View-Guided Point Cloud Completion. CVPR (2021)
Weilin Luo, Ou Wei, Hai Wan
SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE Trans. Reliab. 70 (2) (2021)
Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye
A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) (2021)
Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao
View-Guided Point Cloud Completion. CoRR (2021)
Hai Wan, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang
Enhancing Metaphor Detection by Gloss-based Interpretations. ACL/IJCNLP (Findings) (2021)
Zaiyu Pang, Xiao Huang, Zonghui Li, Sukun Zhang, Yanfen Xu, Hai Wan, Xibin Zhao
Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks. IEEE Trans. Ind. Informatics 17 (3) (2021)
Hai Wan, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan
FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. AAAI (2021)
Hongyu Jia, Yu Jiang, Chunmeng Zhong, Hai Wan, Xibin Zhao
TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning. GLOBECOM (2021)
Xiao Huang, Yu Jiang, Hao Fan, Huayun Tang, Yiping Wang, Jin Jin, Hai Wan, Xibin Zhao
TATA: Throughput-Aware TAsk Placement in Heterogeneous Stream Processing with Deep Reinforcement Learning. ISPA/BDCloud/SocialCom/SustainCom (2021)
Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao
Hypergraph Label Propagation Network. AAAI (2020)
Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan
Query Answering for Existential Rules via Efficient Datalog Rewriting. IJCAI (2020)
Hai Wan, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan
Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. AAAI (2020)
Jian Sun, Hongyu Jia, Bo Hu, Xiao Huang, Hao Zhang, Hai Wan, Xibin Zhao
Speeding up Very Fast Decision Tree with Low Computational Cost. IJCAI (2020)
Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. APSEC (2020)
Qinghan Yu, Hai Wan, Xibin Zhao, Yue Gao, Ming Gu
Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks. IEEE Trans. Ind. Informatics 16 (6) (2020)
Wei Peng, Yi Wang, Tao Huang, Hai Wan, David Dai, Jianping Wang
Editorial of special issue on time-sensitive networking. CCF Trans. Netw. 3 (1) (2020)
Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang
Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI (2020)
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song
A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. 67 (11) (2020)
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (7) (2020)
Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen
Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI (2020)
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (1) (2020)
Zonghui Li, Hai Wan, Yangdong Deng, Ke Xiong, Xiaoyu Song
A resource-efficient priority scheduler for time-sensitive networking switches. CCF Trans. Netw. 3 (1) (2020)
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
Refining HTN Methods via Task Insertion with Preferences. AAAI (2020)
Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. CoRR (2019)
Chunmeng Zhong, Haifeng Zhang, Yidong Yuan, Sukun Zhang, Hai Wan
Design and Implementation of Distributed Time-Triggered System Based on RT-Thread. ICIT (2019)
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Jinxia Lin, Yanan Liu
Representation Learning for Classical Planning from Partially Observed Traces. CoRR (2019)
Hai Wan, Jialing Ou, Baoyi Wang, Jianfeng Du, Jeff Z. Pan, Juan Zeng
Iterative Visual Relationship Detection via Commonsense Knowledge Graph. JIST (2019)
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
Refining HTN Methods via Task Insertion with Preferences. CoRR (2019)
Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu
Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. NEAT@SIGCOMM (2019)
Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu
Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. ICCAD (2019)
Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao
Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. IEEE Trans. Ind. Informatics 15 (2) (2019)
Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. CoRR (2019)
Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. 27 (3) (2019)
Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu
Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Ind. Electron. 66 (2) (2019)
Wanshan Zheng, Zibin Zheng, Hai Wan, Chuan Chen
Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI (2019)
Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. AAAI (2018)
Hai Wan, Yonghao Luo, Bo Peng, Wei-Shi Zheng
Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. IJCAI (2018)
Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu
Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. ICSE (Companion Volume) (2018)
Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu
Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. RTAS (2018)
Heyuan Shi, Xibin Zhao, Hai Wan, Huihui Wang, Jian Dong, Kun Tang, Anfeng Liu
Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems. Comput. Networks 141 (2018)
Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao
Hypergraph Learning With Cost Interval Optimization. AAAI (2018)
Zhou Yin, Wei-Shi Zheng, Ancong Wu, Hong-Xing Yu, Hai Wan, Xiaowei Guo, Feiyue Huang, Jianhuang Lai
Adversarial Attribute-Image Person Re-identification. IJCAI (2018)
Shiqian Zhang, Zonghui Li, Ningchen Wang, Hai Wan, Xibin Zhao
An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet. ICCBN (2018)
Qinghan Yu, Xibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu
Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. IWQoS (2017)
Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI (2017)
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su
Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI (2017)
Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun
Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. 48 (2017)
Jianfeng Du, Kunxun Qi, Hai Wan, Bo Peng, Shengbin Lu, Yuming Shen
Enhancing Knowledge Graph Embedding from a Logical Perspective. JIST (2017)
Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI (2017)
Jianfeng Du, Hai Wan, Huaguan Ma
Practical TBox Abduction Based on Justification Patterns. AAAI (2017)
Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI (2016)
Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI (2016)
Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR (2016)

Hai Wan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hai Wan