| 2024 | COMPLEXIS | FaRS: A High-Performance Automorphism-Aware Algorithm for Graph Similarity Matching. | Fan Wang, Weiren Yu, Hai H. Wang, Victor Chang |
| 2019 | SEKE | Semantic Rule Based Program Monitoring (S). | Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei |
| 2013 | ANT | A Histogram Method for Summarizing Multi-dimensional Probabilistic Data. | Ashraf Iqbal, Hai H. Wang, Qigang Gao |
| 2013 | IJCAI | An Intelligent Broker Agent for Energy Trading: An MDP Approach. | Rodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang |
| 2011 | AI | Anomaly-Based Network Intrusion Detection Using Outlier Subspace Analysis: A Case Study. | David Kershaw, Qigang Gao, Hai H. Wang |
| 2011 | SEKE | Semantic Enabled Sensor Network Design. | Jing Sun, Hai H. Wang, Hui Gu |
| 2011 | SEKE | Design Software Architecture Models using Ontology. | Jing Sun, Hai H. Wang, Tianming Hu |
| 2010 | ICFEM | Enhanced Semantic Access to Formal Software Models. | Hai H. Wang, Danica Damljanovic, Jing Sun |
| 2009 | DEXA | Detecting Projected Outliers in High-Dimensional Data Streams. | Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai Xu |
| 2009 | TASE | Verifying Semistructured Data Normalization Using SWRL. | Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang |
| 2008 | ICDE | SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. | Ji Zhang, Qigang Gao, Hai H. Wang |
| 2008 | ICECCS | A Formal Model of Semantic Web Service Ontology (WSMO) Execution. | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun |
| 2008 | ICFEM | Specifying and Verifying Event-Based Fairness Enhanced Systems. | Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang |
| 2008 | ISI | Anomaly detection in high-dimensional network data streams: A case study. | Ji Zhang, Qigang Gao, Hai H. Wang |
| 2007 | ICECCS | Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. | Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang |
| 2007 | ICECCS | A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun |
| 2007 | WISE | Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. | Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh |
| 2007 | TASE | Realizing Live Sequence Charts in SystemVerilog. | Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong |
| 2006 | ICDM | A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm. | Ji Zhang, Qigang Gao, Hai H. Wang |
| 2006 | ICTAI | Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm. | Ji Zhang, Qigang Gao, Hai H. Wang |
| 2005 | CIS | Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. | Wei Wang, Ji Zhang, Hai H. Wang |
| 2005 | ICECCS | Formal Semantics and Verification for Feature Modeling. | Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang |
| 2005 | ICFEM | Visualizing and Simulating Semantic Web Services Ontologies. | Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun |
| 2005 | ICFEM | SVG Web Environment for Z Specification Language. | Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik |
| 2005 | WWW | Verify Feature Models using protegeowl. | Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang |
| 2005 | SEKE | Reasoning Support for SWRL-FOL Using Alloy. | Hai H. Wang, Jin Song Dong, Jing Sun |
| 2005 | SEKE | TCOZ Approach to OWL-S Process Model Design. | Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li |
| 2004 | ICSE | Verifying DAML+OIL and Beyond in Z/EVES. | Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang |
| 2004 | WWW | A combined approach to checking web ontologies. | Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang |
| 2004 | WWW | TCOZ approach to semantic web services design. | Jin Song Dong, Yuan-Fang Li, Hai H. Wang |
| 2004 | VLDB | HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. | Ji Zhang, Meng Lou, Tok Wang Ling, Hai H. Wang |
| 2003 | FM | Checking and Reasoning about Semantic Web through Alloy. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2003 | SEKE | Analysing Web Ontology in Alloy: A Military Case Study. | Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee |
| 2002 | FM | Semantic Web for Extending and Linking Formalisms. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2002 | ICFEM | XML-Based Static Type Checking and Dynamic Visualization for TCOZ. | Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang |
| 2002 | ICFEM | Z Approach to Semantic Web. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2001 | APSEC | An XML/XSL Approach to Visualize and Animate TCOZ. | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang |
| 2001 | WWW | Object-Z web environment and projections to UML. | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang |