default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHai H. Wang
Person information
- affiliation: Aston University, Birmingham, UK
Other persons with the same name
- Hai Wang — disambiguation page
- Hai Wang 0001 — FZI Forschungszentrum Informatik, Karlsruhe, Germany
- Hai Wang 0002
![[0000-0002-4003-2758]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-4003-2758")
— University of Electronics Science Technology of China, School of Microelectronics and Solid-State Electronics, Chengdu, China (and 1 more) - Hai Wang 0003 — Jiangsu University, School of Automotive and Traffic Engineering, Zhenjiang, China (and 1 more)
- Hai Wang 0004 — Murdoch University, Discipline of Engineering and Energy, Perth, Australia (and 2 more)
- Hai Wang 0005 — Southeast University, School of Economics and Management, Nanjing, China
- Hai Wang 0006 — University of Calgary, Department of Electrical and Computer of Engineering, AB, Canada
- Hai Wang 0007 — PLA University of Science and Technology, College of Communications Engineering, Nanjing, China
- Hai Wang 0008 — Saint Mary's University, Halifax, Canada (and 1 more)
- Hai Wang 0009 — Tsinghua University, Department of Electrical Engineering, State Key Lab of Power Systems, Beijing, China
- Hai Wang 0010 — Northwest University, School of Information and Technology, State-Province Joint Engineering and Research Center of Advanced Networking and Intelligent Information Services, Xi'an, China
- Hai Wang 0011 — Carnegie Mellon University, College of Information Systems and Public Policy, Pittsburgh, PA, USA (and 2 more)
- Hai Wang 0012 — Wuhan University, Electronic Information School, Hubei, China
- Hai Wang 0013 — Toyota Technological Institute at Chicago, Chicago, IL, USA
- Hai Wang 0014 — University of Manchester, UK
- Hai Wang 0015 — Xidian University, School of Aerospace Science and Technology, Xi'an, China
- Hai Wang 0017 — Lanzhou University, School of Information Science and Engineering, China
- Hai Wang 0018 — Anhui Polytechnic University, School of Mechanical and Automotive Engineering, Key Laboratory of Advanced Numerical Control & Servo Technology, Wuhu, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j21]Yangang Wang, Xianglin Wei, Hai Wang, Jianhua Fan, Juan Chen, Kuang Zhao, Yongyang Hu:
Joint UAV deployment, SF placement, and collaborative task scheduling in heterogeneous multi-UAV-empowered edge intelligence. IET Commun. 17(5): 641-657 (2023)- 2020
- [j20]Hanlin Sun, Wei Jie, Zhongmin Wang, Hai Wang, Sugang Ma:
Network Representation Learning Guided by Partial Community Structure. IEEE Access 8: 46665-46681 (2020) - [j19]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): 859-893 (2020) - 2017
- [j18]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): 2031-2046 (2017) - [j17]Pengyi Li, Jing Sun, Hai Wang:
Formal Approach to Assertion-Based Code Generation. Int. J. Softw. Eng. Knowl. Eng. 27(9-10): 1637- (2017) - 2015
- [j16]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): 4053-4072 (2015) - [j15]Ji Zhang, Hongzhou Li, Qigang Gao, Hai Wang, Yonglong Luo:
Detecting anomalies from big network traffic data using an adaptive detection approach. Inf. Sci. 318: 91-110 (2015) - [j14]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): 203-215 (2015) - 2014
- [j13]Hai H. Wang, Danica Damljanovic, Jing Sun:
An automated tool for semantic accessing to formal software models. Sci. Comput. Program. 95: 93-111 (2014) - 2012
- [j12]Hai H. Wang, Nick Gibbins, Terry R. Payne, Domenico Redavid:
A formal model of the Semantic Web Service Ontology (WSMO). Inf. Syst. 37(1): 33-60 (2012) - [j11]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): 157-168 (2012) - 2011
- [j10]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): 1195-1215 (2011) - 2009
- [j9]Hai H. Wang, Jing Sun:
A semantic web environment for components. Knowl. Eng. Rev. 24(1): 59-75 (2009) - 2008
- [j8]Ji Zhang, Qigang Gao, Hai H. Wang:
Discover gene specific local co-regulations from time-course gene expression data. Sci. Program. 16(1): 31-47 (2008) - 2007
- [j7]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: 65-83 (2007) - [j6]Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan:
Verifying feature models using OWL. J. Web Semant. 5(2): 117-129 (2007) - 2006
- [j5]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): 102-112 (2006) - [j4]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.: 219-241 (2006) - [j3]Ji Zhang, Hai H. Wang:
Detecting outlying subspaces for high-dimensional data: the new task, algorithms, and performance. Knowl. Inf. Syst. 10(3): 333-355 (2006) - [j2]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): 455-471 (2006) - 2002
- [j1]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): 329-356 (2002)
Conference and Workshop Papers
- 2024
- [c49]Fan Wang, Weiren Yu, Hai H. Wang, Victor Chang:
FaRS: A High-Performance Automorphism-Aware Algorithm for Graph Similarity Matching. COMPLEXIS 2024: 17-29 - 2022
- [c48]Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang:
cPV - Simulation and Verification for Membrane Computing. QRS 2022: 606-615 - 2020
- [c47]Yangang Wang, Hai H. Wang, Xianglin Wei:
Energy-Efficient UAV Deployment and Task Scheduling in Multi-UAV Edge Computing. WCSP 2020: 1147-1152 - 2019
- [c46]Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei:
Semantic Rule Based Program Monitoring (S). SEKE 2019: 297-397 - [c45]Karolina K. Dluzniak, Wei Jie, Hai Wang, Wei Xing:
Key Concepts of Group Pattern Discovery Algorithms from Spatio-Temporal Trajectories. SKG 2019: 190-197 - 2017
- [c44]Pengyi Li, Jing Sun, Hai Wang:
Towards Code Generation from Design Models. SEKE 2017: 242-247 - 2016
- [c43]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: 40-49 - 2015
- [c42]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: 1735-1736 - 2014
- [c41]Asia Ramzan, Hai Wang, Christopher D. Buckingham:
Representing Human Expertise by the OWL Web Ontology Language to Support Knowledge Engineering in Decision Support Systems. InMed 2014: 290-299 - 2013
- [c40]Ashraf Iqbal, Hai H. Wang, Qigang Gao:
A Histogram Method for Summarizing Multi-dimensional Probabilistic Data. ANT/SEIT 2013: 971-976 - [c39]Rodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang:
An Intelligent Broker Agent for Energy Trading: An MDP Approach. IJCAI 2013: 234-240 - [c38]Hai H. Wang, Nick Gibbins, Terry R. Payne, Alina Patelli:
A Survey of Semantic Web Services Formalisms. SKG 2013: 135-142 - 2011
- [c37]David Kershaw, Qigang Gao, Hai H. Wang:
Anomaly-Based Network Intrusion Detection Using Outlier Subspace Analysis: A Case Study. Canadian AI 2011: 234-239 - [c36]Jing Sun, Hai H. Wang, Hui Gu:
Semantic Enabled Sensor Network Design. SEKE 2011: 179-184 - [c35]Jing Sun, Hai H. Wang, Tianming Hu:
Design Software Architecture Models using Ontology. SEKE 2011: 191-196 - 2010
- [c34]Hai H. Wang, Danica Damljanovic, Jing Sun:
Enhanced Semantic Access to Formal Software Models. ICFEM 2010: 237-252 - [c33]Dong Liu, Qigang Gao, Hai H. Wang, Ji Zhang:
A Web-based Interactive Data Visualization System for Outlier Subspace Analysis. SEDE 2010: 275-280 - 2009
- [c32]Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai Xu:
Detecting Projected Outliers in High-Dimensional Data Streams. DEXA 2009: 629-644 - [c31]Yuan-Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang:
Verifying Semistructured Data Normalization Using SWRL. TASE 2009: 193-200 - 2008
- [c30]Ji Zhang, Qigang Gao, Hai H. Wang:
SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. ICDE 2008: 1628-1631 - [c29]Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun:
A Formal Model of Semantic Web Service Ontology (WSMO) Execution. ICECCS 2008: 111-120 - [c28]Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang:
Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24 - [c27]Ji Zhang, Qigang Gao, Hai H. Wang:
Anomaly detection in high-dimensional network data streams: A case study. ISI 2008: 251-253 - 2007
- [c26]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: 74-86 - [c25]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: 165-174 - [c24]Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong:
Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388 - [c23]Hai H. Wang, Ahmed Saleh, Terry R. Payne, Nick Gibbins:
Formal Specification of OWL-S with Object-Z: the Static Aspect. Web Intelligence 2007: 431-434 - [c22]Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh:
Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. WISE 2007: 237-248 - 2006
- [c21]Ji Zhang, Qigang Gao, Hai H. Wang:
A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm. ICDM 2006: 731-740 - [c20]Ji Zhang, Qigang Gao, Hai H. Wang:
Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm. ICTAI 2006: 783-790 - [c19]Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang:
Validating Semistructured Data Using OWL. WAIM 2006: 520-531 - 2005
- [c18]Wei Wang, Ji Zhang, Hai H. Wang:
Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. CIS (1) 2005: 765-770 - [c17]Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang:
Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312 - [c16]Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun:
Visualizing and Simulating Semantic Web Services Ontologies. ICFEM 2005: 435-449 - [c15]Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik:
SVG Web Environment for Z Specification Language. ICFEM 2005: 480-494 - [c14]Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li:
TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359 - [c13]Hai H. Wang, Jin Song Dong, Jing Sun:
Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631 - [c12]Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang:
Verify Feature Models using protegeowl. WWW (Special interest tracks and posters) 2005: 1038-1039 - 2004
- [c11]Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang:
Verifying DAML+OIL and Beyond in Z/EVES. ICSE 2004: 201-210 - [c10]Ji Zhang, Meng Lou, Tok Wang Ling, Hai H. Wang:
HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. VLDB 2004: 1265-1268 - [c9]Jin Song Dong, Yuan-Fang Li, Hai H. Wang:
TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) 2004: 442-443 - [c8]Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang:
A combined approach to checking web ontologies. WWW 2004: 714-722 - 2003
- [c7]Jin Song Dong, Jing Sun, Hai H. Wang:
Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813 - [c6]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: 542-546 - 2002
- [c5]Jin Song Dong, Jing Sun, Hai H. Wang:
Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606 - [c4]Jin Song Dong, Jing Sun, Hai H. Wang:
Z Approach to Semantic Web. ICFEM 2002: 156-167 - [c3]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: 311-322 - 2001
- [c2]Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang:
An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460 - [c1]Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang:
Object-Z web environment and projections to UML. WWW 2001: 725-734
Parts in Books or Collections
- 2014
- [p1]Hai H. Wang, Yuan-Fang Li, Jing Sun, Hongyu Zhang, Jeff Z. Pan:
Towards a Consistent Feature Model using OWL. Semantic Web Enabled Software Engineering 2014: 67-91
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
