Hai H. Wang

According to our database, Hai H. Wang authored at least 68 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

cPV - Simulation and Verification for Membrane Computing.

Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2020

Software Agent-Centric Semantic Social Network for Cyber-Physical Interaction and Collaboration.

Nazmul Hussain, Hai H. Wang, Christopher D. Buckingham, Xiaoyuan Zhang

Int. J. Softw. Eng. Knowl. Eng., 2020

Network Representation Learning Guided by Partial Community Structure.

Hanlin Sun, Wei Jie, Zhongmin Wang, Hai Wang, Sugang Ma

IEEE Access, 2020

Energy-Efficient UAV Deployment and Task Scheduling in Multi-UAV Edge Computing.

Yangang Wang, Hai H. Wang, Xianglin Wei

Proceedings of the 2020 International Conference on Wireless Communications and Signal Processing (WCSP), 2020

2019

Key Concepts of Group Pattern Discovery Algorithms from Spatio-Temporal Trajectories.

Karolina K. Dluzniak, Wei Jie, Hai Wang, Wei Xing

Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019

Semantic Rule Based Program Monitoring (S).

Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

2017

Formal Approach to Assertion-Based Code Generation.

Pengyi Li, Jing Sun, Hai Wang

Int. J. Softw. Eng. Knowl. Eng., 2017

An architecture for the autonomic curation of crowdsourced knowledge.

Alina Patelli, Peter R. Lewis, Anikó Ekárt, Hai H. Wang, Ian T. Nabney, David Bennett, Ralph Lucas, Alex Cole

Clust. Comput., 2017

Towards Code Generation from Design Models.

Pengyi Li, Jing Sun, Hai Wang

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

2016

Autonomic Curation of Crowdsourced Knowledge: The Case of Career Data Management.

Alina Patelli, Peter R. Lewis, Hai H. Wang, Ian T. Nabney, David Bennett, Ralph Lucas, Alex Cole

Proceedings of the 2016 International Conference on Cloud and Autonomic Computing, 2016

2015

BOWL: augmenting the Semantic Web with beliefs.

Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang

Innov. Syst. Softw. Eng., 2015

A survey of Semantic Web Services formalisms.

Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli, Yangang Wang

Concurr. Comput. Pract. Exp., 2015

An Efficient Knowledge Transfer Solution to a Novel SMDP Formalization of a Broker's Decision Problem.

Rodrigue Talla Kuate, Maria Chli, Hai H. Wang

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

An automated tool for semantic accessing to formal software models.

Hai H. Wang, Danica Damljanovic, Jing Sun

Sci. Comput. Program., 2014

Representing Human Expertise by the OWL Web Ontology Language to Support Knowledge Engineering in Decision Support Systems.

Asia Ramzan, Hai Wang, Christopher D. Buckingham

Proceedings of the Innovation in Medicine and Healthcare 2014, 2014

Towards a Consistent Feature Model using OWL.

Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan

Proceedings of the Semantic Web Enabled Software Engineering, 2014

2013

A Survey of Semantic Web Services Formalisms.

Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli

Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013

An Intelligent Broker Agent for Energy Trading: An MDP Approach.

Rodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang

Proceedings of the IJCAI 2013, 2013

A Histogram Method for Summarizing Multi-dimensional Probabilistic Data.

Ashraf Iqbal, Hai H. Wang, Qigang Gao

Proceedings of the 4th International Conference on Ambient Systems, 2013

2012

Transition of legacy systems to semantically enabled applications: TAO method and tools.

Hai H. Wang, Danica Damljanovic, Terry R. Payne, Nicholas Gibbins, Kalina Bontcheva

Semantic Web, 2012

A formal model of the Semantic Web Service Ontology (WSMO).

Hai H. Wang, Nick Gibbins, Terry R. Payne, Domenico Redavid

Inf. Syst., 2012

2011

Detecting anomalies from high-dimensional wireless network data streams: a case study.

Ji Zhang, Qigang Gao, Hai H. Wang, Hua Wang

Soft Comput., 2011

Design Software Architecture Models using Ontology.

Jing Sun, Hai H. Wang, Tianming Hu

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Semantic Enabled Sensor Network Design.

Jing Sun, Hai H. Wang, Hui Gu

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Anomaly-Based Network Intrusion Detection Using Outlier Subspace Analysis: A Case Study.

David Kershaw, Qigang Gao, Hai H. Wang

Proceedings of the Advances in Artificial Intelligence, 2011

2010

A Web-based Interactive Data Visualization System for Outlier Subspace Analysis.

Dong Liu, Qigang Gao, Hai H. Wang, Ji Zhang

Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010

Enhanced Semantic Access to Formal Software Models.

Hai H. Wang, Danica Damljanovic, Jing Sun

Proceedings of the Formal Methods and Software Engineering, 2010

2009

A semantic web environment for components.

Hai H. Wang, Jing Sun

Knowl. Eng. Rev., 2009

Verifying Semistructured Data Normalization Using SWRL.

Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang

Proceedings of the TASE 2009, 2009

Detecting Projected Outliers in High-Dimensional Data Streams.

Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai Xu

Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009

2008

Discover gene specific local co-regulations from time-course gene expression data.

Ji Zhang, Qigang Gao, Hai H. Wang

Sci. Program., 2008

Anomaly detection in high-dimensional network data streams: A case study.

Ji Zhang, Qigang Gao, Hai H. Wang

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2008

Specifying and Verifying Event-Based Fairness Enhanced Systems.

Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang

Proceedings of the Formal Methods and Software Engineering, 2008

A Formal Model of Semantic Web Service Ontology (WSMO) Execution.

Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams.

Ji Zhang, Qigang Gao, Hai H. Wang

Proceedings of the 24th International Conference on Data Engineering, 2008

2007

Verifying feature models using OWL.

Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan

J. Web Semant., 2007

Transitioning Applications to Semantic Web Services: An Automated Formal Approach.

Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Yuan-Fang Li

Int. J. Interoperability Bus. Inf. Syst., 2007

Formal Specification of OWL-S with Object-Z: The Dynamic Aspect.

Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh

Proceedings of the Web Information Systems Engineering, 2007

Formal Specification of OWL-S with Object-Z: the Static Aspect.

Hai H. Wang, Ahmed Saleh, Terry R. Payne, Nick Gibbins

Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

Realizing Live Sequence Charts in SystemVerilog.

Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO).

Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.

Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Reasoning support for Semantic Web ontology family languages using Alloy.

Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun

Multiagent Grid Syst., 2006

Detecting outlying subspaces for high-dimensional data: the new task, algorithms, and performance.

Ji Zhang, Hai H. Wang

Knowl. Inf. Syst., 2006

Reasoning About ORA-SS Data Models Using the Semantic Web.

Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun

J. Data Semant., 2006

Computer-aided dispatch system family architecture and verification: an integrated formal approach.

Jing Sun, Jin Song Dong, Stan Jarzabek, Hai H. Wang

IEE Proc. Softw., 2006

Validating Semistructured Data Using OWL.

Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang

Proceedings of the Advances in Web-Age Information Management, 2006

Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm.

Ji Zhang, Qigang Gao, Hai H. Wang

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm.

Ji Zhang, Qigang Gao, Hai H. Wang

Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006

2005

Verify Feature Models using protegeowl.

Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang

Proceedings of the 14th international conference on World Wide Web, 2005

TCOZ Approach to OWL-S Process Model Design.

Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Reasoning Support for SWRL-FOL Using Alloy.

Hai H. Wang, Jin Song Dong, Jing Sun

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

SVG Web Environment for Z Specification Language.

Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik

Proceedings of the Formal Methods and Software Engineering, 2005

Visualizing and Simulating Semantic Web Services Ontologies.

Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun

Proceedings of the Formal Methods and Software Engineering, 2005

Formal Semantics and Verification for Feature Modeling.

Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases.

Wei Wang, Ji Zhang, Hai H. Wang

Proceedings of the Computational Intelligence and Security, International Conference, 2005

2004

TCOZ approach to semantic web services design.

Jin Song Dong, Yuan-Fang Li, Hai H. Wang

Proceedings of the 13th international conference on World Wide Web, 2004

A combined approach to checking web ontologies.

Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang

Proceedings of the 13th international conference on World Wide Web, 2004

HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data.

Ji Zhang, Meng Lou, Tok Wang Ling, Hai H. Wang

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

Verifying DAML+OIL and Beyond in Z/EVES.

Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Analysing Web Ontology in Alloy: A Military Case Study.

Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Checking and Reasoning about Semantic Web through Alloy.

Jin Song Dong, Jing Sun, Hai H. Wang

Proceedings of the FME 2003: Formal Methods, 2003

2002

A Formal Object Approach to the Design of ZML.

Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang

Ann. Softw. Eng., 2002

Z Approach to Semantic Web.

Jin Song Dong, Jing Sun, Hai H. Wang

Proceedings of the Formal Methods and Software Engineering, 2002

XML-Based Static Type Checking and Dynamic Visualization for TCOZ.

Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang

Proceedings of the Formal Methods and Software Engineering, 2002

Semantic Web for Extending and Linking Formalisms.

Jin Song Dong, Jing Sun, Hai H. Wang

Proceedings of the FME 2002: Formal Methods, 2002

2001

Object-Z web environment and projections to UML.

Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang

Proceedings of the Tenth International World Wide Web Conference, 2001

An XML/XSL Approach to Visualize and Animate TCOZ.

Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001