Shoji Yuen

Shoji Yuen: Foreword. IEICE Transactions 95-D(5): 1341 (2012)

Keigo Imai, Shoji Yuen, Kiyoshi Agusa: A Session Type System with Subject Reduction. IEICE Transactions 95-D(8): 2053-2064 (2012)

Guoqiang Li, Xiaojuan Cai, Shoji Yuen: Modeling and Analysis of Real-Time Systems with Mutex Components. Int. J. Found. Comput. Sci. 23(4): 831-852 (2012)

Iain Phillips, Irek Ulidowski, Shoji Yuen: A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. RC 2012: 218-232

Guoqiang Li, Xiaojuan Cai, Shoji Yuen: Modeling and analysis of real -time systems with mutex components. IPDPS Workshops 2010: 1-8

Keigo Imai, Shoji Yuen, Kiyoshi Agusa: Session Type Inference in Haskell. PLACES 2010: 74-91

Irek Ulidowski, Shoji Yuen: Generating priority rewrite systems for OSOS process languages. Inf. Comput. 207(2): 120-145 (2009)

Guoqiang Li, Shoji Yuen, Masakazu Adachi: Environmental Simulation of Real-Time Systems with Nested Interrupts. TASE 2009: 21-28

Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa: A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. APSEC 2007: 366-373

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen: Name-passing style GUI programming in the pi-calculus-based language Nepi. Electr. Notes Theor. Comput. Sci. 139(1): 145-168 (2005)

Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa: Towards assuring quality attributes of client dynamic Web applications: Identifying and addressing the challenges. J. Web Eng. 4(2): 144-164 (2005)

Irek Ulidowski, Shoji Yuen: Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. J. Log. Algebr. Program. 60-61: 401-460 (2004)

Mohamed Sharaf Aun, I. M. Atiqul, Shoji Yuen, Kiyoshi Agusa: Separating Features for Assuring Quality Attributes of Client Web Applications. ICWI 2004: 699-706

Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa: Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features. ICWI 2003: 1253-1254

Irek Ulidowski, Shoji Yuen: Process Languages for Rooted Eager Bisimulation. CONCUR 2000: 275-289

Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen: Testing Preorders for Probabilistic Processes. Inf. Comput. 154(2): 93-148 (1999)

Irek Ulidowski, Shoji Yuen: Extending Process Languages with Time. AMAST 1997: 524-538

Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka: Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki: A formal description of monitors by CCS. Systems and Computers in Japan 23(1): 1-14 (1992)

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki: An Extension of the Testing Method for Processes Passing Infinite Values. NAPAW 1992: 155-173