česky | in English
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.
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.
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
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
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