Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2006

    1. A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
      KUČERA, Antonín a Philippe SCHNOEBELEN. A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. Theoretical Computer Science. Amsterdam, Nizozemí: Elsevier, 2006, roč. 358, 2-3, s. 315-333. ISSN 0304-3975.
      Název česky: Sémantické porovnávání systémů s jejich konečnými specifikacemi
      RIV/00216224:14330/06:00017031 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Kučera, Antonín (203 Česká republika, garant) -- Schnoebelen, Philippe (250 Francie)
      Klíčová slova anglicky: concurrency; semantic equivalences; infinite-state systems
      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. 11. 2006 23:48.
      Podrobněji: https://is.muni.cz/publication/639666/cs

    2004

    1. Undecidability of the trace coding problem and some decidable cases
      KUNC, Michal. Undecidability of the trace coding problem and some decidable cases. Theoretical Computer Science. Amsterdam: Elsevier, 2004, roč. 310, 1-3, s. 393-456. ISSN 0304-3975.
      URL
      Název česky: Nerozhodnutelnost problému stopových kódování a některé rozhodnutelné případy
      RIV/00216224:14310/04:00009880 Článek v odborném periodiku. Obecná matematika. angličtina. Nizozemské království.
      Kunc, Michal (203 Česká republika, garant)
      Klíčová slova anglicky: Partial commutativity; Trace monoid; Coding; Concurrency
      Změnil: doc. Mgr. Michal Kunc, Ph.D., učo 2906. Změněno: 23. 1. 2006 15:33.
      Podrobněji: https://is.muni.cz/publication/490364/cs

    2003

    1. Modelling Multi-Agents Systems as Concurrent Constraint Processes
      BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Modelling Multi-Agents Systems as Concurrent Constraint Processes. Computing and Informatics. 2003, roč. 21, č. 6, s. 565-590, 25 s. ISSN 1335-9150.
      RIV/00216224:14330/03:00008381 Článek v odborném periodiku. Informatika. angličtina. Slovensko.
      Brim, Luboš (203 Česká republika) -- Jacquet, Jean-Marie (56 Belgie) -- Gilbert, David (826 Velká Británie a Severní Irsko) -- Křetínský, Mojmír (203 Česká republika, garant)
      Klíčová slova anglicky: agents; concurrent constraint programming; semantics; synchronny; concurrency
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      Podrobněji: https://is.muni.cz/publication/490866/cs
    2. 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

    2002

    1. CONCUR 2002 - Concurrency Theory. 13th International Conference.
      BRIM, Luboš, Petr JANČAR, Mojmír KŘETÍNSKÝ a Antonín KUČERA. CONCUR 2002 - Concurrency Theory. 13th International Conference. 2002.
      Název anglicky: CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
      RIV/00216224:14330/02:00007756 Uspořádání konference. Počítačový hardware a software. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika) -- Jančar, Petr (203 Česká republika) -- Křetínský, Mojmír (203 Česká republika, garant) -- Kučera, Antonín (203 Česká republika)
      Klíčová slova anglicky: concurrency
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 14. 5. 2003 16:02.
      Podrobněji: https://is.muni.cz/publication/486497/cs
    2. CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
      BRIM, Luboš, Petr JANČAR, Mojmír KŘETÍNSKÝ a Antonín KUČERA. CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings. Berlin, Heidelberg, New York: Springer, 2002, 609 s. Lecture Notes in Computer Science, vol. 2421. ISBN 3-540-44043-7.
      Název anglicky: CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
      RIV/00216224:14330/02:00006388 Odborná kniha. Počítačový hardware a software. angličtina. Německo.
      Brim, Luboš (203 Česká republika) -- Jančar, Petr (203 Česká republika) -- Křetínský, Mojmír (203 Česká republika, garant) -- Kučera, Antonín (203 Česká republika)
      Klíčová slova anglicky: concurrency
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
      Podrobněji: https://is.muni.cz/publication/405227/cs
    3. 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
    4. 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
    5. Simulation Preorder over Simple Process Algebras
      KUČERA, Antonín a Richard MAYR. Simulation Preorder over Simple Process Algebras. Information and Computation. Academic Press, 2002, roč. 173, č. 2, s. 184-198. ISSN 0890-5401.
      RIV/00216224:14330/02:00005613 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Spojené státy.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: concurrency; process algebras; simulation equivalence
      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:17.
      Podrobněji: https://is.muni.cz/publication/401191/cs
    6. 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
    7. 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
    8. 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

    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
    2. Model-Checking LTL with Regular Valuations for Pushdown Systems
      ESPARZA, Javier, Antonín KUČERA a Stefan SCHWOON. Model-Checking LTL with Regular Valuations for Pushdown Systems. N. Kobayashi, B.C. Pierce (Eds.). In Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001). Berlin, Heidelberg, New York: Springer, 2001, s. 316-340. Lecture Notes in Computer Science, vol. 2215. ISBN 3-540-42736-8.
      Název anglicky: Model-Checking LTL with Regular Valuations for Pushdown Systems
      RIV/00216224:14330/01:00004574 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; linear temporal logic; pushdown systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 29. 11. 2001 12:25.
      Přír. čísla: 4200507102
      Podrobněji: https://is.muni.cz/publication/372791/cs
    3. Multi-Agents Systems as Concurrent Constraint Processes
      BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. Multi-Agents Systems as Concurrent Constraint Processes. In SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics. Heldelberg: Springer Verlag, 2001, s. 201-210. Lecture Notes in Computer Science, vol.2234. ISBN 0302-9743.
      RIV/00216224:14330/01:00004558 Stať ve sborníku. Počítačový hardware a software. angličtina. Slovensko.
      Klíčová slova anglicky: agents; concurrent constraint programming; semantics; synchronny; concurrency
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 11. 2001 16:03.
      Podrobněji: https://is.muni.cz/publication/372636/cs
    4. Rewrite Systems with Constraints
      STREJČEK, Jan. Rewrite Systems with Constraints. In EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency. Aalborg (Denmark): Elsevier Science, 2001, s. 1-20.
      URL
      Název česky: Přepisovací systémy s omezeními
      Název anglicky: Rewrite Systems with Constraints
      RIV/00216224:14330/01:00004676 Stať ve sborníku. Počítačový hardware a software. angličtina. Nizozemské království.
      Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: (rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 10. 1. 2005 15:31.
      Podrobněji: https://is.muni.cz/publication/376592/cs

    2000

    1. Constrained Rewrite Transition Systems
      STREJČEK, Jan. Constrained Rewrite Transition Systems. Brno: FI MU, 2000. Report Series, FIMU-RS-2000-12.
      URL URL
      Název česky: Přepisovací systémy s omezeními
      Název anglicky: Constrained Rewrite Transition Systems
      RIV/00216224:14330/00:00002662 Audiovizuální tvorba. Počítačový hardware a software. angličtina. Česká republika.
      Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: (rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:08.
      Podrobněji: https://is.muni.cz/publication/345344/cs
    2. 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
    3. Efficient Verification Algorithms for One-Counter Processes
      KUČERA, Antonín. Efficient Verification Algorithms for One-Counter Processes. U. Montanari, J.D.P. Rolim, E. Welzl (Eds.). In Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000). Berlin, Heidelberg, New York: Springer, 2000, s. 317-328. Lecture Notes in Computer Science, vol. 1853. ISBN 3-540-67715-1.
      Název anglicky: Efficient Verification Algorithms for One-Counter Processes
      RIV/00216224:14330/00:00002264 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; bisimulation; one-counter automata
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 17. 7. 2000 13:55.
      Přír. čísla: 4200505973
      Podrobněji: https://is.muni.cz/publication/324891/cs
    4. On Simulation-Checking with Sequential Systems
      KUČERA, Antonín. On Simulation-Checking with Sequential Systems. Jifeng He, Masahiko Sato (Eds.). In Proceedings of 6th Asian Computing Science Conference (ASIAN 2000). Berlin, Heidelberg, New York: Springer, 2000, s. 133-148. Lecture Notes in Computer Science, vol. 1961. ISBN 3-540-41428-2.
      Název anglicky: On Simulation-Checking with Sequential Systems
      RIV/00216224:14330/00:00002734 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; simulation; temporal logics; one-counter automata
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 12. 3. 2001 15:43.
      Přír. čísla: 4200506422
      Podrobněji: https://is.muni.cz/publication/345966/cs
    5. Simulation and Bisimulation over One-Counter Processes
      JANČAR, Petr, Antonín KUČERA a Faron MOLLER. Simulation and Bisimulation over One-Counter Processes. H. Reichel, S. Tison (Eds.). In Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000). Berlin, Heidelberg, New York: Springer, 2000, s. 334-345. Lecture Notes in Computer Science, vol. 1770. ISBN 3-540-67141-2.
      Název anglicky: Simulation and Bisimulation over One-Counter Processes
      RIV/00216224:14330/00:00002192 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; bisimulation; simulation; one-counter automata
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 19. 2. 2000 10:30.
      Přír. čísla: 4200505910
      Podrobněji: https://is.muni.cz/publication/242571/cs

    1999

    1. A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
      BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ. A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming. FI MU Report Series. Brno: FI MU, 1999, roč. 1999, č. 08, s. 1-62.
      URL
      Název anglicky: A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
      RIV/00216224:14330/99:00001617 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: concurrent constraint programming; semantics; synchronny; concurrency
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 08:32.
      Podrobněji: https://is.muni.cz/publication/228695/cs
    2. A Logical Viewpoint on Process-Algebraic Quotients
      KUČERA, Antonín a Javier ESPARZA. A Logical Viewpoint on Process-Algebraic Quotients. J. Flum, M. Rodríguez-Artalejo (Eds.). In Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99). Berlin: Springer, 1999, s. 499-514. Lecture Notes in Computer Science, vol. 1683. ISBN 3-540-66536-6.
      RIV/00216224:14330/99:00001125 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: verification; concurrency; logic; process descriptions
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:35.
      Podrobněji: https://is.muni.cz/publication/208571/cs
    3. 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
    4. On Finite Representations of Infinite-State Behaviours.
      KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. Information Processing Letters. Elsevier, 1999, roč. 70, č. 1, s. 23-30. ISSN 0020-0190.
      Název anglicky: On Finite Representations of Infinite-State Behaviours.
      RIV/00216224:14330/99:00000735 Č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; behavioural equivalences; regularity
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:40.
      Podrobněji: https://is.muni.cz/publication/199132/cs
    5. 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
    6. Simulation Preorder on Simple Process Algebras
      KUČERA, Antonín a Richard MAYR. Simulation Preorder on Simple Process Algebras. J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.). In Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99). Berlin: Springer, 1999, s. 503-512. Lecture Notes in Computer Science, vol. 1644. ISBN 3-540-66224-3.
      Název anglicky: Simulation Preorder on Simple Process Algebras
      RIV/00216224:14330/99:00001101 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; simulation; infinite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:45.
      Přír. čísla: 4200507237
      Podrobněji: https://is.muni.cz/publication/206913/cs
    7. 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. 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. MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings
      JANČAR, Petr a Mojmír KŘETÍNSKÝ. MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings. FI MU Report Series. Brno: FI MU, 1998, roč. 1998, č. 06, s. 1-209.
      Název anglicky: MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings
      RIV/00216224:14330/98:00001618 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: Concurrency; infinite-state systems
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 12:18.
      Podrobněji: https://is.muni.cz/publication/228875/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. 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
    3. 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
    4. 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
    5. On Finite Representations of Infinite-State Behaviours.
      KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. F. Plášil, K.G. Jeffery (Eds.). In Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97). Berlin: Springer, 1997, s. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5.
      Název anglicky: On Finite Representations of Infinite-State Behaviours.
      RIV/00216224:14330/97:00000096 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; infinite-state systems; behavioural equivalences
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:09.
      Podrobněji: https://is.muni.cz/publication/190158/cs

    1996

    1. 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
    2. 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 06:57