default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXu Wang 0001
Person information
- affiliation: Swansea University, Department of Computer Science, UK
- affiliation: University of Oxford, Department of Computer Science, UK
- affiliation: United Nations University, International Institute for Software Technology, Macau
- affiliation: University of Birmingham, School of Computer Science, UK
Other persons with the same name
- Xu Wang — disambiguation page
- Xu Wang 0002 — Anhui Machine Whole Set Bureau
- Xu Wang 0003 — Harbin Institute of Technology, School of Computer Science and Technology, China
- Xu Wang 0004
![[0000-0001-9439-6437]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-9439-6437")
— Beijing University of Posts and Telecommunications, School of Cyberspace Security, China - Xu Wang 0005 — Washington State University, School of Electrical Engineering and Computer Science, Pullman, WA, USA
- Xu Wang 0006 — Shenzhen University, College of Computer Science and Software Engineering, China (and 2 more)
- Xu Wang 0007 — Beihang University, School of Computer Science and Engineering, Beijing, China
- Xu Wang 0008 — Kansas State University, Department of Plant Pathology, Manhattan, KS, USA
- Xu Wang 0009 — Northwestern Polytechnical University, School of Mechanical Engineering, Xi'an, China
- Xu Wang 0010 — Shanghai Jiao Tong University, School of Microelectronics, China
- Xu Wang 0011 — Queen Mary University of London, UK
- Xu Wang 0012 — University of Waterloo, ON, Canada
- Xu Wang 0013 — State Key Laboratory of Process Automation in Mining & Metallurgy, Beijing, China
- Xu Wang 0014 — Texas A&M University, Department of Electrical and Computer Engineering, College Station, TX, USA
- Xu Wang 0015 — Wuhan University, School of Computer Science, National Engineering Research Center for Multimedia Software, China
- Xu Wang 0016 — University of Michigan, Computer Science and Engineering, USA (and 3 more)
- Xu Wang 0017 — Shenzhen University, Health Science Center, School of Biomedical Engineering, China
- Xu Wang 0018 — Tsinghua University, School of Software and TNLIST, Beijing, China
- Xu Wang 0019 — University of Zaragoza, Institute of Engineering Research, Spain
- Xu Wang 0020 — Heriot-Watt University, School of Engineering and Physical Sciences, IPaQS, Edinburgh, UK
- Xu Wang 0021 — Shanghai Jiao Tong University, School of Electronic Information and Electrical Engineering, China
- Xu Wang 0022 — Memorial University of Newfoundland, Canada (and 1 more)
- Xu Wang 0023 — Wuhan University, Research Center for Chinese Science Evaluatio / School of Information Management, China
- Xu Wang 0024 — Chongqing University, School of Mechanical Engineering, China
- Xu Wang 0025 — Xi'an University of Technology, School of Computer Science and Engineering, , China
- Xu Wang 0026 — Auburn University, Department of Pathobiology, AL, USA (and 1 more)
- Xu Wang 0027 — Feng Chia University, Department of Information Engineering and Computer Science, Taichung, Taiwan
- Xu Wang 0028 — Sichuan University, Chengdu, China
- Xu Wang 0029 — University of Science and Technology of China, Heifei, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2007
[j1]Xu Wang, Marta Z. Kwiatkowska:
On Process-algebraic Verification of Asynchronous Circuits. Fundam. Informaticae 80(1-3): 283-310 (2007)
Conference and Workshop Papers
- 2022
- [c14]Xu Wang, Qiwen Xu:
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm. SAC 2022: 1853-1856 - 2017
- [c13]Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang:
A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles 2017: 18-38 - 2016
- [c12]Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang:
OnTrack: The Railway Verification Toolset - Extended Abstract. ISoLA (2) 2016: 294-296 - 2015
- [c11]Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang:
Practical Partial Order Reduction for CSP. NFM 2015: 188-203 - 2012
- [c10]Xu Wang:
Maximal Confluent Processes. Petri Nets 2012: 188-207 - [c9]Chris Chilton, Marta Z. Kwiatkowska, Xu Wang:
Revisiting Timed Specification Theories: A Linear-Time Perspective. FORMATS 2012: 75-90 - 2011
- [c8]Henri Hansen, Xu Wang:
Compositional Analysis for Weak Stubborn Sets. ACSD 2011: 36-43 - [c7]Henri Hansen, Xu Wang:
On the Origin of Events: Branching Cells as Stubborn Sets. Petri Nets 2011: 248-267 - 2010
- [c6]Yongxin Zhao, Xu Wang, Huibiao Zhu:
Towards a Pomset Semantics for a Shared-Variable Parallel Language. UTP 2010: 271-285 - 2006
- [c5]Xu Wang, Marta Z. Kwiatkowska:
On process-algebraic verification of asynchronous circuits. ACSD 2006: 37-46 - [c4]Xu Wang, Marta Z. Kwiatkowska:
Compositional State Space Reduction Using Untangled Actions. EXPRESS 2006: 27-46 - 2005
- [c3]Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang:
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. FMGALS@MEMOCODE 2005: 189-206 - 2004
- [c2]Xu Wang, A. W. Roscoe, Ranko Lazic:
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM 2004: 247-266 - [c1]Xu Wang, Marta Z. Kwiatkowska, Georgios Theodoropoulos, Qianyi Zhang:
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. AVoCS 2004: 231-246
Informal and Other Publications
- 2013
- [i2]Chris Chilton, Marta Z. Kwiatkowska, Xu Wang:
Revisiting Timed Specification Theory II : Realisability. CoRR abs/1304.7590 (2013) - 2012
- [i1]Chris Chilton, Marta Z. Kwiatkowska, Xu Wang:
Revisiting Timed Specification Theories: A Linear-Time Perspective. CoRR abs/1206.4504 (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 2024-10-01 21:42 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:
