Xu Wang
Orcid: 0000-0002-2113-8944Affiliations:
- Swansea University, Department of Computer Science, UK
- University of Oxford, Department of Computer Science, UK
- United Nations University, International Institute for Software Technology, Macau
- University of Birmingham, School of Computer Science, UK
According to our database1,
Xu Wang
authored at least 15 papers
between 2004 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
On csauthors.net:
Bibliography
2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
2013
2012
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010
2007
Fundam. Informaticae, 2007
2006
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006
2005
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005
2004
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004