prof. RNDr. Antonín Kučera, Ph.D.

2003

• On Homogeneous Segments

  KOPEČEK Ivan BATŮŠEK Robert KUČERA Antonín

  Článek ve sborníku

  Text, Speech and Dialogue - 6th International Conference, Proceedings, rok: 2003

• The Complexity of Bisimilarity-Checking for One-Counter Processes

  KUČERA Antonín

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2003, ročník: 304, vydání: 1-3

2002

• CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.

  BRIM Luboš JANČAR Petr KŘETÍNSKÝ Mojmír KUČERA Antonín

  Odborná kniha

  Rok: 2002, počet stran: 609 s.

• Equivalence-Checking with Infinite-State Systems: Techniques and Results.

  KUČERA Antonín JANČAR Petr

  Článek ve sborníku

  Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002), rok: 2002

• Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds

  JANČAR Petr KUČERA Antonín MOLLER Faron SAWA Zdeněk

  Článek ve sborníku

  Proceedings of 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2002), rok: 2002

• Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems

  KUČERA Antonín MAYR Richard

  Odborná kniha

  Rok: 2002, počet stran: 106 s.

• INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems

  KUČERA Antonín MAYR Richard

  Uspořádání workshopu

  Rok: 2002, druh: Uspořádání workshopu

• On the Complexity of Semantic Equivalences for Pushdown Automata and BPA

  KUČERA Antonín MAYR Richard

  Článek ve sborníku

  Proceedings of 27th International Symposium on Mathematical Foundations of Computer Science (MFCS 2002), rok: 2002

• Simulation Preorder over Simple Process Algebras

  KUČERA Antonín MAYR Richard

  Článek v odborném periodiku

  Information and Computation, rok: 2002, ročník: 173, vydání: 2

• The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL

  KUČERA Antonín STREJČEK Jan

  Článek ve sborníku

  Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'02), rok: 2002