Hai H. Wang

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