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="Ku{\v{c}}era, Anton{\'{\i}}n"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
DP
lower bounds for equivalence-checking and model-checking of one-counter automata
Petr Janc̑ar
,
Antonín Kuc̑era
,
Faron Moller
,
Zdenék Sawa
Information and Computation
188
(1), 2004, pp. 1-19
A generic framework for ckecking semantic equivalences between pushdown automata and finite-state automata
Antonín Kuc̑era
,
Richard Mayr
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 395-408
Model checking LTL with regular valuations for pushdown systems
Javier Esparza
,
Antonín Kuc̑era
,
Stefan Schwoon
Information and Computation
186
(2), 2003, pp. 355-376
The complexity of bisimilarity-checking for one-counter processes
Antonín Kuc̑era
Theoretical Computer Science
304
(1-3), 2003, pp. 157-183
Simulation preorder over simple process algebras
Antonín Kuc̑era
,
Richard Mayr
Information and Computation
173
(2), 2002, pp. 184-198
Randomness and recursive enumerability
Antonín Kuc̑era
,
Theodore A. Slaman
SIAM Journal on Computing
31
(1), 2001, pp. 199-211