Shoji Yuen

2009
12	EE	Irek Ulidowski, Shoji Yuen: Generating priority rewrite systems for OSOS process languages. Inf. Comput. 207(2): 120-145 (2009)
2007
11	EE	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
2005
10	EE	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)
9		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)
2004
8		Mohamed Sharaf Aun, I. M. Atiqul, Shoji Yuen, Kiyoshi Agusa: Separating Features for Assuring Quality Attributes of Client Web Applications. ICWI 2004: 699-706
7	EE	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)
2003
6		Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa: Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features. ICWI 2003: 1253-1254
2000
5	EE	Irek Ulidowski, Shoji Yuen: Process Languages for Rooted Eager Bisimulation. CONCUR 2000: 275-289
1999
4		Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen: Testing Preorders for Probabilistic Processes. Inf. Comput. 154(2): 93-148 (1999)
1997
3		Irek Ulidowski, Shoji Yuen: Extending Process Languages with Time. AMAST 1997: 524-538
1994
2		Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka: Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512
1992
1		Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki: An Extension of the Testing Method for Processes Passing Infinite Values. NAPAW 1992: 155-173

Coauthor Index

1	Kiyoshi Agusa	[6] [8] [9] [10] [11]
2	I. M. Atiqul	[8]
3	Mohamed Sharaf Aun	[6] [8] [9]
4	Rance Cleaveland	[2] [4]
5	Zeynep Dayar	[2] [4]
6	Yasuyoshi Inagaki	[1]
7	Yoshinobu Kawabe	[10]
8	Hiroaki Kuwabara	[10]
9	Ken Mano	[10]
10	Atsushi Mizuno	[10]
11	Toshiki Sakabe	[1]
12	Scott A. Smolka	[2] [4]
13	Ryo Suetsugu	[11]
14	Irek Ulidowski	[3] [5] [7] [12]

Colors in the list of coauthors