An XML/XSL Approach to Visualize and Animate TCOZ. - Jing Sun 002; Jin Song Dong; Jing Liu; Hai H. Wang (APSEC, 2001)

Object-Z web environment and projections to UML. - Jing Sun 002; Jin Song Dong; Jing Liu; Hai H. Wang (WWW, 2001)

Semantic Web for Extending and Linking Formalisms. - Jin Song Dong; Jing Sun 002; Hai H. Wang (FME, 2002)

XML-Based Static Type Checking and Dynamic Visualization for TCOZ. - Jin Song Dong; Yuan-Fang Li; Jing Sun 002; Jun Sun 001; Hai H. Wang (ICFEM, 2002)

Z Approach to Semantic Web. - Jin Song Dong; Jing Sun 002; Hai H. Wang (ICFEM, 2002)

A Formal Object Approach to the Design of ZML. - Jing Sun 002; Jin Song Dong; Jing Liu; Hai H. Wang (Ann. Softw. Eng., 2002)

Checking and Reasoning about Semantic Web through Alloy. - Jin Song Dong; Jing Sun 002; Hai H. Wang (FME, 2003)

Analysing Web Ontology in Alloy: A Military Case Study. - Jin Song Dong; Jun Sun 001; Hai H. Wang; Chew Hung Lee; Hian Beng Lee (SEKE, 2003)

Verifying DAML+OIL and Beyond in Z/EVES. - Jin Song Dong; Chew Hung Lee; Yuan-Fang Li; Hai H. Wang (ICSE, 2004)

HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. - Ji Zhang 001; Meng Lou; Tok Wang Ling; Hai H. Wang (VLDB, 2004)

A combined approach to checking web ontologies. - Jin Song Dong; Chew Hung Lee; Hian Beng Lee; Yuan-Fang Li; Hai H. Wang (WWW, 2004)

TCOZ approach to semantic web services design. - Jin Song Dong; Yuan-Fang Li; Hai H. Wang (WWW (Alternate Track Papers & Posters), 2004)

Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. - Wei Wang 085; Ji Zhang 001; Hai H. Wang (CIS (1), 2005)

Formal Semantics and Verification for Feature Modeling. - Jing Sun 002; Hongyu Zhang 002; Yuan-Fang Li; Hai H. Wang (ICECCS, 2005)

Visualizing and Simulating Semantic Web Services Ontologies. - Jun Sun 001; Yuan-Fang Li; Hai H. Wang; Jing Sun 002 (ICFEM, 2005)

SVG Web Environment for Z Specification Language. - Jing Sun 002; Hai H. Wang; Sasanka Athauda; Tazkiya Sheik (ICFEM, 2005)

Reasoning Support for SWRL-FOL Using Alloy. - Hai H. Wang; Jin Song Dong; Jing Sun 002 (SEKE, 2005)

TCOZ Approach to OWL-S Process Model Design. - Hai H. Wang; Jin Song Dong; Jing Sun 002; Yuan-Fang Li (SEKE, 2005)

Verify Feature Models using protegeowl. - Hai H. Wang; Yuan-Fang Li; Jing Sun 002; Hongyu Zhang 002 (WWW (Special interest tracks and posters), 2005)

A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm. - Ji Zhang 001; Qigang Gao; Hai H. Wang (ICDM, 2006)

Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm. - Ji Zhang 001; Qigang Gao; Hai H. Wang (ICTAI, 2006)

Validating Semistructured Data Using OWL. - Yuan-Fang Li; Jing Sun 002; Gillian Dobbie; Jun Sun 001; Hai H. Wang (WAIM, 2006)

Computer-aided dispatch system family architecture and verification: an integrated formal approach. - Jing Sun 002; Jin Song Dong; Stan Jarzabek; Hai H. Wang (IEE Proc. Softw., 2006)

Reasoning About ORA-SS Data Models Using the Semantic Web. - Yuan-Fang Li; Jing Sun 002; Gillian Dobbie; Hai H. Wang; Jun Sun 001 (J. Data Semant., 2006)

Detecting outlying subspaces for high-dimensional data: the new task, algorithms, and performance. - Ji Zhang 001; Hai H. Wang (Knowl. Inf. Syst., 2006)

