Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHong Zhang 0016
Person information
- affiliation: McMaster University, Software Quality Research Lab, Hamilton, ON, Canada
Other persons with the same name
- Hong Zhang — disambiguation page
- Hong Zhang 0001
![[0000-0002-0088-8148]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-0088-8148")
— Chinese Academy of Science, Institute of Remote Sensing and Digital Earth, Beijing, China - Hong Zhang 0002 — Chongqing Jiaotong University, College of Civil Engineering, Chongqing, China
- Hong Zhang 0003 — Fujian Normal University, Fuqing Branch, School of Electronic and Information Engineering, China (and 1 more)
- Hong Zhang 0004 — China University of Petroleum, Beijing, China
- Hong Zhang 0005 — Chinese Academy of Sciences, Institute of Information Engineering, State Key Laboratory of Information Security, Beijing, China
- Hong Zhang 0006 — Argonne National Laboratory, Mathematics and Computer Science Division, Lemont, IL, USA (and 1 more)
- Hong Zhang 0007 — Shanxi University, College of Environment and Resource Sciences, Taiyuan, China
- Hong Zhang 0008 — Utrecht University, Department of Mathematics, The Netherlands
- Hong Zhang 0009 — Xi'an Jiaotong University, School of Microelectronics, China
- Hong Zhang 0010 — Northeast Dianli University, Jilin City, China
- Hong Zhang 0011 — Southern University of Science and Technology, Department of Electronic and Electrical Engineering, Shenzhen, China (and 2 more)
- Hong Zhang 0012 — Chongqing University of Posts and Telecommunications, School of Communication and Information Engineering, China
- Hong Zhang 0013 — University of Alberta, Department of Computing Science, Edmonton, AB, Canada (and 2 more)
- Hong Zhang 0014 — University of California, Santa Barbara, Department of Electrical and Computer Engineering, CA, USA
- Hong Zhang 0015 — Rowan University, Department of Mechanical Engineering, Glassboro, NJ, USA (and 1 more)
- Hong Zhang 0017 — Clemson University, Department of Mathematical Sciences, SC, USA (and 1 more)
- Hong Zhang 0018 — Beihang University, Image Processing Center, Beijing, China (and 1 more)
- Hong Zhang 0019 — Indiana University - Purdue University Fort Wayne, Department of Mathematical Sciences, Fort Wayne, IN, USA
- Hong Zhang 0020 — Huazhong University of Science and Technology, School of Automation, Wuhan, China
- Hong Zhang 0021 — Nanjing University of Science and Technology, School of Computer Science and Engineering, Nanjing, China
- Hong Zhang 0022 — Wuhan University of Science and Technology, College of Computer Science and Technology, Wuhan, China (and 1 more)
- Hong Zhang 0023 — Coordination Center of China, National Computer Network Emergency Response Technical Team, Beijing, China
- Hong Zhang 0024 — Huawei Technologies Co., Ltd, Shenzhen, China (and 1 more)
- Hong Zhang 0025 — University of California, RISELab, Berkeley, CA, USA (and 2 more)
- Hong Zhang 0026 — Kyushu Institute of Technology, Department of Brain Science and Engineering, Kitakyushu, Japan
- Hong Zhang 0027 — Jiangsu University, Department of Financial Mathematics, Zhenjiang, China
- Hong Zhang 0028 — Griffith University, Griffith School of Engineering, Gold Coast Campus, Queensland, Australia
- Hong Zhang 0029 — Harbin University of Science and Technology, School of Computer Science and Technology, Harbin, China
- Hong Zhang 0030 — East China Normal University, School of Urban and Regional Sciences, Shanghai, China (and 2 more)
- Hong Zhang 0031 — Technical University of Munich, Department of Physics, Munich, Germany
- Hong Zhang 0032 — Guilin Normal College, Department of Mathematics and Computer Science, Guilin, China
- Hong Zhang 0033 — Lanzhou University of Technology, College of Electrical and Information Engineering, Lanzhou, China (and 1 more)
- Hong Zhang 0034 — Minzu University of China, School of Information Engineering, Beijing, China
- Hong Zhang 0035 — The First Affiliated Hospital of Jinan University, Department of Interventional Radiology and Vascular Surgery, Guangzhou, China
- Hong Zhang 0036 — Henan University of Economics and Law, Zhengzhou, China
- Hong Zhang 0037 — University of Science and Technology of China, Department of Statistics and Finance, Hefei, China
- Hong Zhang 0038 — Merck Research Laboratories, Biostatistics and Research Decision Sciences, Rahway, NJ, USA
- Hong Zhang 0039 — Beijing Academy of Quantum Information Sciences, China (and 2 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2006
[j1]Mark Lawford, Vera Pantelic, Hong Zhang:
Towards Integrated Verification of Timed Transition Models. Fundam. Informaticae 70(1-2): 75-110 (2006)- 2004
- [c1]Mark Lawford, Hong Zhang:
Equivalence Verification of Timed Transition Models. ACSD 2004: 155-164
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-08-27 22:56 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:
