Ondřej Klíma

Available identifiers

zbMath Open klima.ondrejMaRDI QIDQ444672

List of research outcomes

Publication	Date of Publication	Type
What makes a Stone topological algebra profinite	2023-02-01	Paper
Geometrically closed positive varieties of languages	2022-10-13	Paper
Well quasi-orders arising from finite ordered semigroups	2022-08-11	Paper
On linear languages recognized by deterministic biautomata	2022-06-13	Paper
Binary patterns in the Prouhet-Thue-Morse sequence	2022-01-27	Paper
What makes a Stone topological algebra profinite	2021-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4994934	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4988163	2021-05-12	Paper
Obituary: Libor Polák (1950--2020)	2021-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4964018	2021-02-24	Paper
Geometrically closed positive varieties of star-free languages	2020-07-27	Paper
Representations of relatively free profinite semigroups, irreducibility, and order primitivity	2020-02-26	Paper
On varieties of ordered automata	2019-12-04	Paper
Deterministic biautomata and subclasses of deterministic linear languages	2019-12-04	Paper
Syntactic structures of regular languages	2019-11-13	Paper
Stone pseudovarieties	2019-10-08	Paper
Pseudovarieties of ordered completely regular semigroups	2019-06-18	Paper
Correction to: ``Pseudovarieties of ordered completely regular semigroups	2019-06-18	Paper
On the insertion of n-powers	2019-05-23	Paper
Towards a pseudoequational proof theory	2019-02-28	Paper
The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages	2018-05-09	Paper
Reducibility vs. definability for pseudovarieties of semigroups	2016-12-14	Paper
On the irreducibility of pseudovarieties of semigroups.	2015-12-08	Paper
On Decidability of Intermediate Levels of Concatenation Hierarchies	2015-11-10	Paper
On fixed points of the lower set operator	2015-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q5414547	2014-05-06	Paper
Alternative Automata Characterization of Piecewise Testable Languages	2013-06-28	Paper
On biautomata	2012-11-22	Paper
Biautomata for k-Piecewise Testable Languages	2012-11-02	Paper
Descriptional Complexity of Biautomata	2012-11-02	Paper
Identity checking problem for transformation monoids	2012-08-16	Paper
SUBHIERARCHIES OF THE SECOND LEVEL IN THE STRAUBING–THÉRIEN HIERARCHY	2012-01-11	Paper
Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups	2011-11-11	Paper
Piecewise testable languages via combinatorics on words	2011-10-21	Paper
Rewriting in Varieties of Idempotent Semigroups	2011-07-08	Paper
LITERALLY IDEMPOTENT LANGUAGES AND THEIR VARIETIES — TWO LETTER CASE	2010-11-11	Paper
HIERARCHIES OF PIECEWISE TESTABLE LANGUAGES	2010-09-06	Paper
A counterexample to a conjecture concerning concatenation hierarchies	2010-09-02	Paper
On Schützenberger Products of Semirings	2010-08-31	Paper
Complexity issues of checking identities in finite monoids	2010-01-25	Paper
Polynomial Operators on Classes of Regular Languages	2009-11-05	Paper
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups	2008-11-20	Paper
On varieties of meet automata	2008-11-18	Paper
Hierarchies of Piecewise Testable Languages	2008-10-30	Paper
On Varieties of Literally Idempotent Languages	2008-09-25	Paper
Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture	2007-09-05	Paper
Dichotomies in the complexity of solving systems of equations over finite semigroups	2007-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4536381	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4510922	2001-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4496248	2001-06-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ondřej Klíma