Reasoning support for Semantic Web ontology family languages using Alloy. - Hai H. Wang; Jin Song Dong; Jing Sun 002; Jun Sun 001 (Multiagent Grid Syst., 2006)

Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. - Yuzhang Feng; Yuan-Fang Li; Colin Keng-Yan Tan; Bimlesh Wadhwa; Hai H. Wang (ICECCS, 2007)

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). - Hai H. Wang; Nick Gibbins; Terry R. Payne; Ahmed Saleh 001; Jun Sun 001 (ICECCS, 2007)

Realizing Live Sequence Charts in SystemVerilog. - Hai H. Wang; Shengchao Qin; Jun Sun 001; Jin Song Dong (TASE, 2007)

Formal Specification of OWL-S with Object-Z: the Static Aspect. - Hai H. Wang; Ahmed Saleh 001; Terry R. Payne; Nick Gibbins (Web Intelligence, 2007)

Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. - Hai H. Wang; Terry R. Payne; Nick Gibbins; Ahmed Saleh 001 (WISE, 2007)

Transitioning Applications to Semantic Web Services: An Automated Formal Approach. - Hai H. Wang; Nick Gibbins; Terry R. Payne; Ahmed Saleh 001; Yuan-Fang Li (Int. J. Interoperability Bus. Inf. Syst., 2007)

Verifying feature models using OWL. - Hai H. Wang; Yuan-Fang Li; Jing Sun 002; Hongyu Zhang 002; Jeff Z. Pan (J. Web Semant., 2007)

SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. - Ji Zhang 001; Qigang Gao; Hai H. Wang (ICDE, 2008)

A Formal Model of Semantic Web Service Ontology (WSMO) Execution. - Hai H. Wang; Nick Gibbins; Terry R. Payne; Ahmed Saleh 001; Jun Sun 001 (ICECCS, 2008)

Specifying and Verifying Event-Based Fairness Enhanced Systems. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Hai H. Wang (ICFEM, 2008)

Anomaly detection in high-dimensional network data streams: A case study. - Ji Zhang 001; Qigang Gao; Hai H. Wang (ISI, 2008)

Discover gene specific local co-regulations from time-course gene expression data. - Ji Zhang 001; Qigang Gao; Hai H. Wang (Sci. Program., 2008)

Detecting Projected Outliers in High-Dimensional Data Streams. - Ji Zhang 001; Qigang Gao; Hai H. Wang; Qing Liu 001; Kai Xu 003 (DEXA, 2009)

Multi-target cell tracking based on classic kinetics. - Lin Fan; Zhongmin Wang 001; Hai Wang 016 (IWCMC, 2009)

Verifying Semistructured Data Normalization Using SWRL. - Yuan-Fang Li; Jing Sun 002; Gillian Dobbie; Scott Uk-Jin Lee; Hai H. Wang (TASE, 2009)

A semantic web environment for components. - Hai H. Wang; Jing Sun 002 (Knowl. Eng. Rev., 2009)

Enhanced Semantic Access to Formal Software Models. - Hai H. Wang; Danica Damljanovic; Jing Sun 002 (ICFEM, 2010)

A Web-based Interactive Data Visualization System for Outlier Subspace Analysis. - Dong Liu; Qigang Gao; Hai H. Wang; Ji Zhang 001 (SEDE, 2010)

Anomaly-Based Network Intrusion Detection Using Outlier Subspace Analysis: A Case Study. - David Kershaw; Qigang Gao; Hai H. Wang (Canadian AI, 2011)

Semantic Enabled Sensor Network Design. - Jing Sun 002; Hai H. Wang; Hui Gu (SEKE, 2011)

Design Software Architecture Models using Ontology. - Jing Sun 002; Hai H. Wang; Tianming Hu (SEKE, 2011)

Detecting anomalies from high-dimensional wireless network data streams: a case study. - Ji Zhang 001; Qigang Gao; Hai H. Wang; Hua Wang 002 (Soft Comput., 2011)

A formal model of the Semantic Web Service Ontology (WSMO). - Hai H. Wang; Nick Gibbins; Terry R. Payne; Domenico Redavid (Inf. Syst., 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 Histogram Method for Summarizing Multi-dimensional Probabilistic Data. - Ashraf Iqbal; Hai H. Wang; Qigang Gao (ANT/SEIT, 2013)

Human Activity Recognition Model Based on Decision Tree. - Lin Fan; Zhongmin Wang 001; Hai Wang 016 (CBD, 2013)

An Intelligent Broker Agent for Energy Trading: An MDP Approach. - Rodrigue Talla Kuate; Minghua He; Maria Chli; Hai H. Wang (IJCAI, 2013)

A Survey of Semantic Web Services Formalisms. - Hai H. Wang; Nick Gibbins; Terry R. Payne; Alina Patelli (SKG, 2013)

Towards a Consistent Feature Model using OWL. - Hai H. Wang; Yuan-Fang Li; Jing Sun 002; Hongyu Zhang 002; Jeff Z. Pan (Semantic Web Enabled Software Engineering, 2014)

Representing Human Expertise by the OWL Web Ontology Language to Support Knowledge Engineering in Decision Support Systems. - Asia Ramzan; Hai Wang 016; Christopher D. Buckingham (InMed, 2014)

An automated tool for semantic accessing to formal software models. - Hai H. Wang; Danica Damljanovic; Jing Sun 002 (Sci. Comput. Program., 2014)

An Efficient Knowledge Transfer Solution to a Novel SMDP Formalization of a Broker's Decision Problem. - Rodrigue Talla Kuate; Maria Chli; Hai H. Wang (AAMAS, 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)

Detecting anomalies from big network traffic data using an adaptive detection approach. - Ji Zhang 001; Hongzhou Li; Qigang Gao; Hai Wang 016; Yonglong Luo (Inf. Sci., 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)

Autonomic Curation of Crowdsourced Knowledge: The Case of Career Data Management. - Alina Patelli; Peter R. Lewis 001; Hai H. Wang; Ian T. Nabney; David Bennett; Ralph Lucas; Alex Cole (ICCAC, 2016)

Towards Code Generation from Design Models. - Pengyi Li 002; Jing Sun 002; Hai Wang 016 (SEKE, 2017)

An architecture for the autonomic curation of crowdsourced knowledge. - Alina Patelli; Peter R. Lewis 001; Anikó Ekárt; Hai H. Wang; Ian T. Nabney; David Bennett; Ralph Lucas; Alex Cole (Clust. Comput., 2017)

Formal Approach to Assertion-Based Code Generation. - Pengyi Li 002; Jing Sun 002; Hai Wang 016 (Int. J. Softw. Eng. Knowl. Eng., 2017)

Semantic Rule Based Program Monitoring (S). - Luke Tudor; Jing Sun 002; Hai H. Wang; Bingyang Wei (SEKE, 2019)

Key Concepts of Group Pattern Discovery Algorithms from Spatio-Temporal Trajectories. - Karolina K. Dluzniak; Wei Jie; Hai Wang 016; Wei Xing (SKG, 2019)

Energy-Efficient UAV Deployment and Task Scheduling in Multi-UAV Edge Computing. - Yangang Wang; Hai H. Wang; Xianglin Wei (WCSP, 2020)

Network Representation Learning Guided by Partial Community Structure. - Hanlin Sun; Wei Jie; Zhongmin Wang 001; Hai Wang 016; Sugang Ma (IEEE Access, 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)

cPV - Simulation and Verification for Membrane Computing. - Yezhou Liu; Jing Sun 002; Radu Nicolescu; Hai Wang 016 (QRS, 2022)

Joint UAV deployment, SF placement, and collaborative task scheduling in heterogeneous multi-UAV-empowered edge intelligence. - Yangang Wang; Xianglin Wei; Hai Wang 016; Jianhua Fan; Juan Chen; Kuang Zhao; Yongyang Hu (IET Commun., 2023)

FaRS: A High-Performance Automorphism-Aware Algorithm for Graph Similarity Matching. - Fan Wang; Weiren Yu; Hai H. Wang; Victor Chang 001 (COMPLEXIS, 2024)

FaRS: A Performance-Driven Approach to Role Similarity in Graphs. - Fan Wang; Weiren Yu; Hai H. Wang; Victor Chang 001 (SN Comput. Sci., 2025)