Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. Qualitative Reachability in Stochastic BPA Games
      BRÁZDIL, Tomáš, Václav BROŽEK, Antonín KUČERA a Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. In Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science. Freiburg, Germany: IBFI Schloss Dagstuhl, 2009, s. 207-218. ISBN 978-3-939897-09-5.
      DOI
      Název česky: Kvalitativní dosažitelnost ve stochastických BPA hrách
      RIV/00216224:14330/09:00034252 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Obdržálek, Jan (203 Česká republika)
      Klíčová slova anglicky: stochastic games; reachability; BPA
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 15. 3. 2010 09:09.
      Podrobněji: https://is.muni.cz/publication/798476/cs
    2. Reachability is decidable for weakly extended process rewrite systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability is decidable for weakly extended process rewrite systems. Information and Computation. Elsevier, 2009, roč. 207, č. 6, s. 671-680. ISSN 0890-5401.
      URL
      Název česky: Dosažitelnost je rozhodnutelná pro slabě rozšířené procesové přepisovací systémy
      RIV/00216224:14330/09:00028490 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; reachability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 7. 5. 2009 10:19.
      Podrobněji: https://is.muni.cz/publication/830834/cs

    2008

    1. Reachability in Recursive Markov Decision Processes
      BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Reachability in Recursive Markov Decision Processes. Information and Computation. Elsevier, 2008, roč. 206, č. 5, s. 520-537. ISSN 0890-5401.
      Název česky: Dosažitelnost v rekurzivních Markovových rozhodovacích procesech
      RIV/00216224:14330/08:00024683 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Markov decision processes; temporal logics; reachability
      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:14.
      Podrobněji: https://is.muni.cz/publication/763101/cs
    2. Regularity in PDA Games Revisited
      BROŽEK, Václav. Regularity in PDA Games Revisited. In MEMICS 2008 proceedings. Brno: L. Matyska, D. Antoš, M. Češka, Z. Kotásek, T. Vojnar, M. Křetínský (Eds.), 2008, s. 21-28. ISBN 978-80-7355-082-0.
      URL
      Název česky: Regularita v PDA hrách ještě jednou
      RIV/00216224:14330/08:00026782 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brožek, Václav (203 Česká republika, garant)
      Klíčová slova anglicky: regular languages; probabilistic pushdown games; reachability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 20. 2. 2009 20:42.
      Podrobněji: https://is.muni.cz/publication/794333/cs

    2007

    1. Model Checking Large Finite-State Systems and Beyond
      BRIM, Luboš a Mojmír KŘETÍNSKÝ. Model Checking Large Finite-State Systems and Beyond. In 33rd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer-Verlag, 2007, s. 9-28. ISBN 978-3-540-69506-6.
      Název česky: Ověřování modelu pro rozsáhlé konečně stavové systémy a za jejich hranicemi
      RIV/00216224:14330/07:00019356 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, garant) -- Křetínský, Mojmír (203 Česká republika)
      Klíčová slova anglicky: finite and infinite-state systems; reachability; linear time logic; model checking; decidability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 12. 6. 2008 09:40.
      Podrobněji: https://is.muni.cz/publication/710390/cs
    2. Regularity in Model Checking PDA Games
      BROŽEK, Václav. Regularity in Model Checking PDA Games. In MEMICS proceedings. Brno: Luděk Matyska, David Antoš, Milan Češka, Mojmír Křetínský, and Petr Hliněný (Eds.), 2007, s. 27-34. ISBN 978-80-7355-077-6.
      URL
      Název česky: Regularita v model-checking problému PDA her
      RIV/00216224:14330/07:00022905 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brožek, Václav (203 Česká republika, garant)
      Klíčová slova anglicky: regular languages; probabilistic pushdown games; reachability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Václav Brožek, Ph.D., učo 99081. Změněno: 19. 12. 2008 10:16.
      Podrobněji: https://is.muni.cz/publication/727797/cs

    2006

    1. Reachability in Recursive Markov Decision Processes
      BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Reachability in Recursive Markov Decision Processes. C. Baier, H. Hermanns (Eds.). In 17th International Conference on Concurrency Theory. Berlin Heidelberg New York: Springer, 2006, s. 358-374. ISBN 3-540-37376-4.
      Název česky: Dosažitelnost pro Markovovy rozhodovací procesy
      RIV/00216224:14330/06:00017081 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Markov decision processes; reachability
      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: 30. 3. 2010 20:30.
      Podrobněji: https://is.muni.cz/publication/692706/cs
    2. Weakly Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes. 2006.
      Název česky: Slabě rozšířené procesové přepisovací systémy
      RIV/00216224:14330/06:00015476 Prezentace na konferencích. Informatika. angličtina. Francie.
      Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 08:26.
      Podrobněji: https://is.muni.cz/publication/704989/cs

    2005

    1. Reachability of Hennessy - Milner properties for weakly extended PRS
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability of Hennessy - Milner properties for weakly extended PRS. In FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference. Berlin, Heidelberg: Springer-Verlag, 2005, s. 213-224. ISBN 3-540-30495-9.
      Název česky: Dosažitelnost Hennessy-Milner vlastností pro slabě rozšířené PRS
      RIV/00216224:14330/05:00012582 Stať ve sborníku. Informatika. angličtina. Německo.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; HM logic; reachability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 8. 4. 2010 21:40.
      Podrobněji: https://is.muni.cz/publication/574584/cs

    2004

    1. Extended Process Rewrite Systems: Expressiveness and Reachability
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In CONCUR 2004 - Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004, s. 355-370. ISBN 3-540-22940-X.
      Název česky: Rozšířené procesové přepisovací systémy: Vyjadřovací síla a dosažitelnost
      RIV/00216224:14330/04:00010262 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 3. 2010 13:41.
      Podrobněji: https://is.muni.cz/publication/557472/cs
    2. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems. 2004. vyd. Amsterdam, The Netherlands: Elsevier Science, 2004, s. 75-88. ISSN 1571-0661.
      URL
      Název česky: O rozšířených procesových přepisovacích systémech: Přepisovací systémy se slabou konečně stavovou jednotkou
      RIV/00216224:14330/04:00010392 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; reachability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:11.
      Podrobněji: https://is.muni.cz/publication/559231/cs
    3. On the Expressive Power of Extended Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, roč. 2004, RS-04-7, s. 1-18. ISSN 0909-0878.
      URL
      Název česky: O vyjadřovací síle rozšířených procesových přepisovacích systémů
      RIV/00216224:14330/04:00010025 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
      Podrobněji: https://is.muni.cz/publication/554469/cs
    4. Reachability for Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Reachability for Extended Process Rewrite Systems. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles, 2004, s. 77-82.
      Název česky: Dosažitelnost pro rozšířené procesové přepisovací systémy
      RIV/00216224:14330/04:00010695 Stať ve sborníku. Informatika. angličtina. Belgie.
      Řehák, Vojtěch (203 Česká republika, garant)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
      Podrobněji: https://is.muni.cz/publication/562895/cs
Zobrazeno: 27. 4. 2024 02:27