Wang Yi
Author
Alternate names Yi Wang, Yi Wang ‐, Wang Yi, W. Yi, Wang Wang Yi
Institutions Northeastern University, Uppsala University
Past institutions Uppsala University, Northeastern University, Deakin University, University of Macau, Southwest University +5 more
ORCID: Yes
H-index: 48
I10-index: 129
Works count: 286
Citations count: 10,430
Uppaal in a nutshell
1997 · Kim G. Larsen, Paul Pettersson, et al. · International Journal on Software Tools for Technology Transfer
UPPAAL — a tool suite for automatic verification of real-time systems
1996 · Johan Bengtsson, Kim G. Larsen, et al. · Lecture notes in computer science
Timed Automata: Semantics, Algorithms and Tools
2004 · Johan Bengtsson, Wang Yi · Lecture notes in computer science