| Extended modeling languages for interaction protocol design JL Koning, MP Huget, J Wei, X Wang International Workshop on Agent-Oriented Software Engineering, 68-83, 2001 | 44 | 2001 |
| Practical partial order reduction for CSP T Gibson-Robinson, H Hansen, AW Roscoe, X Wang NASA Formal Methods Symposium, 188-203, 2015 | 25 | 2015 |
| On process-algebraic verification of asynchronous circuits X Wang, M Kwiatkowska Fundamenta Informaticae 80 (1-3), 283-310, 2007 | 17 | 2007 |
| On process-algebraic verification of asynchronous circuits X Wang, M Kwiatkowska Sixth International Conference on Application of Concurrency to System …, 2006 | 17 | 2006 |
| Revisiting timed specification theories: A linear-time perspective C Chilton, M Kwiatkowska, X Wang International Conference on Formal Modeling and Analysis of Timed Systems, 75-90, 2012 | 15 | 2012 |
| Compositional State Space Reduction Using Untangled Actions X Wang, M Kwiatkowska Electronic Notes in Theoretical Computer Science 175 (3), 27-46, 2007 | 15 | 2007 |
| Compositional State Space Reduction Using Untangled Actions X Wang, M Kwiatkowska University of Birmingham, 2006 | 15 | 2006 |
| Towards a unifying CSP approach to hierarchical verification of asynchronous hardware X Wang, M Kwiatkowska, G Theodoropoulos, Q Zhang Electronic Notes in Theoretical Computer Science 128 (6), 231-246, 2005 | 14 | 2005 |
| Compositional analysis for weak stubborn sets H Hansen, X Wang Application of Concurrency to System Design (ACSD), 2011 11th International …, 2011 | 13 | 2011 |
| Proving Four-Slot Algorithm Using Ownership Transfer S Wang, X Wang EPiC Series vol 3 (VERIFY-2010), 126-140, 2012 | 8* | 2012 |
| Proving Simpson's Four-Slot Algorithm Using Ownership Transfer. S Wang, X Wang VERIFY@ IJCAR, 126-140, 2010 | 8 | 2010 |
| Exploiting automatic analysis of e-commerce protocols J Wei, S Cheung, X Wang Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th …, 2001 | 8* | 2001 |
| A Study of Communication Theory and Organization Structure in Agent Systems X Wang Institute of Software, Chinese Academy of Sciences, 2000 | 6* | 2000 |
| Debug concurrent programs with visualization and inference of event structure X Wu, J Wei, X Wang 2012 19th Asia-Pacific Software Engineering Conference 1, 683-692, 2012 | 5 | 2012 |
| On the origin of events: branching cells as stubborn sets H Hansen, X Wang International Conference on Application and Theory of Petri Nets and …, 2011 | 5 | 2011 |
| Opportunities and challenges in process-algebraic verification of asynchronous circuit designs X Wang, M Kwiatkowska, G Theodoropoulos, Q Zhang Electronic Notes in Theoretical Computer Science 146 (2), 189-206, 2006 | 5 | 2006 |
| OnTrack: the railway verification toolset P James, F Moller, HN Nguyen, M Roggenbach, H Treharne, X Wang International Symposium on Leveraging Applications of Formal Methods, 294-296, 2016 | 4 | 2016 |
| Maximal confluent processes X Wang International Conference on Application and Theory of Petri Nets and …, 2012 | 4 | 2012 |
| Towards a methodology for formal design and analysis of agent interaction protocols J Wei, SC Cheung, X Wang Wuhan University Journal of Natural Sciences 6 (1-2), 126-139, 2001 | 4 | 2001 |
| An Object Sequence Diagram Based Approach for Specifying and Analyzing Component Interaction Protocols J Wei, X Wang, J Li Journal of Software 12 (7), 996-1006, 2001 | 4* | 2001 |
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordDirección de correo verificada de comlab.ox.ac.uk
