Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    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

    2003

    1. Complexity of Weak Bisimilarity and Regularity for BPA and BPP
      SRBA, Jiří. Complexity of Weak Bisimilarity and Regularity for BPA and BPP. Mathematical Structures in Computer Science. Great Britain: Cambridge University Press, 2003, roč. 12, č. 1, s. 567587-567607. ISSN 0960-1295.
      URL
      Název anglicky: Complexity of Weak Bisimilarity and Regularity for BPA and BPP
      RIV/00216224:14330/03:00008472 Článek v odborném periodiku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: weak bisimilarity; complexity; process algebra
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 26. 5. 2004 13:37.
      Podrobněji: https://is.muni.cz/publication/492123/cs
    2. Undecidability of Weak Bisimilarity for PA-Processes
      SRBA, Jiří. Undecidability of Weak Bisimilarity for PA-Processes. In Proceedings of 6th International Conference on Developments in Language Theory (DLT'02),. Netherlands: Springer-Verlag, 2003, s. 197-208.
      URL
      Název anglicky: Undecidability of Weak Bisimilarity for PA-Processes
      RIV/00216224:14330/03:00008469 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: weak bisimilarity; undecidability; PA-processes
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 26. 5. 2004 13:39.
      Podrobněji: https://is.muni.cz/publication/492120/cs

    2002

    1. On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
      KUČERA, Antonín a Richard MAYR. On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. K. Diks, W. Rytter (Eds.). In Proceedings of 27th International Symposium on Mathematical Foundations of Computer Science (MFCS 2002). Berlin: Springer, 2002, s. 433-445. ISBN 3-540-44040-2.
      Název anglicky: On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
      RIV/00216224:14330/02:00006374 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
      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.
      Přír. čísla: 4200507990
      Podrobněji: https://is.muni.cz/publication/405198/cs
    2. The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
      KUČERA, Antonín a Jan STREJČEK. The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL. J. Bradfield (Ed.). In Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'02). Berlin: Springer, 2002, s. 276-291. ISBN 3-540-44240-5.
      RIV/00216224:14330/02:00006381 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
      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: 20. 12. 2011 18:12.
      Přír. čísla: 4200508076
      Podrobněji: https://is.muni.cz/publication/405208/cs
    3. 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
    4. Why is Simulation Harder Than Bisimulation?
      KUČERA, Antonín a Richard MAYR. Why is Simulation Harder Than Bisimulation? L. Brim, P. Jancar, M. Kretinsky, A. Kucera (Eds.). In Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002). Berlin: Springer, 2002, s. 594-609. ISBN 3-540-44043-7.
      Název anglicky: Why is Simulation Harder Than Bisimulation?
      RIV/00216224:14330/02:00006376 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
      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.
      Přír. čísla: 4200507940, 4200507971
      Podrobněji: https://is.muni.cz/publication/405201/cs

    1999

    1. Decidability and complexity of equivalences for simple process algebras
      STŘÍBRNÁ, Jitka. Decidability and complexity of equivalences for simple process algebras. Edinburgh: University of Edinburgh, 1999, 125 s. LFCS Report Series, ECS-LFCS-99-408.
      URL
      RIV: Odborná kniha. Obecná matematika. angličtina. Velká Británie a Severní Irsko.
      Klíčová slova anglicky: decidability; computational complexity; strong bisimilarity; weak bisimilarity; Basic Process Algebras; Basic Parallel Process Algebras; polynomial ideals; Hilbert's Basis Theorem; Gr\
      Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 7. 12. 1999 19:30.
      Podrobněji: https://is.muni.cz/publication/203015/cs
    2. Simulation Preorder on Simple Process Algebras
      KUČERA, Antonín a Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM. Germany: Technical University Munich, 1999, roč. 1999, TUM-I9902, s. 1-23.
      Název anglicky: Simulation Preorder on Simple Process Algebras
      RIV/00216224:14330/99:00001766 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: process algebras; weak bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 15:13.
      Podrobněji: https://is.muni.cz/publication/233671/cs
    3. Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
      KUČERA, Antonín a Richard MAYR. Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. J.C.M. Baeten, S. Mauw (Eds.). In Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99). Berlin: Springer, 1999, s. 368-382. Lecture Notes in Computer Science, vol. 1664. ISBN 3-540-66425-4.
      Název anglicky: Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
      RIV/00216224:14330/99:00001106 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:47.
      Podrobněji: https://is.muni.cz/publication/207311/cs

    1998

    1. Hardness results for weak bisimilarity of simple process algebras
      STŘÍBRNÁ, Jitka. Hardness results for weak bisimilarity of simple process algebras. In Proceedings of MFCS'98 Workshop on Concurrency. Netherlands: Elsevier, 1998, s. 175-183. ENTCS Volume 18.
      URL
      Název anglicky: Hardness results for weak bisimilarity of simple process algebras
      RIV: Stať ve sborníku. Obecná matematika. angličtina. Česká republika.
      Klíčová slova anglicky: decidability; computational complexity; weak bisimilarity; Basic Process Algebras; Basic Parallel Process Algebras; NP-hardness; PSPACE-hardness;
      Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 13. 1. 2000 10:39.
      Podrobněji: https://is.muni.cz/publication/203023/cs
Zobrazeno: 13. 7. 2024 07:00