Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). 2009. vyd. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, s. 105-117. ISSN 1571-0661.
      URL
      Název česky: O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/09:00028439 Stať ve sborníku. Informatika. angličtina. Portugalsko.
      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; LTL; infinite-state; model-checking; decidability
      Druh sborníku: postkonferenč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: 23. 6. 2009 16:57.
      Podrobněji: https://is.muni.cz/publication/800536/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

    2007

    1. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.
      Název česky: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/07:00019467 Prezentace na konferencích. Informatika. angličtina. Portugalsko.
      Křetínský, Mojmír (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Druh sborníku: předkonferenční sborník
      Druh účasti: aktivní účast
      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 14:50.
      Podrobněji: https://is.muni.cz/publication/723973/cs

    2006

    1. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). 2006. vyd. Amsterdam, The Netherlands: Elsevier Science, 2006, s. 17-36. ISSN 1571-0661.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti slabe bisimulace
      Název anglicky: Refining Undecidability Border of Weak Bisimilarity
      RIV/00216224:14330/06:00015292 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; weak bisimilarity
      Druh sborníku: postkonferenč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: 23. 6. 2009 16:53.
      Podrobněji: https://is.muni.cz/publication/616549/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
    2. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series. San Francisco, USA, 2005, roč. 2005, NS-05-4, s. 3-14. ISSN 0909-3206.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012580 Č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; (un)decidability; weak bisimulation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2006 16:38.
      Podrobněji: https://is.muni.cz/publication/574582/cs
    3. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012581 Audiovizuální tvorba. 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; (un)decidability; weak bisimulation
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
      Podrobněji: https://is.muni.cz/publication/574583/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. Highly Undecidable Questions for Process Algebras
      JANCAR, Petr a Jiří SRBA. Highly Undecidable Questions for Process Algebras. In Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). USA: Kluwer, 2004, s. ?, 14 s.
      URL
      Název česky: Vysoce nerozhodnutelne problemy pro algebry procesu
      Název anglicky: Highly Undecidable Questions for Process Algebras
      RIV/00216224:14330/04:00010073 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Jancar, Petr (203 Česká republika) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: high undecidability; process rewrite systems; completeness
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 18. 1. 2005 17:32.
      Podrobněji: https://is.muni.cz/publication/555145/cs
    3. 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
    4. 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
    5. 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

    2003

    1. 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 Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003). Marseille, France: Universite de Provence, Marseille, 2003, s. 73-86.
      RIV/00216224:14330/03:00008151 Stať ve sborníku. Informatika. angličtina. Francie.
      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
      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/488339/cs
    2. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper). Brno: FI MU, 2003, 23 s. FIMU-RS-2003-05.
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 24. 5. 2006 15:51.
      Podrobněji: https://is.muni.cz/publication/488340/cs
Zobrazeno: 26. 4. 2024 23:17