Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. Acta informatica. Berlin: Springer-Verlag, roč. 46, č. 1, s. 1-28. ISSN 0001-5903. 2009.
      URL
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
      RIV/00216224:14330/09:00029078 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Bozzelli, Laura (380 Itálie) -- 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: infinite-state systems; linear time logic; decidability; model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:43.
      Podrobněji: https://is.muni.cz/publication/769242/cs

    2008

    1. Deciding probabilistic bisimilarity over infinite-state probabilistic systems
      BRÁZDIL, Tomáš, Antonín KUČERA a Oldřich STRAŽOVSKÝ. Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta informatica. Berlin: Springer-Verlag, roč. 45, č. 2, s. 131-154. ISSN 0001-5903. 2008.
      Název česky: Rozhodnutelnost pravděpodobnostní bisimulační ekvivalence pro systémy s nekonečně mnoha stavy
      RIV/00216224:14330/08:00025864 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
      Klíčová slova anglicky: probabilistic bisimilarity; 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: 22. 5. 2009 15:10.
      Podrobněji: https://is.muni.cz/publication/763242/cs
    2. Formal verification of systems with an unlimited number of components
      VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC a Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. IET Software journal. Inst. of Engeneering and Technology, Volume 2, Isuue 6, s. p. 532-546, 15 s. ISSN 1751-8806. 2008.
      URL
      Název česky: Automatická verifikace systémů s neomezeným počtem komponent
      RIV/00216224:14330/08:00024358 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí) -- Moravec, Pavel (203 Česká republika) -- Černá, Ivana (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Component-based systems; dynamic number of components; infinite-state systems; formal verification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:52.
      Podrobněji: https://is.muni.cz/publication/800041/cs

    2007

    1. On Symbolic Verification of Weakly Extended PAD
      BOUAJJANI, Ahmed, Jan STREJČEK a Tayssir TOUILI. On Symbolic Verification of Weakly Extended PAD. In Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006). Neuveden: Elsevier. s. 47-64. ISSN 1571-0661. 2007.
      URL
      Název česky: Symbolicka verifikace slabe rozsirenych PAD
      RIV/00216224:14330/07:00021744 Stať ve sborníku. Informatika. angličtina. Německo.
      Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
      Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
      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:48.
      Podrobněji: https://is.muni.cz/publication/702264/cs

    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, roč. 358, 2-3, s. 315-333. ISSN 0304-3975. 2006.
      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
    2. Equivalence-Checking on Infinite-State Systems: Techniques and Results
      KUČERA, Antonín a Petr JANČAR. Equivalence-Checking on Infinite-State Systems: Techniques and Results. Theory and practice of logic programming. Cambridge: Cambridge University Press, roč. 6, č. 3, s. 227-264. ISSN 1471-0684. 2006.
      Název česky: Automatické ověřování sémantických ekvivalencí na systémech s nekonečně mnoha stavy: techniky a výsledky
      RIV/00216224:14330/06:00016828 Článek v odborném periodiku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Kučera, Antonín (203 Česká republika, garant) -- Jančar, Petr (203 Česká republika)
      Klíčová slova anglicky: formal verification; infinite-state systems; equivalence-checking
      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:49.
      Podrobněji: https://is.muni.cz/publication/634964/cs
    3. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. In FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Berlin: Springer-Verlag. s. 248-259. ISBN 978-3-540-49994-7. 2006.
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
      RIV/00216224:14330/06:00015417 Stať ve sborníku. Informatika. angličtina. Indie.
      Bozzelli, Laura (380 Itálie) -- 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: infinite-state systems; linear time logic; decidability; model checking
      Druh sborníku: předkonferenč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.
      Podrobněji: https://is.muni.cz/publication/698768/cs
    4. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno: FI MU. FIMU-RS-2006-05. 2006.
      URL
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a slabě royšířené procesové přepisovací systémy
      RIV/00216224:14330/06:00015439 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Bozzelli, Laura (380 Itálie) -- 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: infinite-state systems; linear time logic; decidability; model checking
      Mezinárodní význam: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 31. 3. 2010 15:19.
      Podrobněji: https://is.muni.cz/publication/701734/cs
    5. On Symbolic Verification of Weakly Extended PAD
      BOUAJJANI, Ahmed, Jan STREJČEK a Tayssir TOUILI. On Symbolic Verification of Weakly Extended PAD. In Preliminary Proceedings - 13th International Workshow on Expressiveness in Concurrency - EXPRESS'06. London: Imperial College London. s. 29-41. 2006.
      Název česky: Symbolicka verifikace slabe rozsirenych PAD
      RIV/00216224:14330/06:00018747 Stať ve sborníku. Informatika. angličtina. Německo.
      Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
      Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
      Druh sborníku: předkonferenč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: 18. 6. 2007 14:11.
      Podrobněji: https://is.muni.cz/publication/719602/cs

    2004

    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. P. Gardner, N. Yoshida (Eds.). In Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004). Berlin: Springer. s. 371-386. ISBN 3-540-22940-X. 2004.
      Název česky: Obecný přístup k sémantickému porovnávání nekonečně-stavových systémů s jejich konečně-stavovými specifikacemi
      RIV/00216224:14330/04:00010252 Stať ve sborníku. Informatika. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Schnoebelen, Philippe (250 Francie)
      Klíčová slova anglicky: verification; semantic equivalences; 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.
      Podrobněji: https://is.muni.cz/publication/557411/cs
    2. 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, roč. 2, č. 1, s. 337-350, 2004.
      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. s. 159-174. ISBN 3-540-40753-7. 2003.
      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, roč. 39, č. 1, s. 469-499, 2003.
      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

    2002

    1. Equivalence-Checking with Infinite-State Systems: Techniques and Results.
      KUČERA, Antonín a Petr JANČAR. Equivalence-Checking with Infinite-State Systems: Techniques and Results. W.I. Grosky, F. Plášil (Eds.). In Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002). Berlin: Springer. s. 41-73. ISBN 3-540-00145-X. 2002.
      Název anglicky: Equivalence-Checking with Infinite-State Systems: Techniques and Results.
      RIV/00216224:14330/02:00006714 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Jančar, Petr (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; equivalence-checking
      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/406616/cs
    2. 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. s. 172-186. ISBN 3-540-43366-X. 2002.
      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
    3. Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems
      KUČERA, Antonín a Richard MAYR. Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems. Amsterdam: Elsevier. 106 s. ENTCS, volume 68(6). ISBN 0444513299. 2002.
      Název anglicky: Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems
      RIV/00216224:14330/02:00006934 Odborná kniha. 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: infinite-state systems
      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/407345/cs
    4. INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
      KUČERA, Antonín a Richard MAYR. INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems. 2002.
      URL
      Název anglicky: INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
      RIV/00216224:14330/02:00007778 Uspořádání workshopu. Teorie informace. angličtina. Česká republika.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: Infinite-State Systems; Formal Verification; Equivalence-Checking; Model-Checking
      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/486636/cs
    5. 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. s. 433-445. ISBN 3-540-44040-2. 2002.
      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
    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. s. 276-291. ISBN 3-540-44240-5. 2002.
      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í, roč. 270, 1-2, s. 677-700. ISSN 0304-3975. 2002.
      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. s. 594-609. ISBN 3-540-44043-7. 2002.
      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í, roč. 258, 1-2, s. 409-433. ISSN 0304-3975. 2001.
      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

    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, roč. 36, č. 3, s. 233-256. ISSN 0001-5903. 1999.
      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. On Finite Representations of Infinite-State Behaviours.
      KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. Information Processing Letters. Elsevier, roč. 70, č. 1, s. 23-30. ISSN 0020-0190. 1999.
      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
    3. 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. s. 503-512. Lecture Notes in Computer Science, vol. 1644. ISBN 3-540-66224-3. 1999.
      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
    4. 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. s. 368-382. Lecture Notes in Computer Science, vol. 1664. ISBN 3-540-66425-4. 1999.
      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. s. 200-211. Lecture Notes in Computer Science, vol. 1443. ISBN 3-540-64781-3. 1998.
      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, roč. 1998, č. 06, s. 1-209, 1998.
      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, roč. 1997, č. 5, s. 1-24, 1997.
      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. s. 72-85. UPMAIL TR No. 148. ISBN 1100-0686. 1997.
      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, roč. 1997, č. 9, s. 1-14, 1997.
      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. s. 302-316. Lecture Notes in Computer Science, vol. 1243. ISBN 3-540-63141-0. 1997.
      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. s. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5. 1997.
      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
Zobrazeno: 18. 4. 2024 15:57