Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2004

    1. DP lower bounds for equivalence-checking and model-checking of one-counter automata
      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.
      Název česky: 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. Informatika. angličtina. Spojené státy.
      Jančar, Petr (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Moller, Faron (826 Velká Británie a Severní Irsko) -- Sawa, Zdeněk (203 Česká republika)
      Klíčová slova anglicky: one-counter automata; equivalence-checking; bisimilarity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:22.
      Podrobněji: https://is.muni.cz/publication/491238/cs

    2003

    1. The Complexity of Bisimilarity-Checking for One-Counter Processes
      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.
      Název anglicky: The Complexity of Bisimilarity-Checking for One-Counter Processes
      RIV/00216224:14330/03:00008108 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: concurrency; one-counter automata; bisimilarity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:15.
      Podrobněji: https://is.muni.cz/publication/487652/cs

    2000

    1. Efficient Verification Algorithms for One-Counter Processes
      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.
      Název anglicky: Efficient Verification Algorithms for One-Counter Processes
      RIV/00216224:14330/00:00002264 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; bisimulation; one-counter automata
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 17. 7. 2000 13:55.
      Přír. čísla: 4200505973
      Podrobněji: https://is.muni.cz/publication/324891/cs
    2. On Simulation-Checking with Sequential Systems
      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.
      Název anglicky: On Simulation-Checking with Sequential Systems
      RIV/00216224:14330/00:00002734 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; simulation; temporal logics; one-counter automata
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 12. 3. 2001 15:43.
      Přír. čísla: 4200506422
      Podrobněji: https://is.muni.cz/publication/345966/cs
    3. Simulation and Bisimulation over One-Counter Processes
      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.
      Název anglicky: Simulation and Bisimulation over One-Counter Processes
      RIV/00216224:14330/00:00002192 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; bisimulation; simulation; one-counter automata
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 19. 2. 2000 10:30.
      Přír. čísla: 4200505910
      Podrobněji: https://is.muni.cz/publication/242571/cs
Zobrazeno: 26. 4. 2024 08:40