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 YEAR=2005
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
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
The Seal calculus
G. Castagna
,
J. Vitek
,
F. Zappa Nardelli
Information and Computation
201
(1), 2005, pp. 1-54
How many strings are easy to predict?
Yuri Kalnishkan
,
Vladimir Vovk
,
Michael V. Vyugin
Information and Computation
201
(1), 2005, pp. 55-71
An axiomatization of PCTL*
Mark Reynolds
Information and Computation
201
(1), 2005, pp. 72-119
Source-tracking unification
Venkatesh Choppella
,
Christopher T. Haynes
Information and Computation
201
(2), 2005, pp. 121-159
On the influence of the variable ordering for algorithmic learning using OBDDs
Matthias Krause
,
Petr Savický
,
Ingo Wegener
Information and Computation
201
(2), 2005, pp. 160-177
An efficient query learning algorithm for ordered binary decision diagrams
Atsuyoshi Nakamura
Information and Computation
201
(2), 2005, pp. 178-198
Arithmetic Meyer sets and finite automata
Shigeki Akiyama
,
Frédérique Bassino
,
Christiane Frougny
Information and Computation
201
(2), 2005, pp. 199-215
Tight lower bounds for certain parameterized
NP
-hard problems
Jianer Chen
,
Benny Chor
,
Mike Fellows
,
Xiuzhen Huang
,
David Juedes
,
Iyad A. Kanj
,
Ge Xia
Information and Computation
201
(2), 2005, pp. 216-231
Quantum and classical complexity classes: Separations, collapses, and closure properties
Holger Spakowski
,
Mayur Thakur
,
Rahul Tripathi
Information and Computation
200
(1), 2005, pp. 1-34
Bridging the gap between fair simulation and trace inclusion
Yonit Kesten
,
Nir Piterman
,
Amir Pnueli
Information and Computation
200
(1), 2005, pp. 35-61
Seiten 1
2
3
>