prof. RNDr. Ivana Černá, CSc.

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

• On the Pattern Equations

  ČERNÁ Ivana KLÍMA Ondřej SRBA Jiří

  Článek v odborném periodiku

  Technical Report, Faculty of Informatics, Masaryk University, rok: 1999, ročník: 1999, vydání: 01

• Pattern Equations and Equations with Stuttering

  ČERNÁ Ivana SRBA Jiří KLÍMA Ondřej

  Článek ve sborníku

  SOFSEM'99: Theory and Practise of Informatics, rok: 1999

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

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

• 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.

1991

• Separation of deterministic, nondeterministic and alternating complexity classes

  BEBJÁK Andrej ŠTEFÁNEKOVÁ Ivana

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 1991, ročník: 1991, vydání: 88

1990

• Some properties of zerotesting bounded one-way multicounter machines

  ŠTEFÁNEKOVÁ Ivana

  Článek ve sborníku

  Mathematical Foundations of computer Science, rok: 1990

1989

• Nondeterministic multicounter machines and complementation

  ŠTEFÁNEKOVÁ Ivana PARDUBSKÁ Dana

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 1989, ročník: 1989, vydání: 67