doc. Mgr. Ondřej Klíma, Ph.D.

2012

• On Biautomata

  KLÍMA Ondřej POLÁK Libor

  Článek v odborném periodiku

  RAIRO - Theoretical Informatics and Applications, rok: 2012, ročník: 46, vydání: 4, DOI

2011

• Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

  KLÍMA Ondřej POLÁK Libor

  Článek ve sborníku

  Algebraic Foundations in Computer Science, rok: 2011

• On Biautomata

  KLÍMA Ondřej POLÁK Libor

  Článek ve sborníku

  Non-Classical Models for Automata and Applications, rok: 2011

• Piecewise Testable Languages via Combinatorics on Words

  KLÍMA Ondřej

  Článek v odborném periodiku

  Discrete Mathematics, rok: 2011, ročník: 311, vydání: 20, DOI

• Rewriting in Varieties of Idempotent Semigroups

  KLÍMA Ondřej KORBELÁŘ Miroslav POLÁK Libor

  Článek ve sborníku

  Algebraic Informatics, rok: 2011

• Subhierarchies of the Second Level in the Straubing-Thrien Hierarchy

  KLÍMA Ondřej POLÁK Libor

  Článek v odborném periodiku

  International Journal of Algebra and Computation, rok: 2011, ročník: 21, vydání: 7, DOI

2010

• Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties

  KLÍMA Ondřej POLÁK Libor

  Článek ve sborníku

  Descriptional Complexity of Formal Systems, rok: 2010

• Hierarchies of piecewise testable languages

  KLÍMA Ondřej POLÁK Libor

  Článek v odborném periodiku

  International Journal of Foundations of Computer Science, rok: 2010, ročník: 21, vydání: 4

• Literally idempotent languages and their varieties - two letter case

  KLÍMA Ondřej POLÁK Libor

  Článek v odborném periodiku

  International Journal of Foundations of Computer Science, rok: 2010, ročník: 21, vydání: 5

• New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages

  ALMEIDA Jorge KLÍMA Ondřej

  Článek v odborném periodiku

  Discrete Mathematics & Theoretical Computer Science, rok: 2010, ročník: 12, vydání: 4