
Hai Wan
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j20]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) - [i6]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) - 2020
- [j19]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) - [j18]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) - [j17]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) - [j16]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) - [j15]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) - [j14]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) - [c53]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 - [c52]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 - [c51]Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao:
Hypergraph Label Propagation Network. AAAI 2020: 6885-6892 - [c50]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 - [c49]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 - [c48]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 - [c47]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
- [j13]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) - [j12]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) - [j11]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) - [c46]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 - [c45]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 - [c44]Wanshan Zheng, Zibin Zheng, Hai Wan, Chuan Chen:
Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI 2019: 5464-5470 - [c43]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 - [c42]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
- [j10]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) - [c41]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 - [c40]Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao:
Hypergraph Learning With Cost Interval Optimization. AAAI 2018: 4522-4529 - [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
- [j9]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
- [j8]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) - [j7]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
- [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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-25 21:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint