Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Discounted Properties of Probabilistic Pushdown Automata
      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, 2008, s. 230-242. ISBN 978-3-540-89438-4.
      Název česky: Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
      RIV/00216224:14330/08:00026776 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Holeček, Jan (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Markov chains; discounting; pushdown automata
      Druh sborníku: postkonferenční sborník
      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. 5. 2009 15:11.
      Podrobněji: https://is.muni.cz/publication/794015/cs

    2006

    1. Model Checking Probabilistic Pushdown Automata
      ESPARZA, Javier, Antonín KUČERA a Richard MAYR. Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science. 2006, roč. 2, 1-2, s. 1-31. ISSN 1860-5974.
      LMCS home page
      Název česky: Ověřování formulí temporálních logik pro pravděpodobnostní zásobníkové automaty
      RIV/00216224:14330/06:00016670 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Esparza, Javier (724 Španělsko) -- Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: pushdown automata; Markov chains; probabilistic model checking
      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 17:26.
      Podrobněji: https://is.muni.cz/publication/630845/cs

    2004

    1. A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata
      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, 2004, s. 395-408. ISBN 1-4020-8140-5.
      Název česky: Obecná metoda pro automatické rozhodování sémantických ekvivalencí mezi procesy zásobníkových automatů a konečně-stavovými procesy
      RIV/00216224:14330/04:00010233 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: Formal verification; Pushdown automata; Semantic equivalences
      Druh sborníku: postkonferenční sborník
      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 17:28.
      Podrobněji: https://is.muni.cz/publication/557150/cs

    2002

    1. Undecidability of Weak Bisimilarity for Pushdown Processes
      SRBA, Jiří. Undecidability of Weak Bisimilarity for Pushdown Processes. In Proceedings of 13th International Conference on Concurrency Theory (CONCUR'02). Holland: Springer-Verlag, 2002, s. 579-593.
      Název anglicky: Undecidability of Weak Bisimilarity for Pushdown Processes
      RIV/00216224:14330/02:00006588 Stať ve sborníku. Teorie informace. angličtina. Nizozemské království.
      Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: weak bisimilarity; pushdown automata; infinite systems
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 21. 5. 2003 09:47.
      Podrobněji: https://is.muni.cz/publication/406218/cs
Zobrazeno: 29. 5. 2024 04:51