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

1999

• On Finite Representations of Infinite-State Behaviours.

  KUČERA Antonín

  Článek v odborném periodiku

  Information Processing Letters, rok: 1999, ročník: 70, vydání: 1

• Regularity of normed PA processes

  KUČERA Antonín

  Článek v odborném periodiku

  Information Processing Letters, rok: 1999, ročník: 72, vydání: 1-2

• Simulation Preorder on Simple Process Algebras

  KUČERA Antonín MAYR Richard

  Článek ve sborníku

  Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99), rok: 1999

• Simulation Preorder on Simple Process Algebras

  KUČERA Antonín RICHARD Mayr

  Článek v odborném periodiku

  Technical Report TUM, rok: 1999, ročník: 1999, vydání: TUM-I9902

• Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time

  KUČERA Antonín MAYR Richard

  Článek ve sborníku

  Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99), rok: 1999

1998

• Bisimilarity of Processes with Finite-State Systems

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

  Článek ve sborníku

  Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98), rok: 1998

• Deciding Bisimulation-Like Equivalences with Finite-State Processes

  JANČAR Petr KUČERA Antonín RICHARD Mayr

  Článek v odborném periodiku

  Technical Report TUM, rok: 1998, ročník: 1998, vydání: TUM-I9805

• Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time

  KUČERA Antonín RICHARD Mayr

  Článek v odborném periodiku

  Technical Report TUM, rok: 1998, ročník: 1998, vydání: TUM-I9830

1997

• Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

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

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 1997, ročník: 1997, vydání: 5

• Bisimilarity of Processes with Finite-State Systems

  JANČAR Petr KUČERA Antonín

  Článek ve sborníku

  Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), rok: 1997