Hai H. Wang

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 9

Top Topics

Semi Markov Decision Process

Knowledge Transfer

Similarity Matching

Top Venues

Innov. Syst. Softw. Eng.

Sci. Comput. Program.

Publications

Fan Wang, Weiren Yu, Hai H. Wang, Victor Chang
FaRS: A High-Performance Automorphism-Aware Algorithm for Graph Similarity Matching. COMPLEXIS (2024)
Nazmul Hussain, Hai H. Wang, Christopher D. Buckingham, Xiaoyuan Zhang
Software Agent-Centric Semantic Social Network for Cyber-Physical Interaction and Collaboration. Int. J. Softw. Eng. Knowl. Eng. 30 (6) (2020)
Yangang Wang, Hai H. Wang, Xianglin Wei
Energy-Efficient UAV Deployment and Task Scheduling in Multi-UAV Edge Computing. WCSP (2020)
Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei
Semantic Rule Based Program Monitoring (S). SEKE (2019)
Alina Patelli, Peter R. Lewis, Anikó Ekárt, Hai H. Wang, Ian T. Nabney, David Bennett, Ralph Lucas, Alex Cole
An architecture for the autonomic curation of crowdsourced knowledge. Clust. Comput. 20 (3) (2017)
Alina Patelli, Peter R. Lewis, Hai H. Wang, Ian T. Nabney, David Bennett, Ralph Lucas, Alex Cole
Autonomic Curation of Crowdsourced Knowledge: The Case of Career Data Management. ICCAC (2016)
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang
BOWL: augmenting the Semantic Web with beliefs. Innov. Syst. Softw. Eng. 11 (3) (2015)
Rodrigue Talla Kuate, Maria Chli, Hai H. Wang
An Efficient Knowledge Transfer Solution to a Novel SMDP Formalization of a Broker's Decision Problem. AAMAS (2015)
Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli, Yangang Wang
A survey of Semantic Web Services formalisms. Concurr. Comput. Pract. Exp. 27 (15) (2015)
Hai H. Wang, Danica Damljanovic, Jing Sun
An automated tool for semantic accessing to formal software models. Sci. Comput. Program. 95 (2014)
Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli
A Survey of Semantic Web Services Formalisms. SKG (2013)
Rodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang
An Intelligent Broker Agent for Energy Trading: An MDP Approach. IJCAI (2013)
Ashraf Iqbal, Hai H. Wang, Qigang Gao
A Histogram Method for Summarizing Multi-dimensional Probabilistic Data. ANT/SEIT (2013)
Hai H. Wang, Nick Gibbins, Terry R. Payne, Domenico Redavid
A formal model of the Semantic Web Service Ontology (WSMO). Inf. Syst. 37 (1) (2012)
Hai H. Wang, Danica Damljanovic, Terry R. Payne, Nicholas Gibbins, Kalina Bontcheva
Transition of legacy systems to semantically enabled applications: TAO method and tools. Semantic Web 3 (2) (2012)
Jing Sun, Hai H. Wang, Tianming Hu
Design Software Architecture Models using Ontology. SEKE (2011)
David Kershaw, Qigang Gao, Hai H. Wang
Anomaly-Based Network Intrusion Detection Using Outlier Subspace Analysis: A Case Study. Canadian Conference on AI (2011)
Jing Sun, Hai H. Wang, Hui Gu
Semantic Enabled Sensor Network Design. SEKE (2011)
Ji Zhang, Qigang Gao, Hai H. Wang, Hua Wang
Detecting anomalies from high-dimensional wireless network data streams: a case study. Soft Comput. 15 (6) (2011)
Dong Liu, Qigang Gao, Hai H. Wang, Ji Zhang
A Web-based Interactive Data Visualization System for Outlier Subspace Analysis. SEDE (2010)
Hai H. Wang, Danica Damljanovic, Jing Sun
Enhanced Semantic Access to Formal Software Models. ICFEM (2010)
Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai Xu
Detecting Projected Outliers in High-Dimensional Data Streams. DEXA (2009)
Hai H. Wang, Jing Sun
A semantic web environment for components. Knowl. Eng. Rev. 24 (1) (2009)
Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang
Verifying Semistructured Data Normalization Using SWRL. TASE (2009)
Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang
Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM (2008)
Ji Zhang, Qigang Gao, Hai H. Wang
Discover gene specific local co-regulations from time-course gene expression data. Sci. Program. 16 (1) (2008)
Ji Zhang, Qigang Gao, Hai H. Wang
Anomaly detection in high-dimensional network data streams: A case study. ISI (2008)
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun
A Formal Model of Semantic Web Service Ontology (WSMO) Execution. ICECCS (2008)
Ji Zhang, Qigang Gao, Hai H. Wang
SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. ICDE (2008)
Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan
Verifying feature models using OWL. J. Web Semant. 5 (2) (2007)
Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang
Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. ICECCS (2007)
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). ICECCS (2007)
Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong
Realizing Live Sequence Charts in SystemVerilog. TASE (2007)
Hai H. Wang, Ahmed Saleh, Terry R. Payne, Nick Gibbins
Formal Specification of OWL-S with Object-Z: the Static Aspect. Web Intelligence (2007)
Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh
Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. WISE (2007)
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Yuan-Fang Li
Transitioning Applications to Semantic Web Services: An Automated Formal Approach. Int. J. Interoperability Bus. Inf. Syst. 6 (2007)
Ji Zhang, Qigang Gao, Hai H. Wang
Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm. ICTAI (2006)
Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang
Validating Semistructured Data Using OWL. WAIM (2006)
Ji Zhang, Hai H. Wang
Detecting outlying subspaces for high-dimensional data: the new task, algorithms, and performance. Knowl. Inf. Syst. 10 (3) (2006)
Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun
Reasoning About ORA-SS Data Models Using the Semantic Web. J. Data Semant. (2006)
Jing Sun, Jin Song Dong, Stan Jarzabek, Hai H. Wang
Computer-aided dispatch system family architecture and verification: an integrated formal approach. IEE Proc. Softw. 153 (3) (2006)
Ji Zhang, Qigang Gao, Hai H. Wang
A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm. ICDM (2006)
Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun
Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent Grid Syst. 2 (4) (2006)
Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang
Formal Semantics and Verification for Feature Modeling. ICECCS (2005)
Wei Wang, Ji Zhang, Hai H. Wang
Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. CIS (1) (2005)
Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang
Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) (2005)
Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li
TCOZ Approach to OWL-S Process Model Design. SEKE (2005)
Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun
Visualizing and Simulating Semantic Web Services Ontologies. ICFEM (2005)
Hai H. Wang, Jin Song Dong, Jing Sun
Reasoning Support for SWRL-FOL Using Alloy. SEKE (2005)
Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik
SVG Web Environment for Z Specification Language. ICFEM (2005)
Ji Zhang, Meng Lou, Tok Wang Ling, Hai H. Wang
HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. VLDB (2004)
Jin Song Dong, Yuan-Fang Li, Hai H. Wang
TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) (2004)
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang
Verifying DAML+OIL and Beyond in Z/EVES. ICSE (2004)
Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang
A combined approach to checking web ontologies. WWW (2004)
Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee
Analysing Web Ontology in Alloy: A Military Case Study. SEKE (2003)
Jin Song Dong, Jing Sun, Hai H. Wang
Checking and Reasoning about Semantic Web through Alloy. FME (2003)
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
A Formal Object Approach to the Design of ZML. Ann. Softw. Eng. 13 (1-4) (2002)
Jin Song Dong, Jing Sun, Hai H. Wang
Z Approach to Semantic Web. ICFEM (2002)
Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM (2002)
Jin Song Dong, Jing Sun, Hai H. Wang
Semantic Web for Extending and Linking Formalisms. FME (2002)
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
Object-Z web environment and projections to UML. WWW (2001)
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
An XML/XSL Approach to Visualize and Animate TCOZ. APSEC (2001)