Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

  1. 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, 2009, roč. 46, č. 1, s. 1-28. ISSN 0001-5903.
    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.
  2. 2008

  3. 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, 2008, roč. 45, č. 2, s. 131-154. ISSN 0001-5903.
    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.
  4. 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, 2008, Volume 2, Isuue 6, s. p. 532-546. ISSN 1751-8806.
    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 americké.
    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.
  5. 2007

  6. 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, 2007. s. 47-64, 18 s. ISSN 1571-0661.
    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: doc. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:48.
  7. 2006

  8. 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. Nizozemsko.
    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.
  9. 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, 2006, roč. 6, č. 3, s. 227-264. ISSN 1471-0684.
    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. Spojené království.
    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.
  10. 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, 2006. s. 248-259, 12 s. ISBN 978-3-540-49994-7.
    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: doc. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 20. 12. 2011 18:12.
  11. 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, 2006. FIMU-RS-2006-05.
    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.
  12. 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, 2006. s. 29-41, 13 s.
    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: doc. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 18. 6. 2007 14:11.
  13. 2004

  14. 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, 2004. s. 371-386, 16 s. ISBN 3-540-22940-X.
    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.
  15. 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 americké.
    Srba, Jiří (203 Česká republika, 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.
  16. 2003

  17. 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
  18. 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 Česká republika, 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.
  19. 2002

  20. 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, 2002. s. 41-73. ISBN 3-540-00145-X.
    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.
  21. 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 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Moller, Faron (826 Spojené království) -- 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.
  22. KUČERA, Antonín a Richard MAYR. Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems. Amsterdam: Elsevier, 2002. 106 s. ENTCS, volume 68(6). ISBN 0444513299.
    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. Nizozemsko.
    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.
  23. 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.
  24. 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
  25. 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: doc. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 20. 12. 2011 18:12.
    Přír. čísla: 4200508076
  26. 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 Č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.
  27. 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
  28. 2001

  29. 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.
  30. 1999

  31. Č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.
  32. 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. Nizozemsko.
    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.
  33. 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
  34. 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.
  35. 1998

  36. 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.
  37. 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.
  38. 1997

  39. Č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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
Zobrazeno: 16. 2. 2020 22:51