default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHai Wan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]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: 112036 (2024)- [j35]Tingting Zhu, Bo Peng, Jifan Liang, Tingchen Han, Hai Wan, Jingqiao Fu, Junjie Chen:
How to Evaluate Semantic Communications for Images With ViTScore Metric? IEEE Trans. Cogn. Commun. Netw. 10(5): 1744-1758 (2024) - [j34]Changhua Chen, Tingzhen Yan, Chenxuan Shi, Hao Xi, Zhirui Fan, Hai Wan, Xibin Zhao:
The Last Mile of Attack Investigation: Audit Log Analysis Toward Software Vulnerability Location. IEEE Trans. Inf. Forensics Secur. 19: 9566-9581 (2024) - [j33]Qinliang Su, Bowen Tian, Hai Wan, Jian Yin:
Anomaly Detection Under Contaminated Data With Contamination-Immune Bidirectional GANs. IEEE Trans. Knowl. Data Eng. 36(11): 5605-5620 (2024) - [c91]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: 9071-9079 - [c90]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: 9214-9222 - [c89]Xingqiang Zhao, Hai Wan, Kunxun Qi:
QPEN: Quantum Projection and Quantum Entanglement Enhanced Network for Cross-Lingual Aspect-Based Sentiment Analysis. AAAI 2024: 19670-19678 - [c88]Kunxun Qi, Jianfeng Du, Hai Wan:
End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. ACL (1) 2024: 7247-7263 - [c87]Kunxun Qi, Jianfeng Du, Hai Wan:
Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. CIKM 2024: 1899-1908 - [c86]Wenxi Lv, Qinliang Su, Hai Wan, Hongteng Xu, Wenchao Xu:
Contamination-Resilient Anomaly Detection via Adversarial Learning on Partially-Observed Normal and Anomalous Data. ICML 2024 - [c85]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: 11-15 - [c84]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: 221:1-221:12 - [c83]Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai, Weiqi Luo, Hai Wan:
On the Logic of Theory Change Iteration of KM-Update, Revised. IJCAI 2024: 3351-3359 - [c82]Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang:
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. ISSTA 2024: 996-1008 - [c81]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. ECML/PKDD (6) 2024: 337-353 - [c80]Junjie Chen, Qianfan Wang, Hai Wan, Xiao Ma:
A Communication-Efficient Federated Learning by Dynamic Quantization and Free-Ride Coding. WCNC 2024: 1-6 - [c79]Junjie Chen, Yinchu Wang, Qianfan Wang, Hai Wan, Xiao Ma:
Free-Ride Transmission of Semantic Features in Wireless Video Surveillance Systems. WCNC 2024: 1-6 - [i17]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 abs/2406.00734 (2024) - 2023
- [j32]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): 7751-7763 (2023) - [j31]Xingqiang Zhao, Hai Wan, Lv-Zhou Li:
How to verify identity in the continuous variable quantum system? Quantum Inf. Process. 22(5): 217 (2023) - [j30]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): 1676-1690 (2023) - [j29]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: 949-963 (2023) - [j28]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): 2515-2528 (2023) - [c78]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: 4809-4817 - [c77]Yan Pi, Hongji Zou, Tun Li, Wanxia Qu, Hai Wan:
ESFO: Equality Saturation for FIRRTL Optimization. ACM Great Lakes Symposium on VLSI 2023: 581-586 - [c76]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: 6915-6919 - [c75]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: 1761-1765 - [c74]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: 1766-1770 - [c73]Kunxun Qi, Jianfeng Du, Hai Wan:
Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion. NeurIPS 2023 - [c72]Ruihua Wang, Yihao Peng, Yilun Sun, Xuancheng Zhang, Hai Wan, Xibin Zhao:
TeSec: Accurate Server-side Attack Investigation for Web Applications. SP 2023: 2799-2816 - [i16]Chao Yu, Xuejing Zheng, Hankz Hankui Zhuo, Hai Wan, Weilin Luo:
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey. CoRR abs/2304.12090 (2023) - [i15]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 abs/2309.04891 (2023) - [i14]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 abs/2309.11902 (2023) - 2022
- [j27]Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati:
Gradient-based mixed planning with symbolic and numeric action parameters. Artif. Intell. 313: 103789 (2022) - [j26]Hang Zhao, Haicheng Chen, Leilai Li, Hai Wan:
Understanding social relationships with person-pair relations. Big Data Min. Anal. 5(2): 120-129 (2022) - [j25]Xinyuanmeng Yao, Hai Wan, Xiao Ma:
A type-aware coding approach for unequal message protection. Phys. Commun. 53: 101721 (2022) - [c71]Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang:
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI 2022: 9849-9857 - [c70]Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang:
Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI 2022: 10283-10290 - [c69]Kunxun Qi, Hai Wan, Jianfeng Du, Haolan Chen:
Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. ACL (1) 2022: 1910-1923 - [c68]Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang:
Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI 2022: 3292-3298 - [c67]Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su:
Checking LTL Satisfiability via End-to-end Learning. ASE 2022: 21:1-21:13 - [c66]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 - [i13]Xingqiang 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 abs/2203.11155 (2022) - [i12]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 abs/2210.04174 (2022) - [i11]Kebing Jin, Zhanhao Xiao, Hankz Hankui Zhuo, Hai Wan, Jiaran Cai:
Learning Visual Planning Models from Partially Observed Images. CoRR abs/2211.15666 (2022) - [i10]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 abs/2212.00373 (2022) - 2021
- [j24]Hai Wan, Biqing Fang, Yongmei Liu:
A general multi-agent epistemic planner based on higher-order belief change. Artif. Intell. 301: 103562 (2021) - [j23]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: 100175 (2021) - [j22]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): 1668-1678 (2021) - [j21]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): 575-589 (2021) - [c65]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: 13916-13923 - [c64]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: 1030-1039 - [c63]Hai Wan, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang:
Enhancing Metaphor Detection by Gloss-based Interpretations. ACL/IJCNLP (Findings) 2021: 1971-1981 - [c62]Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao:
View-Guided Point Cloud Completion. CVPR 2021: 15890-15899 - [c61]Hongyu Jia, Yu Jiang, Chunmeng Zhong, Hai Wan, Xibin Zhao:
TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning. GLOBECOM 2021: 1-6 - [c60]Sukun Zhang, Hai Wan, Xibin Zhao:
A Boolean Network Tomography based Method for Deterministic Multi-point Fault Detection. GLOBECOM 2021: 1-6 - [c59]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: 1-9 - [c58]Chunmeng Zhong, Hongyu Jia, Hai Wan, Xibin Zhao:
DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. ICCCN 2021: 1-11 - [c57]Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen:
How to Identify Boundary Conditions with Contrasty Metric? ICSE 2021: 1473-1484 - [c56]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: 44-54 - [i9]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 abs/2102.11482 (2021) - [i8]Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen:
How to Identify Boundary Conditions with Contrasty Metric? CoRR abs/2103.02384 (2021) - [i7]Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao:
View-Guided Point Cloud Completion. CoRR abs/2104.05666 (2021) - [i6]Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati:
Gradient-Based Mixed Planning with Discrete and Continuous Actions. CoRR abs/2110.10007 (2021) - 2020
- [j20]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): 1-3 (2020) - [j19]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): 21-34 (2020) - [j18]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): 185-198 (2020) - [j17]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): 1386-1399 (2020) - [j16]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): 9862-9872 (2020) - [j15]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): 3778-3788 (2020) - [c55]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: 2343-2350 - [c54]Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang:
Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI 2020: 3017-3024 - [c53]Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao:
Hypergraph Label Propagation Network. AAAI 2020: 6885-6892 - [c52]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: 9122-9129 - [c51]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen:
Refining HTN Methods via Task Insertion with Preferences. AAAI 2020: 10009-10016 - [c50]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: 286-295 - [c49]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: 1272-1278 - [c48]Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan:
Query Answering for Existential Rules via Efficient Datalog Rewriting. IJCAI 2020: 1933-1939
2010 – 2019
- 2019
- [j14]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): 1345-1355 (2019) - [j13]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): 1120-1130 (2019) - [j12]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): 1124-1137 (2019) - [c47]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: 1-8 - [c46]Chunmeng Zhong, Haifeng Zhang, Yidong Yuan, Sukun Zhang, Hai Wan:
Design and Implementation of Distributed Time-Triggered System Based on RT-Thread. ICIT 2019: 472-476 - [c45]Wanshan Zheng, Zibin Zheng, Hai Wan, Chuan Chen:
Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI 2019: 5464-5470 - [c44]Hai Wan, Jialing Ou, Baoyi Wang, Jianfeng Du, Jeff Z. Pan, Juan Zeng:
Iterative Visual Relationship Detection via Commonsense Knowledge Graph. JIST 2019: 210-225 - [c43]Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu:
Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. NEAT@SIGCOMM 2019: 36-42 - [i5]Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li:
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. CoRR abs/1906.02578 (2019) - [i4]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 abs/1906.03085 (2019) - [i3]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Jinxia Lin, Yanan Liu:
Representation Learning for Classical Planning from Partially Observed Traces. CoRR abs/1907.08352 (2019) - [i2]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen:
Refining HTN Methods via Task Insertion with Preferences. CoRR abs/1911.12949 (2019) - 2018
- [j11]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: 157-165 (2018) - [c42]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: 1835-1844 - [c41]Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao:
Hypergraph Learning With Cost Interval Optimization. AAAI 2018: 4522-4529 - [c40]Shiqian Zhang, Zonghui Li, Ningchen Wang, Hai Wan, Xibin Zhao:
An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet. ICCBN 2018: 65-70 - [c39]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: 327-328 - [c38]Hai Wan, Yonghao Luo, Bo Peng, Wei-Shi Zheng:
Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. IJCAI 2018: 949-956 - [c37]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: 1100-1106 - [c36]Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu:
Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. RTAS 2018: 85-88 - 2017
- [j10]Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun:
Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. 48: 396-403 (2017) - [c35]Jianfeng Du, Hai Wan, Huaguan Ma:
Practical TBox Abduction Based on Justification Patterns. AAAI 2017: 1100-1106 - [c34]Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu:
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI 2017: 1093-1101 - [c33]Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun:
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI 2017: 2779-2785 - [c32]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su:
Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI 2017: 4463-4469 - [c31]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: 1-6 - [c30]Jianfeng Du, Kunxun Qi, Hai Wan, Bo Peng, Shengbin Lu, Yuming Shen:
Enhancing Knowledge Graph Embedding from a Logical Perspective. JIST 2017: 232-247 - 2016
- [c29]Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang:
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI 2016: 1095-1101 - [c28]Quan Yu, Hai Wan, Jiangtao Xu, Freddy Lécué, Liang Chang:
Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. ECAI 2016: 1596-1597 - [c27]Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu:
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI 2016: 1130-1137 - [c26]Xiaoheng Su, Hai Wan, Ruibin Chen, Qi Liu, Wenxuan Zhang, Jianfeng Du:
Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus. JIST 2016: 231-238 - [i1]Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang:
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR abs/1602.05699 (2016) - 2015
- [c25]Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan:
Splitting a Logic Program Revisited. AAAI 2015: 1511-1517 - [c24]Jianmin Ji, Hai Wan, Peng Xiao:
On Elementary Loops and Proper Loops for Disjunctive Logic Programs. AAAI 2015: 1518-1524 - [c23]Huaping Zhong, Jianwen Zhang, Zhen Wang, Hai Wan, Zheng Chen:
Aligning Knowledge and Text Embeddings by Entity Descriptions. EMNLP 2015: 267-272 - [c22]Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan:
Simplifying A Logic Program Using Its Consequences. IJCAI 2015: 3069-3075 - [c21]Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu:
A Complete Epistemic Planner without the Epistemic Closed World Assumption. IJCAI 2015: 3257-3263 - 2014
- [j9]Zhen Cheng, De-chen Zhan, Xibin Zhao, Hai Wan:
Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing. J. Appl. Math. 2014: 369350:1-369350:9 (2014) - [j8]Hai Wan, Anping He, Zhiyang You, Xibin Zhao:
Formal Proof of a Machine Closed Theorem in Coq. J. Appl. Math. 2014: 892832:1-892832:9 (2014) - [c20]Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao:
Elementary Loops Revisited. AAAI 2014: 1063-1069 - [c19]Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang:
Computing General First-Order Parallel and Prioritized Circumscription. AAAI 2014: 1105-1111 - [c18]Jin Huang, Lei Sun, Fangyu Du, Hai Wan, Xibin Zhao:
Genetic adaptive A-Star approach for ttrain trip profile optimization problems. CIVTS 2014: 129-134 - 2013
- [j7]Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun:
Formal component-based modeling and synthesis for PLC systems. Comput. Ind. 64(8): 1022-1034 (2013) - [j6]Hai Wan, Yang Yu, Jian-Tian Zheng:
Design and implementation of P2P reasoning system based on description logic. Int. J. Ad Hoc Ubiquitous Comput. 13(2): 140-154 (2013) - [j5]Xibin Zhao, Zhiyang You, Hai Wan:
A Novel Two-Terminal Reliability Analysis for MANET. J. Appl. Math. 2013: 216186:1-216186:9 (2013) - [c17]Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu:
Component-Based Modeling and Code Synthesis for Cyclic Programs. COMPSAC 2013: 569-578 - [c16]Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu:
Modeling and Verification of Component-Based Systems with Data Passing Using BIP. ICECCS 2013: 4-13 - 2012
- [j4]Yunxiang Zheng, Tianxiang Zheng, Yanfen Zhang, Hai Wan:
Double-State Based Business Process Description Model and its Operational Semantics. Int. J. Softw. Eng. Knowl. Eng. 22(6): 801-838 (2012) - [c15]Hai Wan, Yu Ma, Zhanhao Xiao, Yuping Shen:
τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming. PRICAI 2012: 820-825 - 2011
- [j3]Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu:
Formalisation and verification of programmable logic controllers timers in Coq. IET Softw. 5(1): 32-42 (2011) - [j2]Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu:
A novel fault diagnosis mechanism for wireless sensor networks. Math. Comput. Model. 54(1-2): 330-343 (2011) - [c14]Hai Wan, Yang Yu, Jian-Tian Zheng:
Design and Implementation of P2P Reasoning System Based on Description Logic. DASC 2011: 222-229 - [c13]Hai Wan, Yang Yu:
Migrating Complex Business Process to Cloud Based on Mspoa and CBPM. DASC 2011: 457-464 - 2010
- [c12]Yin Chen, Hai Wan, Yan Zhang, Yi Zhou:
dl2asp: Implementing Default Logic via Answer Set Programming. JELIA 2010: 104-116 - [c11]Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu:
A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364 - [c10]Hai Wan, Xiaoyu Song, Ming Gu:
Parameterized Specification and Verification of PLC Systems in Coq. TASE 2010: 179-182
2000 – 2009
- 2009
- [j1]Hai Wan, Ming Gu, Xiaoyu Song:
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Math. Comput. Model. 50(7-8): 1090-1099 (2009) - [c9]Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu:
Formalization and Verification of PLC Timers in Coq. COMPSAC (1) 2009: 315-323 - [c8]Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan:
Formal Specification and Code Generation of Programable Logic Controllers. ICECCS 2009: 102-109 - 2007
- [c7]Yunxiang Zheng, Lei Li, Hai Wan:
State-based Process Description Model in Chinese E-government Affair System. COMPSAC (1) 2007: 565-568 - [c6]Zhifang Li, Lei Li, Hao Cui, Hai Wan:
An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System. CSCWD 2007: 168-173 - [c5]Hankui Zhuo, Lei Li, Rui Bian, Hai Wan:
Requirement Specification Based on Action Model Learning. ICIC (1) 2007: 565-574 - 2006
- [c4]Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li:
Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. SPW/ProSim 2006: 195-203 - 2005
- [c3]Hai Wan, Lei Li:
Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment. APPT 2005: 41-51 - [c2]Hai Wan, Lei Li:
E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management. ICEBE 2005: 208-211 - 2004
- [c1]Hai Wan, Xiao-Wei Hao, Tao Zhang, Lei Li:
Semantic Caching Services for Data Grids. GCC 2004: 959-962
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 20:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
