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=203
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A theory of stochastic systems. Part I: Stochastic automata
Pedro R. D'Argenio
,
Joost-Pieter Katoen
Information and Computation
203
(1), 2005, pp. 1-38
A theory of stochastic systems. Part II: Process algebra
Pedro R. D'Argenio
,
Joost-Pieter Katoen
Information and Computation
203
(1), 2005, pp. 39-74
Decidable first-order transition logics for
PA
-processes
Denis Lugiez
,
Philippe Schnoebelen
Information and Computation
203
(1), 2005, pp. 75-113
Axiomatising divergence
Markus Lohrey
,
Pedro R. D'Argenio
,
Holger Hermanns
Information and Computation
203
(2), 2005, pp. 115-144
On the computational power of probabilistic and quantum branching program
Farid Ablayev
,
Aida Gainutdinova
,
Marek Karpinski
,
Cristopher Moore
,
Christopher Pollett
Information and Computation
203
(2), 2005, pp. 145-162
Context-free languages can be accepted with absolutely no space overhead
Lane A. Hemaspaandra
,
Proshanto Mukherji
,
Till Tantau
Information and Computation
203
(2), 2005, pp. 163-180
Performing work with asynchronous processors: Message-delay-sensitive bounds
Dariusz R. Kowalski
,
Alex A. Shvartsman
Information and Computation
203
(2), 2005, pp. 181-210
Relations between Gold-style learning and query learning
Steffen Lange
,
Sandra Zilles
Information and Computation
203
(2), 2005, pp. 211-237