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
[2]
Hilfe
Suche: Author="Smolka, S.A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Modeling and simulation of cardiac tissue using hybrid I/O automata
E. Bartocci
,
F. Corradini
,
M.R. Di Berardini
,
E. Entcheva
,
S.A. Smolka
,
R. Grosu
Theoretical Computer Science
410
(33-34), 2009, pp. 3149-3165
Axiomatizing probabilistic processes: ACP with generative probabilities
J.C.M. Baeten
,
J.A. Bergstra
,
S.A. Smolka
Information and Computation
121
(2), 1995, pp. 234-255
The complexity of reachability in distributed communicating processes
J.H. Reif
,
S.A. Smolka
Acta Informatica
25
(3), 1988, pp. 333-354
Distributed algorithms for tree pattern matching
G. Singh
,
S.A. Smolka
,
I.V. Ramakrishnan
Lecture Notes in Computer Science
312
, 1988, pp. 92-107