Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2004

  1. JANČAR, Petr, Antonín KUČERA, Faron MOLLER a Zdeněk SAWA. DP lower bounds for equivalence-checking and model-checking of one-counter automata. Information and Computation, Academic Press, 2004, roč. 188, č. 1, s. 1-19. ISSN 0890-5401.
  2. 2003

  3. KUČERA, Antonín. The Complexity of Bisimilarity-Checking for One-Counter Processes. Theoretical Computer Science, Amsterdam, Nizozemí: Elsevier, 2003, roč. 304, 1-3, s. 157-183. ISSN 0304-3975.
  4. 2000

  5. KUČERA, Antonín. Efficient Verification Algorithms for One-Counter Processes. U. Montanari, J.D.P. Rolim, E. Welzl (Eds.). In Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000). Berlin, Heidelberg, New York: Springer, 2000. s. 317-328. Lecture Notes in Computer Science, vol. 1853. ISBN 3-540-67715-1.
  6. KUČERA, Antonín. On Simulation-Checking with Sequential Systems. Jifeng He, Masahiko Sato (Eds.). In Proceedings of 6th Asian Computing Science Conference (ASIAN 2000). Berlin, Heidelberg, New York: Springer, 2000. s. 133-148. Lecture Notes in Computer Science, vol. 1961. ISBN 3-540-41428-2.
  7. JANČAR, Petr, Antonín KUČERA a Faron MOLLER. Simulation and Bisimulation over One-Counter Processes. H. Reichel, S. Tison (Eds.). In Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000). Berlin, Heidelberg, New York: Springer, 2000. s. 334-345. Lecture Notes in Computer Science, vol. 1770. ISBN 3-540-67141-2.
Zobrazit podrobně
Zobrazeno: 23. 10. 2020 03:11