Follow
Shoji Yuen
Shoji Yuen
Verified email at is.nagoya-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
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
952013
Testing preorders for probabilistic processes
R Cleaveland, Z Dayar, SA Smolka, S Yuen
Information and Computation 154 (2), 93-148, 1999
781999
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
531994
Session type inference in Haskell
K Imai, S Yuen, K Agusa
arXiv preprint arXiv:1110.4163, 2011
362011
Extending process languages with time
I Ulidowski, S Yuen
International Conference on Algebraic Methodology and Software Technology …, 1997
361997
Session-ocaml: A session-based library with polarities and lenses
K Imai, N Yoshida, S Yuen
Science of Computer Programming 172, 135-159, 2019
342019
Concurrency and reversibility
I Ulidowski, I Phillips, S Yuen
International Conference on Reversible Computation, 1-14, 2014
332014
Modelling of bonding with processes and events
I Phillips, I Ulidowski, S Yuen
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013
332013
Multiparty session programming with global protocol combinators
K Imai, R Neykova, N Yoshida, S Yuen
arXiv preprint arXiv:2005.06333, 2020
282020
Nested timed automata
G Li, X Cai, M Ogawa, S Yuen
Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013
272013
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
252006
Reversing parallel programs with blocks and procedures
J Hoey, I Ulidowski, S Yuen
arXiv preprint arXiv:1808.08651, 2018
202018
Reversing event structures
I Ulidowski, I Phillips, S Yuen
New Generation Computing 36, 281-306, 2018
182018
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
172009
Process languages for rooted eager bisimulation
I Ulidowski, S Yuen
International Conference on Concurrency Theory, 275-289, 2000
172000
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
162004
Reversing imperative parallel programs
J Hoey, I Ulidowski, S Yuen
arXiv preprint arXiv:1709.00828, 2017
122017
Nested timed automata with frozen clocks
G Li, M Ogawa, S Yuen
Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015
102015
The reversible temporal process language
L Bocchi, I Lanese, CA Mezzina, S Yuen
International Conference on Formal Techniques for Distributed Objects …, 2022
72022
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
72004
The system can't perform the operation now. Try again later.
Articles 1–20