| A reversible process calculus and the modelling of the ERK signalling pathway I Phillips, I Ulidowski, S Yuen Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013 | 102 | 2013 |
| Testing preorders for probabilistic processes R Cleaveland, Z Dayar, SA Smolka, S Yuen Information and Computation 154 (2), 93-148, 1999 | 79 | 1999 |
| Fully abstract characterizations of testing preorders for probabilistic processes S Yuen, R Cleaveland, Z Dayar, SA Smolka CONCUR’94: Concurrency Theory: 5th International Conference, Uppsala, Sweden …, 1994 | 53 | 1994 |
| Session type inference in Haskell K Imai, S Yuen, K Agusa arXiv preprint arXiv:1110.4163, 2011 | 39 | 2011 |
| Session-ocaml: A session-based library with polarities and lenses K Imai, N Yoshida, S Yuen Science of Computer Programming 172, 135-159, 2019 | 37 | 2019 |
| Extending process languages with time I Ulidowski, S Yuen International Conference on Algebraic Methodology and Software Technology …, 1997 | 37 | 1997 |
| Modelling of bonding with processes and events I Phillips, I Ulidowski, S Yuen Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013 | 34 | 2013 |
| Multiparty session programming with global protocol combinators K Imai, R Neykova, N Yoshida, S Yuen arXiv preprint arXiv:2005.06333, 2020 | 32 | 2020 |
| Concurrency and reversibility I Ulidowski, I Phillips, S Yuen International Conference on Reversible Computation, 1-14, 2014 | 32 | 2014 |
| Nested timed automata G Li, X Cai, M Ogawa, S Yuen Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013 | 26 | 2013 |
| Web automata: A behavioral model of web applications based on the MVC model S Yuen, K Kato, D Kato, K Agusa Information and Media Technologies 1 (1), 66-79, 2006 | 25 | 2006 |
| Reversing event structures I Ulidowski, I Phillips, S Yuen New Generation Computing 36, 281-306, 2018 | 21 | 2018 |
| Reversing parallel programs with blocks and procedures J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1808.08651, 2018 | 20 | 2018 |
| Process languages for rooted eager bisimulation I Ulidowski, S Yuen International Conference on Concurrency Theory, 275-289, 2000 | 18 | 2000 |
| Environmental simulation of real-time systems with nested interrupts G Li, S Yuen, M Adachi 2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009 | 17 | 2009 |
| Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation I Ulidowski, S Yuen The Journal of Logic and Algebraic Programming 60, 401-460, 2004 | 16 | 2004 |
| Reversing imperative parallel programs J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1709.00828, 2017 | 12 | 2017 |
| Nested timed automata with frozen clocks G Li, M Ogawa, S Yuen Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015 | 10 | 2015 |
| The reversible temporal process language L Bocchi, I Lanese, CA Mezzina, S Yuen International Conference on Formal Techniques for Distributed Objects …, 2022 | 8 | 2022 |
| A Testing framework for web applications based on the MVC model with behavioral descriptions S YUEN International Conference on Information Technology & Applications 2004, CD …, 2004 | 7 | 2004 |
Irek UlidowskiSchool of Computing and Mathematical Sciences, University of Leicester在 le.ac.uk 的电子邮件经过验证
