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

2002

• Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time

  KUČERA Antonín MAYR Richard

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2002, ročník: 270, vydání: 1-2

• Why is Simulation Harder Than Bisimulation?

  KUČERA Antonín MAYR Richard

  Článek ve sborníku

  Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002), rok: 2002

2001

• Deciding Bisimulation-Like Equivalences with Finite-State Processes

  JANČAR Petr KUČERA Antonín MAYR Richard

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2001, ročník: 258, vydání: 1-2

• Model-Checking LTL with Regular Valuations for Pushdown Systems

  ESPARZA Javier KUČERA Antonín SCHWOON Stefan

  Článek ve sborníku

  Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001), rok: 2001

2000

• Effective Decomposability of Sequential Behaviours.

  KUČERA Antonín

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2000, ročník: 242, vydání: 1-2

• Efficient Verification Algorithms for One-Counter Processes

  KUČERA Antonín

  Článek ve sborníku

  Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), rok: 2000

• On Simulation-Checking with Sequential Systems

  KUČERA Antonín

  Článek ve sborníku

  Proceedings of 6th Asian Computing Science Conference (ASIAN 2000), rok: 2000

• Simulation and Bisimulation over One-Counter Processes

  JANČAR Petr KUČERA Antonín MOLLER Faron

  Článek ve sborníku

  Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), rok: 2000

1999

• A Logical Viewpoint on Process-Algebraic Quotients

  KUČERA Antonín ESPARZA Javier

  Článek ve sborníku

  Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99), rok: 1999

• Comparing Expressibility of Normed BPA and Normed BPP Processes.

  ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

  Článek v odborném periodiku

  Acta informatica, rok: 1999, ročník: 36, vydání: 3