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

2011

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

  KLÍMA Ondřej POLÁK Libor

  Article in Proceedings

  Algebraic Foundations in Computer Science, year: 2011

• On Biautomata

  KLÍMA Ondřej POLÁK Libor

  Article in Proceedings

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

• Piecewise Testable Languages via Combinatorics on Words

  KLÍMA Ondřej

  Article in Periodical

  Discrete Mathematics, year: 2011, volume: 311, edition: 20, DOI

• Rewriting in Varieties of Idempotent Semigroups

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

  Article in Proceedings

  Algebraic Informatics, year: 2011

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

  KLÍMA Ondřej POLÁK Libor

  Article in Periodical

  International Journal of Algebra and Computation, year: 2011, volume: 21, edition: 7, DOI

2010

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

  KLÍMA Ondřej POLÁK Libor

  Article in Proceedings

  Descriptional Complexity of Formal Systems, year: 2010

• Hierarchies of piecewise testable languages

  KLÍMA Ondřej POLÁK Libor

  Article in Periodical

  International Journal of Foundations of Computer Science, year: 2010, volume: 21, edition: 4

• Literally idempotent languages and their varieties - two letter case

  KLÍMA Ondřej POLÁK Libor

  Article in Periodical

  International Journal of Foundations of Computer Science, year: 2010, volume: 21, edition: 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

  Article in Periodical

  Discrete Mathematics & Theoretical Computer Science, year: 2010, volume: 12, edition: 4

• On Schützenberger products of semirings

  KLÍMA Ondřej POLÁK Libor

  Article in Proceedings

  Developments in Language Theory, year: 2010