Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Yuen, Shoji"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Modeling and analysis of real-time systems with mutex components
Guoqiang Li
,
Xiaojuan Cai
,
Shoji Yuen
International Journal of Foundations of Computer Science
23
(4), 2012, pp. 831-851
Generating priority rewrite systems for OSOS process languages
Irek Ulidowski
,
Shoji Yuen
Information and Computation
207
(2), 2009, pp. 120-145
Testing preorders for probabilistic processes
Rance Cleaveland
,
Zeynep Dayar
,
Scott A. Smolka
,
Shoji Yuen
Information and Computation
154
(2), 1999, pp. 93-148
Fully abstract characterizations of testing preorders for probabilistic processes
Shoji Yuen
,
Rance Cleaveland
,
Zeynep Dayar
,
Scott A. Smolka
Lecture Notes in Computer Science
836
, 1994, pp. 497-512