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

1997

• Bisimilarity of Processes with Finite-state Systems

  JANČAR Petr KUČERA Antonín

  Článek v odborném periodiku

  FI MU Report Series, rok: 1997, ročník: 1997, vydání: RS-97-02

• Bisimilarity of Processes with Finite-State Systems.

  JANČAR Petr KUČERA Antonín

  Článek v odborném periodiku

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

• How to Parallelize Sequential Processes

  KUČERA Antonín

  Článek 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

  Článek 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

  Článek ve sborníku

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

• 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

  FI MU Report Series, rok: 1996, ročník: 1996, vydání: RS-96-02

• How to Parallelize Sequential Processes

  KUČERA Antonín

  Článek v odborném periodiku

  FI MU Report Series, rok: 1996, ročník: 1996, vydání: RS-96-05

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

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

  Kapitola v 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

  Článek 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

  Článek ve sborníku

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