Masaryk University

Publication Records

česky | in English

Filter publications

    2004

  1. JANČAR, Petr, Antonín KUČERA, Faron MOLLER and Zdeněk SAWA. DP lower bounds for equivalence-checking and model-checking of one-counter automata. Information and Computation, Academic Press, 2004, vol. 188, No 1, p. 1-19. ISSN 0890-5401.
    Name in Czech: DP dolní složitostní odhady pro problémy související s formální verifikací automatů s jedním čítačem
    RIV/00216224:14330/04:00009891 Článek v odborném periodiku. Informatics. English. United States of America.
    Jančar, Petr (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic, guarantor) -- Moller, Faron (826 United Kingdom of Great Britain and Northern Ireland) -- Sawa, Zdeněk (203 Czech Republic)
    Keywords in English: one-counter automata; equivalence-checking; bisimilarity
    International impact: yes
    Reviewed: yes

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 18:22.
  2. 2003

  3. KUČERA, Antonín. The Complexity of Bisimilarity-Checking for One-Counter Processes. Theoretical Computer Science, Amsterdam, Nizozemí: Elsevier, 2003, vol. 304, 1-3, p. 157-183. ISSN 0304-3975.
    Name (in English): The Complexity of Bisimilarity-Checking for One-Counter Processes
    RIV/00216224:14330/03:00008108 Článek v odborném periodiku. Informatics. English. Netherlands.
    Kučera, Antonín (203 Czech Republic, guarantor)
    Keywords in English: concurrency; one-counter automata; bisimilarity
    International impact: yes
    Reviewed: yes

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 18:15.
  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. p. 317-328. Lecture Notes in Computer Science, vol. 1853. ISBN 3-540-67715-1.
    Name (in English): Efficient Verification Algorithms for One-Counter Processes
    RIV/00216224:14330/00:00002264 Stať ve sborníku. Computer hardware and software. English. Germany.
    Keywords in English: concurrency; bisimulation; one-counter automata

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 17/7/2000 13:55.
    Identification numbers: 4200505973
  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. p. 133-148. Lecture Notes in Computer Science, vol. 1961. ISBN 3-540-41428-2.
    Name (in English): On Simulation-Checking with Sequential Systems
    RIV/00216224:14330/00:00002734 Stať ve sborníku. Computer hardware and software. English. Germany.
    Keywords in English: concurrency; simulation; temporal logics; one-counter automata

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 12/3/2001 15:43.
    Identification numbers: 4200506422
  7. JANČAR, Petr, Antonín KUČERA and 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. p. 334-345. Lecture Notes in Computer Science, vol. 1770. ISBN 3-540-67141-2.
    Name (in English): Simulation and Bisimulation over One-Counter Processes
    RIV/00216224:14330/00:00002192 Stať ve sborníku. Computer hardware and software. English. Germany.
    Keywords in English: concurrency; bisimulation; simulation; one-counter automata

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 19/2/2000 10:30.
    Identification numbers: 4200505910
Displayed: 23. 10. 2020 02:59