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="Smolka, Scott A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Turing machines, transition systems, and interaction
Dina Q. Goldin
,
Scott A. Smolka
,
Paul C. Attie
,
Elaine L. Sonderegger
Information and Computation
194
(2), 2004, pp. 101-128
Hiding resources that can fail: An axiomatic perspective
Anna Philippou
,
Oleg Sokolsky
,
Insup Lee
,
Rance Cleaveland
,
Scott A. Smolka
Information Processing Letters
80
(1), 2001, pp. 3-13
Testing preorders for probabilistic processes
Rance Cleaveland
,
Zeynep Dayar
,
Scott A. Smolka
,
Shoji Yuen
Information and Computation
154
(2), 1999, pp. 93-148
Strong interaction fairness via randomization
Yuh-Jzer Joung
,
Scott A. Smolka
IEEE Transactions on Parallel and Distributed Systems
9
(2), 1998, pp. 137-149
Simple linear-time algorithms for minimal fixed points
Xinxin Liu
,
Scott A. Smolka
Lecture Notes in Computer Science
1443
, 1998, pp. 53-66
Infinite probabilistic and nonprobabilistic testing
K. Narayan Kumar
,
Rance Cleaveland
,
Scott A. Smolka
Lecture Notes in Computer Science
1530
, 1998, pp. 209-220
Composition and behaviors of probabilistic I/O automata
Sue-Hwey Wu
,
Scott A. Smolka
,
Eugene W. Stark
Theoretical Computer Science
176
(1-2), 1997, pp. 1-38
A comprehensive study of the complexity of multiparty interaction
Yuh-Jzer Joung
,
Scott A. Smolka
Journal of the ACM
43
(1), 1996, pp. 75-115
Decidability of simulation and bisimulation between lossy channel systems and finite state systems
Parosh Aziz Abdulla
,
Mats Kindahl
Lecture Notes in Computer Science
962
, 1995, pp. 333-347
Metric predicate transformers: Towards a notion of refinement for concurrency
Marcello M. Bonsangue
,
Joost N. Kok
,
Erik de Vink
Lecture Notes in Computer Science
962
, 1995, pp. 363-377
Temporal logic + timed automata: Expressiveness and decidability
Ahmed Bouajjani
,
Yassine Lakhnech
Lecture Notes in Computer Science
962
, 1995, pp. 531-545
Fair testing
Ed Brinksma
,
Arend Rensink
,
Walter Vogler
Lecture Notes in Computer Science
962
, 1995, pp. 313-327
Process semantics of graph reduction
Simon Brock
,
Gerald Ostheimer
Lecture Notes in Computer Science
962
, 1995, pp. 471-485
Towards a denotational semantics for ET-LOTOS
Jeremy Bryans
,
Jim Davies
,
Steve Schneider
Lecture Notes in Computer Science
962
, 1995, pp. 269-283
A Petri net semantics for
\pi
-calculus
Nadia Busi
,
Roberto Gorrieri
Lecture Notes in Computer Science
962
, 1995, pp. 145-159
CTR: A calculus of timed refinement
Kārlis C̑erāns
Lecture Notes in Computer Science
962
, 1995, pp. 516-530
Verifying parameterized networks using abstraction and regular languages
E.M. Clarke
,
O. Grumberg
,
S. Jha
Lecture Notes in Computer Science
962
, 1995, pp. 395-407
Fully abstract models for nondeterministic regular expressions
Flavio Corradini
,
Rocco De Nicola
,
Anna Labella
Lecture Notes in Computer Science
962
, 1995, pp. 130-144
Formal methods technology transfer: Impediments and innovation
Dan Craigen
Lecture Notes in Computer Science
962
, 1995, pp. 328-332
Delayed choice for process algebra with abstraction
P.R. D'Argenio
,
S. Mauw
Lecture Notes in Computer Science
962
, 1995, pp. 501-515
Compositional proof systems for model checking infinite state processes
Mads Dam
Lecture Notes in Computer Science
962
, 1995, pp. 12-26
Model checking and efficient automation of temporal reasoning
E. Allen Emerson
Lecture Notes in Computer Science
962
, 1995, pp. 393-394
The weak late
\pi
-calculus semantics as observation equivalence
Gian-Luigi Ferrari
,
Ugo Montanari
,
Paola Quaglia
Lecture Notes in Computer Science
962
, 1995, pp. 57-71
Confluence for process verification
J.F. Groote
,
M.P.A. Sellink
Lecture Notes in Computer Science
962
, 1995, pp. 204-218
Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering
David Harel
Lecture Notes in Computer Science
962
, 1995, pp. 264-268
Seiten 1
2
3
>