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

1998

• Bisimilarity of Processes with Finite-State Systems

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

  Stať ve sborníku

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

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

  Recenzovaný odborný článek

  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

  Stať ve sborníku

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

• Bisimilarity of Processes with Finite-State Systems.

  JANČAR Petr KUČERA Antonín

  Recenzovaný odborný článek

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

• How to Parallelize Sequential Processes

  KUČERA Antonín

  Stať ve sborníku

  Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97), rok: 1997

• On Finite Representations of Infinite-State Behaviours.

  KUČERA Antonín

  Stať ve sborníku

  Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97), rok: 1997

1996

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

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

  Stať ve sborníku

  Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96), rok: 1996

• On the Relationship between Sequential and Parallel Compositions in Process Algebras

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

  Kapitola v odborné knize

  CSL96 - The 1996 Annual Conference of the European Assoc.., rok: 1996, počet stran: 3 s.

• Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.

  KUČERA Antonín

  Stať ve sborníku

  Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96), rok: 1996

• Regularity is Decidable for Normed PA Processes in Polynomial Time

  KUČERA Antonín

  Stať ve sborníku

  Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96), rok: 1996