default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHao Wu 0017
Person information
- affiliation: Maynooth University, Department of Computer Science, Ireland
Other persons with the same name
- Hao Wu — disambiguation page
- Hao Wu 0001 — Google Inc., Mountain View, CA, USA (and 1 more)
- Hao Wu 0002 — The Fields Institute for Reserach in Mathematical Sciences, Toronto, Canada
- Hao Wu 0003
![[0000-0003-1269-7354]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-1269-7354")
— Emory University, Biostatistics and Bioinformatics, Atlanta, GA, USA (and 1 more) - Hao Wu 0004 — Central China Normal University, College of Urban and Environmental Sciences, Wuhan, China (and 2 more)
- Hao Wu 0005 — Beijing Jiaotong University, State Key Lab of Rail Traffic Control and Safety, China
- Hao Wu 0006 — PLA University of Science and Technology, College of Communications Engineering, Nanjing, China
- Hao Wu 0007 (aka: Tony Hao Wu) — Shenzhen University, Guangdong Key Laboratory of Intelligent Information Processing, Shenzhen, China (and 1 more)
- Hao Wu 0008 — Network Information Security Institute, CNCERT/CC, Beijing, China (and 1 more)
- Hao Wu 0009 — ZTE Corporation, Department of Wireless Product Research / Development Institute, Shenzhen, China
- Hao Wu 0010 — Yunnan University, School of Information Science and Engineering, Kunming, China (and 1 more)
- Hao Wu 0011 — Fudan University, School of Computer Science, Shanghai, China
- Hao Wu 0012 — TuSimple, San Diego, CA, USA (and 1 more)
- Hao Wu 0013 — RWTH Aachen University, Germany
- Hao Wu 0014 — University of Maryland, College Park, MD, USA
- Hao Wu 0015 — Yunnan University, Department of Computer Science and Engineering, Kunming, China
- Hao Wu 0016 — Fudan University, School of Mathematical Sciences, Shanghai, China
- Hao Wu 0018 — Rubrik Inc., Palo Alto, CA, USA (and 1 more)
- Hao Wu 0019 — Xi'an Jiaotong University, School of Electronic and Information Engineering, China
- Hao Wu 0020 — Northeastern University, Boston, MA, USA
- Hao Wu 0021 — Illinois Institute of Technology, Chicago, IL, USA
- Hao Wu 0022 — Beijing Normal University, College of Information Science and Technology, China (and 2 more)
- Hao Wu 0023 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
- Hao Wu 0024 — Dalian University of Technology, School of Software Technology, China
- Hao Wu 0025 — Beijing University of Posts and Telecommunications, State Key Laboratory of Networking and Switching Technology, China
- Hao Wu 0026 — Broadcom Inc., Irvine, CA, USA (and 1 more)
- Hao Wu 0027 — Hunan University, College of Finance and Statistics, Changsha, China
- Hao Wu 0028 — Huazhong University of Science and Technology, School of Mechanical Science and Engineering, Wuhan, China
- Hao Wu 0029 — Sichuan University of Science and Engineering, Artificial Intelligence Key Laboratory of Sichuan Province, Yibin, China (and 1 more)
- Hao Wu 0030 — Wuhan University of Science and Technology, MOE Key Laboratory of Metallurgical Equipment and Control Technology, China
- Hao Wu 0031 — National University of Defense Technology, College of Electronic Science, Changsha, China
- Hao Wu 0032 — Hubei University, School of Computer and Information Engineering, Research Center of Educational Informatization Engineering and Technology, Wuhan, China
- Hao Wu 0034 — University of Pennsylvania, Philadelphia, PA, USA (and 1 more)
- Hao Wu 0035 — Tongji University, School of Mathematical Sciences, Shanghai, China (and 1 more)
- Hao Wu 0036 — University of Delaware, Department of Electrical and Computer Engineering, Newark, DE, USA
- Hao Wu 0037 — University of Houston, Department of Electrical and Computer Engineering, Hyperspectral Image Analysis Lab, Houston, TX, USA
- Hao Wu 0038 — University of Strathclyde, Glasgow, UK
- Hao Wu 0039 — JiangNan University, Wuxi, China
- Hao Wu 0040 — National University of Defense Technology, State Key Laboratory of Complex Electromagnetic Environment Effects on Electronics and Information System, China
- Hao Wu 0041 — Google, Mountain View, CA, USA (and 1 more)
- Hao Wu 0042 — University of Science and Technology of China, EEIS Department, CAS Key Laboratory of Wireless Optical Communication, Hefei, China
- Hao Wu 0043 — University of Electronic Science and Technology of China, School of Information and Communication Engineering, Chengdu, China
- Hao Wu 0044 — Tianjin University of Science and Technology, College of Mechanical Engineering, Tianjin, China
- Hao Wu 0045 — Sichuan University, College of Mathematics, Chengdu, China
- Hao Wu 0046 — Wuhan University, School of Urban Design, Department of Graphics and Digital Technology, Wuhan, China
- Hao Wu 0047 — University of Alabama, Department of Geological Sciences, Tuscaloosa, AL, USA
- Hao Wu 0048 — Southwest Jiaotong University, State Key Laboratory of Traction Power, Chengdu, China
- Hao Wu 0049 — State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou, China
- Hao Wu 0050 — Central South University, School of Resources and Safety Engineering, Changsha, China
- Hao Wu 0051 — Zhejiang University, College of Electrical Engineering, Hangzhou, China
- Hao Wu 0052 — University of Jinan, School of Materials Science and Engineering, Jinan, China
- Hao Wu 0053 — Tongji University, School of Automotive Studies, Shanghai, China
- Hao Wu 0054 — Beijing University of Posts and Telecommunications, Beijing Key Laboratory of Network System Architecture and Convergence, Beijing, China
- Hao Wu 0055 — Vanderbilt University, Department of Psychology and Human Development, Nashville, TN, USA (and 2 more)
- Hao Wu 0056 — University of Aberdeen, Scotland, UK
- Hao Wu 0057 — School of Computing and Information Systems, The University of Melbourne, Australia
- Hao Wu 0058 — University of Warwick, Department of Computer Science, Coventry, UK
- Hao Wu 0059 — Tokyo Institute of Technology, Japan
- Hao Wu 0060 — Tsinghua University, Department of Mathematical Sciences, Beijing, China
- Hao Wu 0061 — Southwest University, College of Computer and Information Science, Chongqing, China (and 2 more)
- Hao Wu 0062 — Shandong University, School of Software, Jinan, China (and 1 more)
- Hao Wu 0063 — Tianjin University, School of Civil Engineering, Tianjin, China
- Hao Wu 0064 — Macquarie University, Faculty of Computer Science, NSW, Australia (and 1 more)
- Hao Wu 0065 — Shandong University, School of Control Science and Engineering, Jinan, China
- Hao Wu 0066 — Beijing Institute of Technology, School of Computer Science and Technology, Beijing, China
- Hao Wu 0067 — Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China
- Hao Wu 0068 — Case Western Reserve University, Cleveland, OH, USA
- Hao Wu 0069 — TuSimple, San Diego, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j4]Hao Wu:
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. Sci. Comput. Program. 228: 102955 (2023)- 2022
- [j3]Hao Wu:
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. J. Object Technol. 21(3): 3:1-17 (2022) - 2021
- [j2]Hao Wu, Marie Farrell:
A formal approach to finding inconsistencies in a metamodel. Softw. Syst. Model. 20(4): 1271-1298 (2021) - 2016
- [j1]Hao Wu:
An SMT-based Approach for Generating Coverage Oriented Metamodel Instances. Int. J. Inf. Syst. Model. Des. 7(3): 23-50 (2016)
Conference and Workshop Papers
- 2024
- [c13]Ankit Jha, Rosemary Monahan, Hao Wu:
Verifying UML Models Annotated with OCL Strings. MoDELS (Companion) 2024: 1106-1110 - [c12]Hao Wu, Thomas Flinkow, Dominique Méry:
Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. TAP 2024: 107-124 - 2023
- [c11]Hao Wu, Zheng Cheng:
Verifying Event-B Hybrid Models Using Cyclone. ABZ 2023: 179-184 - 2022
- [c10]Hao Wu:
QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants. FASE 2022: 310-317 - 2020
- [c9]Hao Wu, Joseph Timoney:
Verifying OCL Operational Contracts via SMT-based Synthesising. MODELSWARD 2020: 249-259 - 2019
- [c8]Marie Farrell, Hao Wu:
When the Student Becomes the Teacher. FMFun 2019: 208-217 - [c7]Hao Wu:
Synthesising call sequences from OCL operational contracts. SAC 2019: 1871-1873 - 2018
- [c6]Hao Wu, Laure Hinsberger, Joseph Timoney:
A Workflow for Healthcare Systems via OCL and SMT Solving. SEHS@ICSE 2018: 42-45 - 2017
- [c5]Hao Wu:
Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. ECMFA 2017: 179-196 - [c4]Hao Wu:
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. IFM 2017: 348-356 - [c3]Hao Wu:
Step 0: An Idea for Automatic OCL Benchmark Generation. STAF Workshops 2017: 356-364 - 2016
- [c2]Hao Wu:
Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving. MODELSWARD 2016: 40-51 - 2013
- [c1]Hao Wu, Rosemary Monahan, James F. Power:
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. TASE 2013: 175-182
Informal and Other Publications
- 2012
- [i1]Hao Wu, Rosemary Monahan, James F. Power:
Metamodel Instance Generation: A systematic literature review. CoRR abs/1211.6322 (2012)
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 2025-01-16 23:09 CET 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:
