Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Undecidability of Bisimilarity by Defender's Forcing
      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 Česká republika) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: undecidability; bisimilarity; rewrite systems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 29. 9. 2008 22:32.
      Podrobněji: https://is.muni.cz/publication/780198/cs

    2006

    1. Undecidability Results for Bisimilarity on Prefix Rewrite Systems
      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. Nizozemské království.
      Jančar, Petr (203 Česká republika) -- Srba, Jiří (203 Česká republika, 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.
      Podrobněji: https://is.muni.cz/publication/702212/cs
    2. Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation
      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. Nizozemské království.
      Srba, Jiří (203 Česká republika, 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.
      Podrobněji: https://is.muni.cz/publication/702214/cs

    2004

    1. Completeness Results for Undecidable Bisimilarity Problems
      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.
      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 Česká republika, garant)
      Klíčová slova anglicky: high undecidability; bisimilarity
      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/555232/cs
    2. DP lower bounds for equivalence-checking and model-checking of one-counter automata
      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 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Moller, Faron (826 Velká Británie a Severní Irsko) -- Sawa, Zdeněk (203 Česká republika)
      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.
      Podrobněji: https://is.muni.cz/publication/491238/cs
    3. On the Computational Complexity of Bisimulation, Redux
      MOLLER, Faron, Scot SMOLKA a Jiří SRBA. On the Computational Complexity of Bisimulation, Redux. Information and Computation. Netherlands: Elsevier Science, 2004, ?, ?, s. ?, 20 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. Nizozemské království.
      Moller, Faron (752 Švédsko) -- Smolka, Scot (840 Spojené státy) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: bisimilarity; complexity
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 18. 1. 2005 17:27.
      Podrobněji: https://is.muni.cz/publication/555141/cs
    4. Roadmap of Infinite Results
      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 Česká republika, garant)
      Klíčová slova anglicky: infinite-state systems; bisimilarity; complexity; decidability
      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/562692/cs

    2003

    1. Deciding Bisimilarity between BPA and BPP Processes
      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 Česká republika) -- Kučera, Antonín (203 Česká republika, 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
      Podrobněji: https://is.muni.cz/publication/488377/cs
    2. Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
      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. Nizozemské království.
      Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: infinite-state systems; bisimilarity; complexity
      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/492121/cs
    3. The Complexity of Bisimilarity-Checking for One-Counter Processes
      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. Nizozemské království.
      Kučera, Antonín (203 Česká republika, 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.
      Podrobněji: https://is.muni.cz/publication/487652/cs
    4. Undecidability of Domino Games and Hhp-Bisimilarity
      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. Nizozemské království.
      Jurdzinski, Martin (616 Polsko) -- Mogens, Nielsen (208 Dánsko) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: partial order; bisimilarity; domino games
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 26. 5. 2004 13:38.
      Podrobněji: https://is.muni.cz/publication/492122/cs

    2002

    1. Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds
      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. Nizozemské království.
      Jančar, Petr (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Moller, Faron (826 Velká Británie a Severní Irsko) -- Sawa, Zdeněk (203 Česká republika)
      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.
      Podrobněji: https://is.muni.cz/publication/400151/cs
    2. Roadmap of Infinite Results
      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 Česká republika, garant)
      Klíčová slova anglicky: infinite systems; bisimilarity; regularity; survey
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 11. 11. 2002 10:50.
      Podrobněji: https://is.muni.cz/publication/406219/cs
    3. Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time
      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. Nizozemské království.
      Kučera, Antonín (203 Česká republika, 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.
      Podrobněji: https://is.muni.cz/publication/376211/cs

    2001

    1. Deciding Bisimulation-Like Equivalences with Finite-State Processes
      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. Nizozemské království.
      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.
      Podrobněji: https://is.muni.cz/publication/358431/cs

    2000

    1. Effective Decomposability of Sequential Behaviours.
      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. Nizozemské království.
      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.
      Podrobněji: https://is.muni.cz/publication/315851/cs

    1999

    1. Comparing Expressibility of Normed BPA and Normed BPP Processes.
      Č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 Česká republika, garant) -- Křetínský, Mojmír (203 Česká republika) -- Kučera, Antonín (203 Česká republika)
      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.
      Podrobněji: https://is.muni.cz/publication/198692/cs
    2. Regularity of normed PA processes
      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. Nizozemské království.
      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.
      Podrobněji: https://is.muni.cz/publication/212191/cs

    1998

    1. Bisimilarity of Processes with Finite-State Systems
      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.
      Podrobněji: https://is.muni.cz/publication/198471/cs
    2. Deciding Bisimulation-Like Equivalences with Finite-State Processes
      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.
      Podrobněji: https://is.muni.cz/publication/233351/cs
    3. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
      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.
      Podrobněji: https://is.muni.cz/publication/233371/cs

    1997

    1. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
      Č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. Nizozemské království.
      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.
      Podrobněji: https://is.muni.cz/publication/190166/cs
    2. Bisimilarity of Processes with Finite-state Systems
      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. Česká republika.
      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.
      Podrobněji: https://is.muni.cz/publication/233331/cs
    3. Bisimilarity of Processes with Finite-State Systems
      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.
      Podrobněji: https://is.muni.cz/publication/190165/cs
    4. Bisimilarity of Processes with Finite-State Systems.
      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. Nizozemské království.
      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.
      Podrobněji: https://is.muni.cz/publication/190167/cs
    5. How to Parallelize Sequential Processes
      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.
      Podrobněji: https://is.muni.cz/publication/190164/cs

    1996

    1. Comparing Expressibility of Normed BPA and Normed BPP Processes
      Č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. Česká republika.
      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.
      Podrobněji: https://is.muni.cz/publication/233292/cs
    2. How to Parallelize Sequential Processes
      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. Česká republika.
      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.
      Podrobněji: https://is.muni.cz/publication/233312/cs
    3. Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.
      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.
      Podrobněji: https://is.muni.cz/publication/190125/cs
    4. Regularity is Decidable for Normed PA Processes in Polynomial Time
      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. Česká republika.
      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.
      Podrobněji: https://is.muni.cz/publication/233251/cs
    5. Regularity is Decidable for Normed PA Processes in Polynomial Time
      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.
      Podrobněji: https://is.muni.cz/publication/190126/cs
Zobrazeno: 25. 4. 2024 00:00