| 2026 | CONCUR | On the Encodability of Reversible Process Calculi. | Ivan Lanese, Claudio Antares Mezzina, Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2026 | RC | Introducing Time Passage to the Reversible Semantics for Erlang. | Yuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina |
| 2025 | RC | RevMiGo: Reversible Channel-Based Communication in Go Language. | Shunya Oguchi, Shoji Yuen, Nobuko Yoshida |
| 2024 | RC | Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language. | Shunya Oguchi, Shoji Yuen |
| 2022 | FORTE | The Reversible Temporal Process Language. | Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen |
| 2022 | RC | A Reversible Debugger for Imperative Parallel Programs with Contracts. | Takashi Ikeda, Shoji Yuen |
| 2020 | ECOOP | Multiparty Session Programming With Global Protocol Combinators. | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
| 2020 | RC | A Reversible Runtime Environment for Parallel Programs. | Takashi Ikeda, Shoji Yuen |
| 2017 | Coordination | Session-ocaml: A Session-Based Library with Polarities and Lenses. | Keigo Imai, Nobuko Yoshida, Shoji Yuen |
| 2017 | ICFEM | Nested Timed Automata with Diagonal Constraints. | Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen |
| 2017 | SETTA | Nested Timed Automata with Invariants. | Yuwei Wang, Guoqiang Li, Shoji Yuen |
| 2014 | RC | Concurrency and Reversibility. | Irek Ulidowski, Iain Phillips, Shoji Yuen |
| 2013 | RC | Modelling of Bonding with Processes and Events. | Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2012 | RC | A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. | Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2009 | TASE | Environmental Simulation of Real-Time Systems with Nested Interrupts. | Guoqiang Li, Shoji Yuen, Masakazu Adachi |
| 2007 | APSEC | A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. | Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa |
| 2000 | CONCUR | Process Languages for Rooted Eager Bisimulation. | Irek Ulidowski, Shoji Yuen |
| 1994 | CONCUR | Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. | Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka |