The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Shoji Yuen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Irek Ulidowski, Shoji Yuen
    Extending Process Languages with Time. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:524-538 [Conf]
  2. Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka
    Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:497-512 [Conf]
  3. Irek Ulidowski, Shoji Yuen
    Process Languages for Rooted Eager Bisimulation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:275-289 [Conf]
  4. Mohamed Sharaf Aun, I. M. Atiqul, Shoji Yuen, Kiyoshi Agusa
    Separating Features for Assuring Quality Attributes of Client Web Applications. [Citation Graph (0, 0)][DBLP]
    ICWI, 2004, pp:699-706 [Conf]
  5. Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
    Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features. [Citation Graph (0, 0)][DBLP]
    ICWI, 2003, pp:1253-1254 [Conf]
  6. Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
    An Extension of the Testing Method for Processes Passing Infinite Values. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:155-173 [Conf]
  7. Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
    Name-passing style GUI programming in the pi-calculus-based language Nepi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:145-168 [Journal]
  8. Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen
    Testing Preorders for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:154, n:2, pp:93-148 [Journal]
  9. Irek Ulidowski, Shoji Yuen
    Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:401-460 [Journal]
  10. Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
    Towards assuring quality attributes of client dynamic Web applications: Identifying and addressing the challenges. [Citation Graph (0, 0)][DBLP]
    J. Web Eng., 2005, v:4, n:2, pp:144-164 [Journal]

  11. A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. [Citation Graph (, )][DBLP]


  12. Environmental Simulation of Real-Time Systems with Nested Interrupts. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002