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

2016

• On the irreducibility of pseudovarieties of semigroups

  MENESES GUIMARÄES DE ALMEIDA Jorge Manuel KLÍMA Ondřej

  Article in Periodical

  Journal of Pure and Applied Algebra, year: 2016, volume: 220, edition: 4, DOI

• Reducibility vs. definability for pseudovarieties of semigroups

  MENESES GUIMARÄES DE ALMEIDA Jorge Manuel KLÍMA Ondřej

  Article in Periodical

  International Journal of Algebra and Computation, year: 2016, volume: 26, edition: 7, DOI

2015

• On decidability of intermediate levels of concatenation hierarchies

  MENESES GUIMARÄES DE ALMEIDA Jorge Manuel BARTOŇOVÁ Jana KLÍMA Ondřej KUNC Michal

  Article in Proceedings

  Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings, year: 2015

• On fixed points of the lower set operator

  ALMEIDA Jorge CANO Antonio KLÍMA Ondřej PIN Jean-Eric

  Article in Periodical

  International Journal of Algebra and Computation, year: 2015, volume: 25, edition: 1-2, DOI

2014

• On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)

  KLÍMA Ondřej

  Article in Proceedings

  Proceedings AFL 2014, year: 2014

2013

• Alternative Automata Characterization of Piecewise Testable Languages

  KLÍMA Ondřej POLÁK Libor

  Article in Proceedings

  Developments in Language Theory, year: 2013

2012

• Biautomata for k-Piecewise Testable Languages

  KLÍMA Ondřej POLÁK Libor

  Article in Proceedings

  Developments in Language Theory, year: 2012

• Descriptional Complexity of Biautomata

  JIRÁSKOVÁ Galina KLÍMA Ondřej

  Article in Proceedings

  Descriptional Complexity of Formal Systems, year: 2012

• Identity checking problem for transformation monoids

  KLÍMA Ondřej

  Article in Periodical

  Semigroup Forum, year: 2012, volume: 84, edition: 3, DOI

• On Biautomata

  KLÍMA Ondřej POLÁK Libor

  Article in Periodical

  RAIRO - Theoretical Informatics and Applications, year: 2012, volume: 46, edition: 4, DOI