Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

  1. JANČAR, Petr a Jiří SRBA. Undecidability of Bisimilarity by Defender's Forcing. Journal of the ACM, New York: ACM, 2008, roč. 55/2008, č. 1, s. 1-26. ISSN 0004-5411.
    Název česky: Nerozhodnutelnost bisimulace pomoci tlaku obránce
    Název anglicky: Undecidability of Bisimilarity by Defender's Forcing
    RIV/00216224:14330/08:00026472 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
    Jančar, Petr (203 Česko) -- Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: undecidability; bisimilarity; rewrite systems
    Mezinárodní význam: ano
    Recenzováno: ano

    Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 29. 9. 2008 22:32.
  2. 2006

  3. JANČAR, Petr a Jiří SRBA. Undecidability Results for Bisimilarity on Prefix Rewrite Systems. LNCS, Foundations of Software Science and Computation Structures (FOSSACS'06), Netherlands: Spinger-Verlag, 2006, roč. 2006, č. 3921, s. 277-291.
    Název česky: Nerozhodnutelnost Bisimulace na Prefixovych Prepisovacich Systemech
    Název anglicky: Undecidability Results for Bisimilarity on Prefix Rewrite Systems
    RIV/00216224:14330/06:00015979 Článek v odborném periodiku. Informatika. angličtina. Nizozemsko.
    Jančar, Petr (203 Česko) -- Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: bisimilarity; undecidability; prefix rewriting
    Druh sborníku: postkonferenční sborník
    Mezinárodní význam: ano
    Recenzováno: ano

    Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 6. 7. 2007 09:01.
  4. SRBA, Jiří. Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. LNCS, Annual Conference on Computer Science Logic (CSL'06), Netherlands: Springer-Verlag, 2006, roč. 2006, č. 4207, s. 89-103.
    Název česky: Viditelne Zasobnikove Automaty: Od Jazykove Ekvivalence k Simulaci a Bisimulaci
    Název anglicky: Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation
    RIV/00216224:14330/06:00015980 Článek v odborném periodiku. Informatika. angličtina. Nizozemsko.
    Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: visibly pushdown automata; bisimilarity; decidability
    Druh sborníku: postkonferenční sborník
    Mezinárodní význam: ano
    Recenzováno: ano

    Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 6. 7. 2007 09:02.
  5. 2004

  6. SRBA, Jiří. Completeness Results for Undecidable Bisimilarity Problems. In Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03). Marseille, France: Universire de Provence, Marseille, 2004. s. 9-22, 14 s.
    URL
    Název česky: Uplnostni vysledky pro nerozhodnutelne bisimulacni problemy
    Název anglicky: Completeness Results for Undecidable Bisimilarity Problems
    RIV/00216224:14330/04:00010086 Stať ve sborníku. Informatika. angličtina. Francie.
    Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: high undecidability; bisimilarity

    Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 18. 1. 2005 17:32.
  7. JANČAR, Petr, Antonín KUČERA, Faron MOLLER a Zdeněk SAWA. DP lower bounds for equivalence-checking and model-checking of one-counter automata. Information and Computation, Academic Press, 2004, roč. 188, č. 1, s. 1-19. ISSN 0890-5401.
    Název česky: DP dolní složitostní odhady pro problémy související s formální verifikací automatů s jedním čítačem
    RIV/00216224:14330/04:00009891 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
    Jančar, Petr (203 Česko) -- Kučera, Antonín (203 Česko, garant) -- Moller, Faron (826 Velká Británie) -- Sawa, Zdeněk (203 Česko)
    Klíčová slova anglicky: one-counter automata; equivalence-checking; bisimilarity
    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 18:22.
  8. MOLLER, Faron, Scot SMOLKA a Jiří SRBA. On the Computational Complexity of Bisimulation, Redux. Information and Computation, Netherlands: Elsevier Science, 2004, ?, ?, s. ? ISSN 0890-5401.
    URL
    Název česky: Vypocetni slozitost bisimulace
    Název anglicky: On the Computational Complexity of Bisimulation, Redux
    RIV/00216224:14330/04:00010071 Článek v odborném periodiku. Informatika. angličtina. Nizozemsko.
    Moller, Faron (752 Švédsko) -- Smolka, Scot (840 Spojené státy) -- Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: bisimilarity; complexity

    Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 18. 1. 2005 17:27.
  9. SRBA, Jiří. Roadmap of Infinite Results. Current Trends in Theoretical Computer Science, The Challenge of the New Century, New York, USA: World Scientific Publishing, 2004, roč. 2, č. 1, s. 337-350.
    Název česky: Rozcesti nekonecnych vysledku
    Název anglicky: Roadmap of Infinite Results
    RIV/00216224:14330/04:00010683 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
    Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: infinite-state systems; bisimilarity; complexity; decidability

    Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 18. 1. 2005 17:32.
  10. 2003

  11. JANČAR, Petr, Antonín KUČERA a Faron MOLLER. Deciding Bisimilarity between BPA and BPP Processes. R. Amadio, D. Lugiez (Eds.). In Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003). Berlin: Springer, 2003. s. 159-174. ISBN 3-540-40753-7.
    RIV/00216224:14330/03:00008161 Stať ve sborníku. Informatika. angličtina. Německo.
    Jančar, Petr (203 Česko) -- Kučera, Antonín (203 Česko, garant) -- Moller, Faron (124 Kanada)
    Klíčová slova anglicky: verification; 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: 4200509075
  12. SRBA, Jiří. Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds. Acta Informatica, The Netherlands: Springer-Verlag, 2003, roč. 39, č. 1, s. 469-499.
    URL
    Název anglicky: Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
    RIV/00216224:14330/03:00008470 Článek v odborném periodiku. Informatika. angličtina. Nizozemsko.
    Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: infinite-state systems; bisimilarity; complexity

    Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 26. 5. 2004 13:37.
  13. KUČERA, Antonín. The Complexity of Bisimilarity-Checking for One-Counter Processes. Theoretical Computer Science, Amsterdam, Nizozemí: Elsevier, 2003, roč. 304, 1-3, s. 157-183. ISSN 0304-3975.
    Název anglicky: The Complexity of Bisimilarity-Checking for One-Counter Processes
    RIV/00216224:14330/03:00008108 Článek v odborném periodiku. Informatika. angličtina. Nizozemsko.
    Kučera, Antonín (203 Česko, garant)
    Klíčová slova anglicky: concurrency; one-counter automata; bisimilarity
    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 18:15.
  14. JURDZINSKI, Martin, Nielsen MOGENS a Jiří SRBA. Undecidability of Domino Games and Hhp-Bisimilarity. Information and Computation, Netherlands: Springer-Verlag, 2003, roč. 184, č. 2, s. 343-368. ISSN 0890-5401.
    URL
    Název anglicky: Undecidability of Domino Games and Hhp-Bisimilarity
    RIV/00216224:14330/03:00008471 Článek v odborném periodiku. Informatika. angličtina. Nizozemsko.
    Jurdzinski, Martin (616 Polsko) -- Mogens, Nielsen (208 Dánsko) -- Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: partial order; bisimilarity; domino games

    Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 26. 5. 2004 13:38.
  15. 2002

  16. JANČAR, Petr, Antonín KUČERA, Faron MOLLER a Zdeněk SAWA. Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds. In Proceedings of 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2002). Berlin, Heidelberg, New York: Springer, 2002. s. 172-186. ISBN 3-540-43366-X.
    Název anglicky: Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds
    RIV/00216224:14330/02:00005571 Stať ve sborníku. Počítačový hardware a software. angličtina. Nizozemsko.
    Jančar, Petr (203 Česko) -- Kučera, Antonín (203 Česko, garant) -- Moller, Faron (826 Velká Británie) -- Sawa, Zdeněk (203 Česko)
    Klíčová slova anglicky: concurrency; infinite-state systems; bisimilarity
    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.
  17. SRBA, Jiří. Roadmap of Infinite Results. Bulletin of the European Association for Theoretical Computer Science, Bratislava: EATCS, 2002, roč. 2002, č. 78, s. 163-175. ISSN 78.
    Název anglicky: Roadmap of Infinite Results
    RIV/00216224:14330/02:00006589 Článek v odborném periodiku. Teorie informace. angličtina. Slovensko.
    Srba, Jiří (203 Česko, garant)
    Klíčová slova anglicky: infinite systems; bisimilarity; regularity; survey

    Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 11. 11. 2002 10:50.
  18. KUČERA, Antonín a Richard MAYR. Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time. Theoretical Computer Science, Amsterdam, Nizozemí, 2002, roč. 270, 1-2, s. 677-700. ISSN 0304-3975.
    Název anglicky: Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time
    RIV/00216224:14330/02:00004665 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemsko.
    Kučera, Antonín (203 Česko, garant) -- Mayr, Richard (276 Německo)
    Klíčová slova anglicky: concurrency; infinite-state systems; bisimilarity
    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 18:15.
  19. 2001

  20. JANČAR, Petr, Antonín KUČERA a Richard MAYR. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Theoretical Computer Science, Amsterdam, Nizozemí, 2001, roč. 258, 1-2, s. 409-433. ISSN 0304-3975.
    Název anglicky: Deciding Bisimulation-Like Equivalences with Finite-State Processes
    RIV/00216224:14330/01:00003122 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemsko.
    Klíčová slova anglicky: concurrency; infinite-state systems; bisimilarity

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 8. 11. 2001 16:30.
  21. 2000

  22. KUČERA, Antonín. Effective Decomposability of Sequential Behaviours. Theoretical Computer Science, Amsterdam, Nizozemí, 2000, roč. 242, 1-2, s. 71-89. ISSN 0304-3975.
    Název anglicky: Effective Decomposability of Sequential Behaviours.
    RIV/00216224:14330/00:00000061 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemsko.
    Klíčová slova anglicky: concurrency; process algebra; bisimilarity; decomposability

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 26. 5. 2000 11:11.
  23. 1999

  24. ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta informatica, Berlin: Springer-Verlag, 1999, roč. 36, č. 3, s. 233-256. ISSN 0001-5903.
    Název anglicky: Comparing Expressibility of Normed BPA and Normed BPP Processes.
    RIV/00216224:14330/99:00000703 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
    Černá, Ivana (203 Česko, garant) -- Křetínský, Mojmír (203 Česko) -- Kučera, Antonín (203 Česko)
    Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems

    Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:18.
  25. KUČERA, Antonín. Regularity of normed PA processes. Information Processing Letters, Elsevier, 1999, roč. 72, 1-2, s. 9-17. ISSN 0020-0190.
    Název anglicky: Regularity of normed PA processes
    RIV/00216224:14330/99:00001178 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemsko.
    Klíčová slova anglicky: concurrency; process algebra; bisimilarity; regularity

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:44.
  26. 1998

  27. JANČAR, Petr, Antonín KUČERA a Richard MAYR. Bisimilarity of Processes with Finite-State Systems. K. Larsen, S. Skyum, G. Winskel (Eds.). In Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98). Berlin: Springer, 1998. s. 200-211. Lecture Notes in Computer Science, vol. 1443. ISBN 3-540-64781-3.
    Název anglicky: Bisimilarity of Processes with Finite-State Systems
    RIV/00216224:14330/98:00000695 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
    Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:51.
  28. JANČAR, Petr, Antonín KUČERA a Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM, Germany: Technical University Munich, 1998, roč. 1998, TUM-I9805, s. 1-24.
    Název anglicky: Deciding Bisimulation-Like Equivalences with Finite-State Processes
    RIV/00216224:14330/98:00001759 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
    Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 14:03.
  29. KUČERA, Antonín a Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. Technical Report TUM, Germany: Technical University Munich, 1998, roč. 1998, TUM-I9830, s. 1-28.
    Název anglicky: Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
    RIV/00216224:14330/98:00001760 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
    Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 14:09.
  30. 1997

  31. ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. Electronic Notes in Theoretical Computer Science, Elsevier, 1997, roč. 1997, č. 5, s. 1-24.
    ENTCS home page
    Název anglicky: Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
    RIV/00216224:14330/97:00000102 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemsko.
    Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:53.
  32. JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-state Systems. FI MU Report Series, Brno: FI MU, 1997, roč. 1997, RS-97-02, s. 1-19.
    Název anglicky: Bisimilarity of Processes with Finite-state Systems
    RIV/00216224:14330/97:00001757 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česko.
    Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:51.
  33. JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-State Systems. F. Moller (Editor). In Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97). Uppsala (Sweden): University of Uppsala, 1997. s. 72-85. UPMAIL TR No. 148. ISBN 1100-0686.
    Název anglicky: Bisimilarity of Processes with Finite-State Systems
    RIV/00216224:14330/97:00000101 Stať ve sborníku. Počítačový hardware a software. angličtina. Švédsko.
    Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:57.
  34. JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-State Systems. Electronic Notes in Theoretical Computer Science, Elsevier, 1997, roč. 1997, č. 9, s. 1-14.
    ENTCS home page
    Název anglicky: Bisimilarity of Processes with Finite-State Systems.
    RIV/00216224:14330/97:00000103 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemsko.
    Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:59.
  35. KUČERA, Antonín. How to Parallelize Sequential Processes. A. Mazurkiewicz, J. Winkowski (Eds.). In Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97). Berlin: Springer, 1997. s. 302-316. Lecture Notes in Computer Science, vol. 1243. ISBN 3-540-63141-0.
    Název anglicky: How to Parallelize Sequential Processes
    RIV/00216224:14330/97:00000100 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
    Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems; decomposability

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:02.
  36. 1996

  37. ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. FI MU Report Series, Brno: FI MU, 1996, roč. 1996, RS-96-02, s. 1-28.
    Název anglicky: Comparing Expressibility of Normed BPA and Normed BPP Processes
    RIV/00216224:14330/96:00001754 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česko.
    Klíčová slova anglicky: process algebras; bisimilarity;

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:50.
  38. KUČERA, Antonín. How to Parallelize Sequential Processes. FI MU Report Series, Brno: FI MU, 1996, roč. 1996, RS-96-05, s. 1-24.
    Název anglicky: How to Parallelize Sequential Processes
    RIV/00216224:14330/96:00001755 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česko.
    Klíčová slova anglicky: process algebras; bisimilarity; decomposition

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:48.
  39. KUČERA, Antonín. Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. K.G. Jeffery, J. Král, M. Bartošek (Eds.). In Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96). Berlin: Springer, 1996. s. 377-384. Lecture Notes in Computer Science, vol. 1175. ISBN 3-540-61994-1.
    Název anglicky: Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.
    RIV/00216224:14330/96:00000073 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
    Klíčová slova anglicky: concurrency; bisimilarity; regularity

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:33.
  40. KUČERA, Antonín. Regularity is Decidable for Normed PA Processes in Polynomial Time. FI MU Report Series, Brno: FI MU, 1996, roč. 1996, RS-96-01, s. 1-17.
    Název anglicky: Regularity is Decidable for Normed PA Processes in Polynomial Time
    RIV/00216224:14330/96:00001753 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česko.
    Klíčová slova anglicky: process algebras; regularity; bisimilarity

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:47.
  41. KUČERA, Antonín. Regularity is Decidable for Normed PA Processes in Polynomial Time. V. Chandru, V. Vinay (Eds.). In Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96). Berlin: Springer, 1996. s. 111-122. Lecture Notes in Computer Science, vol. 1180. ISBN 3-540-62034-6.
    Název anglicky: Regularity is Decidable for Normed PA Processes in Polynomial Time
    RIV/00216224:14330/96:00000074 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
    Klíčová slova anglicky: concurrency; process algebras; bisimilarity; regularity

    Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:32.
Zobrazeno: 7. 7. 2020 01:49