Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK a Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer. s. 230-242. ISBN 978-3-540-89438-4. 2008.

    2006

    1. ESPARZA, Javier, Antonín KUČERA a Richard MAYR. Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science. roč. 2, 1-2, s. 1-31. ISSN 1860-5974. 2006.

    2004

    1. KUČERA, Antonín a Richard MAYR. A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata. In Exploring New Frontiers of Theoretical Informatics : IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004). Boston, Dordrecht, London: Kluwer. s. 395-408. ISBN 1-4020-8140-5. 2004.

    2002

    1. SRBA, Jiří. Undecidability of Weak Bisimilarity for Pushdown Processes. In Proceedings of 13th International Conference on Concurrency Theory (CONCUR'02). Holland: Springer-Verlag. s. 579-593. 2002.
Zobrazit podrobně
Zobrazeno: 29. 3. 2024 00:54