Hai Wan

According to our database1, Hai Wan authored at least 55 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks.
IEEE/ACM Trans. Netw., 2019

Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks.
IEEE Trans. Industrial Informatics, 2019

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup.
IEEE Trans. Industrial Electronics, 2019

Dynamically Optimizing End-to-End Latency for Time-Triggered Networks.
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking for Emerging Applications and Technologies, 2019

Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems.
Computer Networks, 2018

Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Adversarial Attribute-Image Person Re-identification.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Hypergraph Learning With Cost Interval Optimization.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Representative band selection for hyperspectral image classification.
J. Visual Communication and Image Representation, 2017

Enhancing Knowledge Graph Embedding from a Logical Perspective.
Proceedings of the Semantic Technology - 7th Joint International Conference, 2017

Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks.
Proceedings of the 25th IEEE/ACM International Symposium on Quality of Service, 2017

Hierarchical Task Network Planning with Task Insertion and State Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Vertex-Weighted Hypergraph Learning for Multi-View Object Classification.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Practical TBox Abduction Based on Justification Patterns.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus.
Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Query Answering with Inconsistent Existential Rules under Stable Model Semantics.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
A Complete Epistemic Planner without the Epistemic Closed World Assumption.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Simplifying A Logic Program Using Its Consequences.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Aligning Knowledge and Text Embeddings by Entity Descriptions.
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

On Elementary Loops and Proper Loops for Disjunctive Logic Programs.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Splitting a Logic Program Revisited.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Formal Proof of a Machine Closed Theorem in Coq.
J. Applied Mathematics, 2014

Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing.
J. Applied Mathematics, 2014

Genetic adaptive A-Star approach for ttrain trip profile optimization problems.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Vehicles and Transportation Systems, 2014

Computing General First-Order Parallel and Prioritized Circumscription.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Elementary Loops Revisited.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A Novel Two-Terminal Reliability Analysis for MANET.
J. Applied Mathematics, 2013

Modeling and Verification of Component-Based Systems with Data Passing Using BIP.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
Double-State Based Business Process Description Model and its Operational Semantics.
International Journal of Software Engineering and Knowledge Engineering, 2012

τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming.
Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012

2011
A novel fault diagnosis mechanism for wireless sensor networks.
Mathematical and Computer Modelling, 2011

Formalisation and verification of programmable logic controllers timers in Coq.
IET Software, 2011

Design and Implementation of P2P Reasoning System Based on Description Logic.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011

Migrating Complex Business Process to Cloud Based on Mspoa and CBPM.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011

2010
Parameterized Specification and Verification of PLC Systems in Coq.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Refinement-Based Validation Method for Programmable Logic Controllers.
Proceedings of the 10th International Conference on Quality Software, 2010

dl2asp: Implementing Default Logic via Answer Set Programming.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections.
Mathematical and Computer Modelling, 2009

Formal Specification and Code Generation of Programable Logic Controllers.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Formalization and Verification of PLC Timers in Coq.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2007
Requirement Specification Based on Action Model Learning.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2007

An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System.
Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007

State-based Process Description Model in Chinese E-government Affair System.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog.
Proceedings of the Software Process Change, 2006

2005
E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment.
Proceedings of the Advanced Parallel Processing Technologies, 6th International Workshop, 2005

2004
Semantic Caching Services for Data Grids.
Proceedings of the Grid and Cooperative Computing, 2004


  Loading...