dblp.uni-trier.dewww.uni-trier.de

Shoji Yuen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
13EEGuoqiang Li, Shoji Yuen, Masakazu Adachi: Environmental Simulation of Real-Time Systems with Nested Interrupts. TASE 2009: 21-28
12EEIrek Ulidowski, Shoji Yuen: Generating priority rewrite systems for OSOS process languages. Inf. Comput. 207(2): 120-145 (2009)
2007
11EERyo 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
10EEAtsushi 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
7EEIrek 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
5EEIrek 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
2EEShoji 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)