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: Journal=Inf.~Comput. AND Volume=202
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A theory of regular MSC languages
Jesper G. Henriksen
,
Madhavan Mukund
,
K. Narayan Kumar
,
Milind Sohoni
,
P.S. Thiagarajan
Information and Computation
202
(1), 2005, pp. 1-38
Communication and mobility control in boxed ambients
Michele Bugliesi
,
Silvia Crafa
,
Massimo Merro
,
Vladimiro Sassone
Information and Computation
202
(1), 2005, pp. 39-86
On an open problem of Amadio and Curien: The finite antichain condition
Guo-Qiang Zhang
,
Ying Jiang
Information and Computation
202
(1), 2005, pp. 87-103
The existential theory of equations with rational constraints in free groups is
P
SPACE
Volker Diekert
,
Claudio Gutierrez
,
Christian Hagenah
Information and Computation
202
(2), 2005, pp. 105-140
Verification of probabilistic systems with faulty communication
P.A. Abdulla
,
N. Bertrand
,
A. Rabinovich
,
Ph. Schnoebelen
Information and Computation
202
(2), 2005, pp. 141-165
Verification of progarams with half-duplex communicaton
Gérard Cécé
,
Alain Finkel
Information and Computation
202
(2), 2005, pp. 166-190
Using heuristic search for finding deadlocks in concurrent systems
Sara Gradara
,
Antonella Santone
,
Maria Luisa Villani
Information and Computation
202
(2), 2005, pp. 191-262