Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ondrej Klíma 0001
@article{DBLP:journals/iandc/JiraskovaK22a,
author = {Galina Jir{\'{a}}skov{\'{a}} and
Ondrej Kl{\'{\i}}ma},
title = {On linear languages recognized by deterministic biautomata},
journal = {Inf. Comput.},
volume = {286},
pages = {104778},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104778},
doi = {10.1016/J.IC.2021.104778},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JiraskovaK22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KlimaK22,
author = {Ondrej Kl{\'{\i}}ma and
Peter Kostol{\'{a}}nyi},
title = {Geometrically closed positive varieties of languages},
journal = {Inf. Comput.},
volume = {288},
pages = {104709},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104709},
doi = {10.1016/J.IC.2021.104709},
timestamp = {Thu, 13 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KlimaK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/0001021,
author = {Jorge Almeida and
Ondrej Kl{\'{\i}}ma},
title = {Binary patterns in the Prouhet-Thue-Morse sequence},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {23},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/dmtcs.5460},
doi = {10.46298/DMTCS.5460},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/0001021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/0001P20,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Forbidden Patterns for Ordered Automata},
journal = {J. Autom. Lang. Comb.},
volume = {25},
number = {2-3},
pages = {141--169},
year = {2020},
url = {https://doi.org/10.25596/jalc-2020-141},
doi = {10.25596/JALC-2020-141},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/0001P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KlimaK20,
author = {Ondrej Kl{\'{\i}}ma and
Peter Kostol{\'{a}}nyi},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Geometrically Closed Positive Varieties of Star-Free Languages},
booktitle = {Language and Automata Theory and Applications - 14th International
Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12038},
pages = {328--340},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-40608-0\_23},
doi = {10.1007/978-3-030-40608-0\_23},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/KlimaK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00509,
author = {Jorge Almeida and
Ondrej Kl{\'{\i}}ma},
title = {Profinite congruences and unary algebras},
journal = {CoRR},
volume = {abs/2003.00509},
year = {2020},
url = {https://arxiv.org/abs/2003.00509},
eprinttype = {arXiv},
eprint = {2003.00509},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00509.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/AlmeidaK19,
author = {Jorge Almeida and
Ondrej Kl{\'{\i}}ma},
title = {On the insertion of n-powers},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {21},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/DMTCS-21-3-5},
doi = {10.23638/DMTCS-21-3-5},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/AlmeidaK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KlimaP19,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Syntactic structures of regular languages},
journal = {Theor. Comput. Sci.},
volume = {800},
pages = {125--141},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.10.020},
doi = {10.1016/J.TCS.2019.10.020},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KlimaP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/0001P19,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Alexander Okhotin and
Dana Shapira},
title = {On Varieties of Ordered Automata},
booktitle = {Language and Automata Theory and Applications - 13th International
Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11417},
pages = {108--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13435-8\_8},
doi = {10.1007/978-3-030-13435-8\_8},
timestamp = {Tue, 03 Mar 2020 11:22:06 +0100},
biburl = {https://dblp.org/rec/conf/lata/0001P19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Jiraskova019,
author = {Galina Jir{\'{a}}skov{\'{a}} and
Ondrej Kl{\'{\i}}ma},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Alexander Okhotin and
Dana Shapira},
title = {Deterministic Biautomata and Subclasses of Deterministic Linear Languages},
booktitle = {Language and Automata Theory and Applications - 13th International
Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11417},
pages = {315--327},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13435-8\_23},
doi = {10.1007/978-3-030-13435-8\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/Jiraskova019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/0001P18,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Rudolf Freund and
Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}} and
Giovanni Pighizzini},
title = {Forbidden patterns for ordered automata},
booktitle = {Tenth Workshop on Non-Classical Models of Automata and Applications,
{NCMA} 2018, Ko{\v{s}}ice, Slovakia, August 21-22, 2018},
pages = {99--115},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2018},
timestamp = {Wed, 29 Aug 2018 15:26:26 +0200},
biburl = {https://dblp.org/rec/conf/ncma/0001P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-05525,
author = {Jorge Almeida and
Ondrej Kl{\'{\i}}ma},
title = {On the insertion of n-powers},
journal = {CoRR},
volume = {abs/1711.05525},
year = {2017},
url = {http://arxiv.org/abs/1711.05525},
eprinttype = {arXiv},
eprint = {1711.05525},
timestamp = {Mon, 04 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-05525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-08455,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {On Varieties of Ordered Automata},
journal = {CoRR},
volume = {abs/1712.08455},
year = {2017},
url = {http://arxiv.org/abs/1712.08455},
eprinttype = {arXiv},
eprint = {1712.08455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-08455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/AlmeidaK16,
author = {Jorge Almeida and
Ondrej Kl{\'{\i}}ma},
title = {Reducibility vs. definability for pseudovarieties of semigroups},
journal = {Int. J. Algebra Comput.},
volume = {26},
number = {7},
pages = {1483--1495},
year = {2016},
url = {https://doi.org/10.1142/S0218196716500648},
doi = {10.1142/S0218196716500648},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/AlmeidaK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlmeidaKK16,
author = {Jorge Almeida and
Ondrej Kl{\'{\i}}ma and
Michal Kunc},
title = {The omega-inequality problem for concatenation hierarchies of star-free
languages},
journal = {CoRR},
volume = {abs/1601.08237},
year = {2016},
url = {http://arxiv.org/abs/1601.08237},
eprinttype = {arXiv},
eprint = {1601.08237},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlmeidaKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001P16c,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Syntactic Structures of Regular Languages},
journal = {CoRR},
volume = {abs/1612.06247},
year = {2016},
url = {http://arxiv.org/abs/1612.06247},
eprinttype = {arXiv},
eprint = {1612.06247},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001P16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/AlmeidaCKP15,
author = {Jorge Almeida and
Antonio Cano and
Ondrej Kl{\'{\i}}ma and
Jean{-}{\'{E}}ric Pin},
title = {On fixed points of the lower set operator},
journal = {Int. J. Algebra Comput.},
volume = {25},
number = {1-2},
pages = {259--292},
year = {2015},
url = {https://doi.org/10.1142/S021819671540010X},
doi = {10.1142/S021819671540010X},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/AlmeidaCKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/AlmeidaBKK15,
author = {Jorge Almeida and
Jana Bartonov{\'{a}} and
Ondrej Kl{\'{\i}}ma and
Michal Kunc},
editor = {Igor Potapov},
title = {On Decidability of Intermediate Levels of Concatenation Hierarchies},
booktitle = {Developments in Language Theory - 19th International Conference, {DLT}
2015, Liverpool, UK, July 27-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9168},
pages = {58--70},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21500-6\_4},
doi = {10.1007/978-3-319-21500-6\_4},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/AlmeidaBKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Klima14,
author = {Ondrej Kl{\'{\i}}ma},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {On Varieties of Automata Enriched with an Algebraic Structure (Extended
Abstract)},
booktitle = {Proceedings 14th International Conference on Automata and Formal Languages,
{AFL} 2014, Szeged, Hungary, May 27-29, 2014},
series = {{EPTCS}},
volume = {151},
pages = {49--54},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.151.3},
doi = {10.4204/EPTCS.151.3},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/Klima14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP13,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Marie{-}Pierre B{\'{e}}al and
Olivier Carton},
title = {Alternative Automata Characterization of Piecewise Testable Languages},
booktitle = {Developments in Language Theory - 17th International Conference, {DLT}
2013, Marne-la-Vall{\'{e}}e, France, June 18-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7907},
pages = {289--300},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38771-5\_26},
doi = {10.1007/978-3-642-38771-5\_26},
timestamp = {Sat, 19 Oct 2019 20:07:57 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KlimaP12,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {On biautomata},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {46},
number = {4},
pages = {573--592},
year = {2012},
url = {https://doi.org/10.1051/ita/2012014},
doi = {10.1051/ITA/2012014},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KlimaP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/JiraskovaK12,
author = {Galina Jir{\'{a}}skov{\'{a}} and
Ondrej Kl{\'{\i}}ma},
editor = {Martin Kutrib and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Descriptional Complexity of Biautomata},
booktitle = {Descriptional Complexity of Formal Systems - 14th International Workshop,
{DCFS} 2012, Braga, Portugal, July 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7386},
pages = {196--208},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31623-4\_15},
doi = {10.1007/978-3-642-31623-4\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/JiraskovaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP12,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Hsu{-}Chun Yen and
Oscar H. Ibarra},
title = {Biautomata for k-Piecewise Testable Languages},
booktitle = {Developments in Language Theory - 16th International Conference, {DLT}
2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7410},
pages = {344--355},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31653-1\_31},
doi = {10.1007/978-3-642-31653-1\_31},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Klima11,
author = {Ondrej Kl{\'{\i}}ma},
title = {Piecewise testable languages via combinatorics on words},
journal = {Discret. Math.},
volume = {311},
number = {20},
pages = {2124--2127},
year = {2011},
url = {https://doi.org/10.1016/j.disc.2011.06.013},
doi = {10.1016/J.DISC.2011.06.013},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Klima11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/KlimaP11,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Subhierarchies of the Second Level in the Straubing-TH{\'{e}}Rien
Hierarchy},
journal = {Int. J. Algebra Comput.},
volume = {21},
number = {7},
pages = {1195--1215},
year = {2011},
url = {https://doi.org/10.1142/S021819671100690X},
doi = {10.1142/S021819671100690X},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/KlimaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KlimaP11,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Werner Kuich and
George Rahonis},
title = {Identity Problems, Solvability of Equations and Unification in Varieties
of Semigroups Related to Varieties of Groups},
booktitle = {Algebraic Foundations in Computer Science - Essays Dedicated to Symeon
Bozapalidis on the Occasion of His Retirement},
series = {Lecture Notes in Computer Science},
volume = {7020},
pages = {214--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24897-9\_10},
doi = {10.1007/978-3-642-24897-9\_10},
timestamp = {Sun, 25 Oct 2020 23:08:31 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KlimaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/KlimaKP11,
author = {Ondrej Kl{\'{\i}}ma and
Miroslav Korbel{\'{a}}r and
Libor Pol{\'{a}}k},
editor = {Franz Winkler},
title = {Rewriting in Varieties of Idempotent Semigroups},
booktitle = {Algebraic Informatics - 4th International Conference, {CAI} 2011,
Linz, Austria, June 21-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6742},
pages = {185--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21493-6\_12},
doi = {10.1007/978-3-642-21493-6\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/KlimaKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/KlimaP11,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Rudolf Freund and
Markus Holzer and
Carlo Mereghetti and
Friedrich Otto and
Beatrice Palano},
title = {On Biautomata},
booktitle = {Third Workshop on Non-Classical Models for Automata and Applications
- {NCMA} 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings},
series = {books@ocg.at},
volume = {282},
pages = {153--164},
publisher = {Austrian Computer Society},
year = {2011},
timestamp = {Thu, 22 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ncma/KlimaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/AlmeidaK10,
author = {Jorge Almeida and
Ondrej Kl{\'{\i}}ma},
title = {New decidable upper bound of the second level in the Straubing-Th{\'{e}}rien
concatenation hierarchy of star-free languages},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {12},
number = {4},
pages = {41--58},
year = {2010},
url = {https://doi.org/10.46298/dmtcs.490},
doi = {10.46298/DMTCS.490},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/AlmeidaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KlimaP10,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Hierarchies of Piecewise Testable Languages},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {4},
pages = {517--533},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007404},
doi = {10.1142/S0129054110007404},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KlimaP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KlimaP10a,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {Literally Idempotent Languages and their Varieties - Two Letter Case},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {5},
pages = {761--780},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007544},
doi = {10.1142/S0129054110007544},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KlimaP10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP10,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Yuan Gao and
Hanlin Lu and
Shinnosuke Seki and
Sheng Yu},
title = {On Sch{\"{u}}tzenberger Products of Semirings},
booktitle = {Developments in Language Theory, 14th International Conference, {DLT}
2010, London, ON, Canada, August 17-20, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6224},
pages = {279--290},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14455-4\_26},
doi = {10.1007/978-3-642-14455-4\_26},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-1655,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Ian McQuillan and
Giovanni Pighizzini},
title = {Descriptional Complexity of the Languages KaL: Automata, Monoids and
Varieties},
booktitle = {Proceedings Twelfth Annual Workshop on Descriptional Complexity of
Formal Systems, {DCFS} 2010, Saskatoon, Canada, 8-10th August 2010},
series = {{EPTCS}},
volume = {31},
pages = {130--138},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.31.15},
doi = {10.4204/EPTCS.31.15},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-1655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AlmeidaK09,
author = {Jorge Almeida and
Ondrej Kl{\'{\i}}ma},
title = {A counterexample to a conjecture concerning concatenation hierarchies},
journal = {Inf. Process. Lett.},
volume = {110},
number = {1},
pages = {4--7},
year = {2009},
url = {https://doi.org/10.1016/j.ipl.2009.09.011},
doi = {10.1016/J.IPL.2009.09.011},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AlmeidaK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/KlimaP09,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Symeon Bozapalidis and
George Rahonis},
title = {Polynomial Operators on Classes of Regular Languages},
booktitle = {Algebraic Informatics, Third International Conference, {CAI} 2009,
Thessaloniki, Greece, May 19-22, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5725},
pages = {260--277},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03564-7\_17},
doi = {10.1007/978-3-642-03564-7\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/KlimaP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {On Varieties of Literally Idempotent Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {42},
number = {3},
pages = {583--598},
year = {2008},
url = {https://doi.org/10.1051/ita:2008020},
doi = {10.1051/ITA:2008020},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
title = {On varieties of meet automata},
journal = {Theor. Comput. Sci.},
volume = {407},
number = {1-3},
pages = {278--289},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.005},
doi = {10.1016/J.TCS.2008.06.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Zolt{\'{a}}n {\'{E}}sik},
title = {Literally idempotent languages and their varieties - two letter case},
booktitle = {Automata and Formal Languages, 12th International Conference, {AFL}
2008, Balatonf{\"{u}}red, Hungary, May 27-30, 2008, Proceedings},
pages = {220--231},
year = {2008},
timestamp = {Thu, 22 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afl/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Masami Ito and
Masafumi Toyama},
title = {Hierarchies of Piecewise Testable Languages},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {479--490},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_38},
doi = {10.1007/978-3-540-85780-8\_38},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KlimaP08,
author = {Ondrej Kl{\'{\i}}ma and
Libor Pol{\'{a}}k},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Friedrich Otto and
Henning Fernau},
title = {Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent
Groups},
booktitle = {Language and Automata Theory and Applications, Second International
Conference, {LATA} 2008, Tarragona, Spain, March 13-19, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5196},
pages = {299--310},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88282-4\_28},
doi = {10.1007/978-3-540-88282-4\_28},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/KlimaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KlimaTT07,
author = {Ondrej Kl{\'{\i}}ma and
Pascal Tesson and
Denis Th{\'{e}}rien},
title = {Dichotomies in the Complexity of Solving Systems of Equations over
Finite Semigroups},
journal = {Theory Comput. Syst.},
volume = {40},
number = {3},
pages = {263--297},
year = {2007},
url = {https://doi.org/10.1007/s00224-005-1279-2},
doi = {10.1007/S00224-005-1279-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KlimaTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KlimaLT06,
author = {Ondrej Kl{\'{\i}}ma and
Beno{\^{\i}}t Larose and
Pascal Tesson},
editor = {Rastislav Kralovic and
Pawel Urzyczyn},
title = {Systems of Equations over Finite Semigroups and the {\#}CSP Dichotomy
Conjecture},
booktitle = {Mathematical Foundations of Computer Science 2006, 31st International
Symposium, {MFCS} 2006, Star{\'{a}} Lesn{\'{a}}, Slovakia,
August 28-September 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4162},
pages = {584--595},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11821069\_51},
doi = {10.1007/11821069\_51},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KlimaLT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR04-091,
author = {Ondrej Kl{\'{\i}}ma and
Pascal Tesson and
Denis Th{\'{e}}rien},
title = {Dichotomies in the Complexity of Solving Systems of Equations over
Finite Semigroups},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR04-091}},
year = {2004},
url = {https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-091/index.html},
eprinttype = {ECCC},
eprint = {TR04-091},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR04-091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Klima02,
author = {Ondrej Kl{\'{\i}}ma},
editor = {Krzysztof Diks and
Wojciech Rytter},
title = {Unification Modulo Associativity and Idempotency Is NP-complete},
booktitle = {Mathematical Foundations of Computer Science 2002, 27th International
Symposium, {MFCS} 2002, Warsaw, Poland, August 26-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2420},
pages = {423--432},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45687-2\_35},
doi = {10.1007/3-540-45687-2\_35},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Klima02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KlimaS00,
author = {Ondrej Kl{\'{\i}}ma and
Jir{\'{\i}} Srba},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {Matching Modulo Associativity and Idempotency Is NP-Complete},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {456--466},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_41},
doi = {10.1007/3-540-44612-5\_41},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KlimaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CernaKS99,
author = {Ivana Cern{\'{a}} and
Ondrej Kl{\'{\i}}ma and
Jir{\'{\i}} Srba},
editor = {Jan Pavelka and
Gerard Tel and
Miroslav Bartosek},
title = {Pattern Equations and Equations with Stuttering},
booktitle = {{SOFSEM} '99, Theory and Practice of Informatics, 26th Conference
on Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 27 - December 4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1725},
pages = {369--378},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-47849-3\_24},
doi = {10.1007/3-540-47849-3\_24},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/CernaKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-24 01:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
