| Publication | Date of Publication | Type |
|---|
Stone pseudovarieties
Results in Mathematics | 2024-10-28 | Paper |
Characterization of ordered semigroups generating well quasi-orders of words
Theory of Computing Systems | 2024-07-29 | Paper |
What makes a Stone topological algebra profinite
Algebra Universalis | 2023-02-01 | Paper |
Geometrically closed positive varieties of languages
Information and Computation | 2022-10-13 | Paper |
Well quasi-orders arising from finite ordered semigroups
(available as arXiv preprint) | 2022-08-11 | Paper |
On linear languages recognized by deterministic biautomata
Information and Computation | 2022-06-13 | Paper |
Binary patterns in the Prouhet-Thue-Morse sequence
Discrete Mathematics & Theoretical Computer Science | 2022-01-27 | Paper |
Binary patterns in the Prouhet-Thue-Morse sequence
Discrete Mathematics & Theoretical Computer Science | 2022-01-27 | Paper |
What makes a Stone topological algebra profinite
(available as arXiv preprint) | 2021-09-01 | Paper |
| On varieties of automata enriched with an algebraic structure (extended abstract) | 2021-06-22 | Paper |
On varieties of automata enriched with an algebraic structure (extended abstract)
(available as arXiv preprint) | 2021-06-22 | Paper |
| Forbidden patterns for ordered automata | 2021-05-12 | Paper |
Obituary: Libor Polák (1950--2020)
Semigroup Forum | 2021-04-15 | Paper |
| Descriptional complexity of the languages \(KaL\): automata, monoids and varieties | 2021-02-24 | Paper |
Descriptional complexity of the languages \(KaL\): automata, monoids and varieties
(available as arXiv preprint) | 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
Transactions of the American Mathematical Society | 2020-02-26 | Paper |
On varieties of ordered automata
(available as arXiv preprint) | 2019-12-04 | Paper |
| Deterministic biautomata and subclasses of deterministic linear languages | 2019-12-04 | Paper |
Syntactic structures of regular languages
Theoretical Computer Science | 2019-11-13 | Paper |
| Stone pseudovarieties | 2019-10-08 | Paper |
Correction to: ``Pseudovarieties of ordered completely regular semigroups
Results in Mathematics | 2019-06-18 | Paper |
Pseudovarieties of ordered completely regular semigroups
Results in Mathematics | 2019-06-18 | Paper |
On the insertion of \(n\)-powers
(available as arXiv preprint) | 2019-05-23 | Paper |
| On the insertion of \(n\)-powers | 2019-05-23 | Paper |
Towards a pseudoequational proof theory
Portugaliae Mathematica. Nova Série | 2019-02-28 | Paper |
The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
Forum Mathematicum | 2018-05-09 | Paper |
Reducibility vs. definability for pseudovarieties of semigroups
International Journal of Algebra and Computation | 2016-12-14 | Paper |
On the irreducibility of pseudovarieties of semigroups.
Journal of Pure and Applied Algebra | 2015-12-08 | Paper |
On decidability of intermediate levels of concatenation hierarchies
Developments in Language Theory | 2015-11-10 | Paper |
On fixed points of the lower set operator
International Journal of Algebra and Computation | 2015-04-21 | Paper |
| New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages | 2014-05-06 | Paper |
Alternative automata characterization of piecewise testable languages
Developments in Language Theory | 2013-06-28 | Paper |
On biautomata
RAIRO - Theoretical Informatics and Applications | 2012-11-22 | Paper |
Biautomata for \(k\)-piecewise testable languages
Developments in Language Theory | 2012-11-02 | Paper |
Descriptional complexity of biautomata
Descriptional Complexity of Formal Systems | 2012-11-02 | Paper |
Identity checking problem for transformation monoids
Semigroup Forum | 2012-08-16 | Paper |
SUBHIERARCHIES OF THE SECOND LEVEL IN THE STRAUBING–THÉRIEN HIERARCHY
International Journal of Algebra and Computation | 2012-01-11 | Paper |
Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
Algebraic Foundations in Computer Science | 2011-11-11 | Paper |
Piecewise testable languages via combinatorics on words
Discrete Mathematics | 2011-10-21 | Paper |
Rewriting in varieties of idempotent semigroups
Algebraic Informatics | 2011-07-08 | Paper |
Literally idempotent languages and their varieties --- two letter case
International Journal of Foundations of Computer Science | 2010-11-11 | Paper |
Hierarchies of piecewise testable languages
International Journal of Foundations of Computer Science | 2010-09-06 | Paper |
A counterexample to a conjecture concerning concatenation hierarchies
Information Processing Letters | 2010-09-02 | Paper |
On Schützenberger Products of Semirings
Developments in Language Theory | 2010-08-31 | Paper |
Complexity issues of checking identities in finite monoids
Semigroup Forum | 2010-01-25 | Paper |
Polynomial Operators on Classes of Regular Languages
Algebraic Informatics | 2009-11-05 | Paper |
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups
Language and Automata Theory and Applications | 2008-11-20 | Paper |
On varieties of meet automata
Theoretical Computer Science | 2008-11-18 | Paper |
Hierarchies of Piecewise Testable Languages
Developments in Language Theory | 2008-10-30 | Paper |
On Varieties of Literally Idempotent Languages
RAIRO - Theoretical Informatics and Applications | 2008-09-25 | Paper |
Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Dichotomies in the complexity of solving systems of equations over finite semigroups
Theory of Computing Systems | 2007-03-12 | Paper |
| scientific article; zbMATH DE number 1759432 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1522660 (Why is no real title available?) | 2001-08-26 | Paper |
| scientific article; zbMATH DE number 1490005 (Why is no real title available?) | 2001-06-21 | Paper |
