Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Juhani Karhumäki
@incollection{DBLP:books/ems/21/HarjuK21,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki},
editor = {Jean{-}{\'{E}}ric Pin},
title = {Finite transducers and rational transductions},
booktitle = {Handbook of Automata Theory},
pages = {79--111},
publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich,
Switzerland},
year = {2021},
url = {https://doi.org/10.4171/Automata-1/3},
doi = {10.4171/AUTOMATA-1/3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ems/21/HarjuK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ems/21/KarhumakiK21,
author = {Juhani Karhum{\"{a}}ki and
Jarkko Kari},
editor = {Jean{-}{\'{E}}ric Pin},
title = {Finite automata, image manipulation, and automatic real functions},
booktitle = {Handbook of Automata Theory},
pages = {1105--1143},
publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich,
Switzerland},
year = {2021},
url = {https://doi.org/10.4171/Automata-2/8},
doi = {10.4171/AUTOMATA-2/8},
timestamp = {Mon, 11 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ems/21/KarhumakiK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FreiHK20,
author = {Fabian Frei and
Juraj Hromkovic and
Juhani Karhum{\"{a}}ki},
title = {Roots and Powers in Regular Languages: Recognizing Nonregular Properties
by Finite Automata},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {173--185},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1952},
doi = {10.3233/FI-2020-1952},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FreiHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiW20,
author = {Juhani Karhum{\"{a}}ki and
Markus A. Whiteland},
title = {A compactness property of the \emph{k}-abelian monoids},
journal = {Theor. Comput. Sci.},
volume = {834},
pages = {3--13},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.01.023},
doi = {10.1016/J.TCS.2020.01.023},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14701,
author = {Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Markus A. Whiteland},
title = {On Abelian Closures of Infinite Non-binary Words},
journal = {CoRR},
volume = {abs/2012.14701},
year = {2020},
url = {https://arxiv.org/abs/2012.14701},
eprinttype = {arXiv},
eprint = {2012.14701},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/VolkovKP19,
author = {Mikhail V. Volkov and
Juhani Karhum{\"{a}}ki and
Dominique Perrin},
title = {The Salomaa Prize 2019 was given to Dr. Artur Jez},
journal = {Bull. {EATCS}},
volume = {129},
year = {2019},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/589/597},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/VolkovKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AvgustinovichCK19,
author = {Sergey V. Avgustinovich and
Julien Cassaigne and
Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Aleksi Saarela},
title = {On abelian saturated infinite words},
journal = {Theor. Comput. Sci.},
volume = {792},
pages = {154--160},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.05.013},
doi = {10.1016/J.TCS.2018.05.013},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AvgustinovichCK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/KarhumakiPV18,
author = {Juhani Karhum{\"{a}}ki and
Dominique Perrin and
Mikhail V. Volkov},
title = {The Salomaa Prize 2018 was given to Dr. Jean-{\'{E}}ric Pin},
journal = {Bull. {EATCS}},
volume = {126},
year = {2018},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/551/548},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/KarhumakiPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HalavaKMV18,
author = {Vesa Halava and
Juhani Karhum{\"{a}}ki and
Yuri V. Matiyasevich and
Mikhail V. Volkov},
title = {Perface},
journal = {Fundam. Informaticae},
volume = {162},
number = {2-3},
pages = {i},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1715},
doi = {10.3233/FI-2018-1715},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/HalavaKMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CassaigneKP18,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki and
Svetlana Puzynina},
title = {On \emph{k}-abelian palindromes},
journal = {Inf. Comput.},
volume = {260},
pages = {89--98},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.04.001},
doi = {10.1016/J.IC.2018.04.001},
timestamp = {Mon, 04 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CassaigneKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/EndrullisKKS18,
author = {J{\"{o}}rg Endrullis and
Juhani Karhum{\"{a}}ki and
Jan Willem Klop and
Aleksi Saarela},
title = {Degrees of Infinite Words, Polynomials and Atoms},
journal = {Int. J. Found. Comput. Sci.},
volume = {29},
number = {5},
pages = {825--843},
year = {2018},
url = {https://doi.org/10.1142/S0129054118420066},
doi = {10.1142/S0129054118420066},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/EndrullisKKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KarhumakiW18,
author = {Juhani Karhum{\"{a}}ki and
Markus A. Whiteland},
editor = {Hans{-}Joachim B{\"{o}}ckenhauer and
Dennis Komm and
Walter Unger},
title = {Regularity of k-Abelian Equivalence Classes of Fixed Cardinality},
booktitle = {Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated
to Juraj Hromkovi{\v{c}} on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11011},
pages = {49--62},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98355-4\_4},
doi = {10.1007/978-3-319-98355-4\_4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KarhumakiW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiPW18,
author = {Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Markus A. Whiteland},
editor = {Mizuho Hoshi and
Shinnosuke Seki},
title = {On Abelian Subshifts},
booktitle = {Developments in Language Theory - 22nd International Conference, {DLT}
2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11088},
pages = {453--464},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98654-8\_37},
doi = {10.1007/978-3-319-98654-8\_37},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-03158,
author = {J{\"{o}}rg Endrullis and
Juhani Karhum{\"{a}}ki and
Jan Willem Klop and
Aleksi Saarela},
title = {Degrees of Infinite Words, Polynomials, and Atoms (Extended Version)},
journal = {CoRR},
volume = {abs/1803.03158},
year = {2018},
url = {http://arxiv.org/abs/1803.03158},
eprinttype = {arXiv},
eprint = {1803.03158},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-03158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/KarhumakiSZ17,
author = {Juhani Karhum{\"{a}}ki and
Aleksi Saarela and
Luca Q. Zamboni},
title = {Variations of the Morse-Hedlund Theorem for \emph{k}-Abelian Equivalence},
journal = {Acta Cybern.},
volume = {23},
number = {1},
pages = {175--189},
year = {2017},
url = {https://doi.org/10.14232/actacyb.23.1.2017.11},
doi = {10.14232/ACTACYB.23.1.2017.11},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/KarhumakiSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/CassaigneKS17,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki and
Aleksi Saarela},
title = {On growth and fluctuation of k-abelian complexity},
journal = {Eur. J. Comb.},
volume = {65},
pages = {92--105},
year = {2017},
url = {https://doi.org/10.1016/j.ejc.2017.05.006},
doi = {10.1016/J.EJC.2017.05.006},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejc/CassaigneKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CassaigneKPW17,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Markus A. Whiteland},
title = {k-Abelian Equivalence and Rationality},
journal = {Fundam. Informaticae},
volume = {154},
number = {1-4},
pages = {65--94},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1553},
doi = {10.3233/FI-2017-1553},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CassaigneKPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiPRW17,
author = {Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Micha{\"{e}}l Rao and
Markus A. Whiteland},
title = {On cardinalities of k-abelian equivalence classes},
journal = {Theor. Comput. Sci.},
volume = {658},
pages = {190--204},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.06.010},
doi = {10.1016/J.TCS.2016.06.010},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiPRW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KarhumakiMM16,
author = {Juhani Karhum{\"{a}}ki and
Vladimir V. Mazalov and
Yuri V. Matiyasevich},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {145},
number = {3},
pages = {i--ii},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1356},
doi = {10.3233/FI-2016-1356},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/KarhumakiMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JurgensenKO16,
author = {Helmut J{\"{u}}rgensen and
Juhani Karhum{\"{a}}ki and
Alexander Okhotin},
title = {Descriptional Complexity of Formal Systems},
journal = {Theor. Comput. Sci.},
volume = {610},
pages = {1},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.11.027},
doi = {10.1016/J.TCS.2015.11.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JurgensenKO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CassaigneKPW16,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Markus A. Whiteland},
editor = {Srecko Brlek and
Christophe Reutenauer},
title = {k-Abelian Equivalence and Rationality},
booktitle = {Developments in Language Theory - 20th International Conference, {DLT}
2016, Montr{\'{e}}al, Canada, July 25-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9840},
pages = {77--88},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53132-7\_7},
doi = {10.1007/978-3-662-53132-7\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CassaigneKPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EndrullisKKS16,
author = {J{\"{o}}rg Endrullis and
Juhani Karhum{\"{a}}ki and
Jan Willem Klop and
Aleksi Saarela},
editor = {Srecko Brlek and
Christophe Reutenauer},
title = {Degrees of Infinite Words, Polynomials and Atoms},
booktitle = {Developments in Language Theory - 20th International Conference, {DLT}
2016, Montr{\'{e}}al, Canada, July 25-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9840},
pages = {164--176},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53132-7\_14},
doi = {10.1007/978-3-662-53132-7\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/EndrullisKKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KarhumakiPRW16,
author = {Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Micha{\"{e}}l Rao and
Markus A. Whiteland},
title = {On cardinalities of k-abelian equivalence classes},
journal = {CoRR},
volume = {abs/1605.03319},
year = {2016},
url = {http://arxiv.org/abs/1605.03319},
eprinttype = {arXiv},
eprint = {1605.03319},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KarhumakiPRW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KarhumakiH15,
author = {Juhani Karhum{\"{a}}ki and
Edward A. Hirsch},
title = {Preface},
journal = {Theory Comput. Syst.},
volume = {56},
number = {4},
pages = {591--592},
year = {2015},
url = {https://doi.org/10.1007/s00224-015-9618-4},
doi = {10.1007/S00224-015-9618-4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KarhumakiH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiZ15,
author = {Juhani Karhum{\"{a}}ki and
Luca Q. Zamboni},
title = {Words 2013},
journal = {Theor. Comput. Sci.},
volume = {601},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.09.010},
doi = {10.1016/J.TCS.2015.09.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/CassaigneKS15,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki and
Aleksi Saarela},
editor = {Lev D. Beklemishev and
Daniil V. Musatov},
title = {On Growth and Fluctuation of k-Abelian Complexity},
booktitle = {Computer Science - Theory and Applications - 10th International Computer
Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9139},
pages = {109--122},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20297-6\_8},
doi = {10.1007/978-3-319-20297-6\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/CassaigneKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FreydenbergerGK15,
author = {Dominik D. Freydenberger and
Pawel Gawrychowski and
Juhani Karhum{\"{a}}ki and
Florin Manea and
Wojciech Rytter},
title = {Testing k-binomial equivalence},
journal = {CoRR},
volume = {abs/1509.00622},
year = {2015},
url = {http://arxiv.org/abs/1509.00622},
eprinttype = {arXiv},
eprint = {1509.00622},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FreydenbergerGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HalavaKM14,
author = {Vesa Halava and
Juhani Karhum{\"{a}}ki and
Yuri V. Matiyasevich},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {132},
number = {1},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1028},
doi = {10.3233/FI-2014-1028},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HalavaKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DeganoKM14,
author = {Pierpaolo Degano and
Juhani Karhum{\"{a}}ki and
Paolo Massazza},
title = {From Models to Languages},
journal = {Fundam. Informaticae},
volume = {134},
number = {3-4},
pages = {i},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1100},
doi = {10.3233/FI-2014-1100},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DeganoKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KarhumakiO14,
author = {Juhani Karhum{\"{a}}ki and
Alexander Okhotin},
editor = {Cristian S. Calude and
Rusins Freivalds and
Kazuo Iwama},
title = {On the Determinization Blowup for Finite Automata Recognizing Equal-Length
Languages},
booktitle = {Computing with New Resources - Essays Dedicated to Jozef Gruska on
the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8808},
pages = {71--82},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13350-8\_6},
doi = {10.1007/978-3-319-13350-8\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KarhumakiO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiP14,
author = {Juhani Karhum{\"{a}}ki and
Svetlana Puzynina},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {On k-Abelian Palindromic Rich and Poor Words},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {191--202},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_17},
doi = {10.1007/978-3-319-09698-8\_17},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiSZ14,
author = {Juhani Karhum{\"{a}}ki and
Aleksi Saarela and
Luca Q. Zamboni},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {Variations of the Morse-Hedlund Theorem for k-Abelian Equivalence},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {203--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_18},
doi = {10.1007/978-3-319-09698-8\_18},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2014,
editor = {Helmut J{\"{u}}rgensen and
Juhani Karhum{\"{a}}ki and
Alexander Okhotin},
title = {Descriptional Complexity of Formal Systems - 16th International Workshop,
{DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8614},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09704-6},
doi = {10.1007/978-3-319-09704-6},
isbn = {978-3-319-09703-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KarhumakiPS13,
author = {Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Aleksi Saarela},
title = {Fine and Wilf's Theorem for k-Abelian Periods},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {7},
pages = {1135--1152},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400352},
doi = {10.1142/S0129054113400352},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KarhumakiPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KarhumakiSZ13,
author = {Juhani Karhum{\"{a}}ki and
Aleksi Saarela and
Luca Q. Zamboni},
title = {On a generalization of Abelian equivalence and complexity of infinite
words},
journal = {J. Comb. Theory, Ser. {A}},
volume = {120},
number = {8},
pages = {2189--2206},
year = {2013},
url = {https://doi.org/10.1016/j.jcta.2013.08.008},
doi = {10.1016/J.JCTA.2013.08.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/KarhumakiSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cwords/2013,
editor = {Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Luca Q. Zamboni},
title = {Combinatorics on Words - 9th International Conference, {WORDS} 2013,
Turku, Finland, September 16-20. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8079},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40579-2},
doi = {10.1007/978-3-642-40579-2},
isbn = {978-3-642-40578-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cwords/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5104,
author = {Juhani Karhum{\"{a}}ki and
Aleksi Saarela and
Luca Q. Zamboni},
title = {On a generalization of Abelian equivalence and complexity of infinite
words},
journal = {CoRR},
volume = {abs/1301.5104},
year = {2013},
url = {http://arxiv.org/abs/1301.5104},
eprinttype = {arXiv},
eprint = {1301.5104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HalavaKNR12,
author = {Vesa Halava and
Juhani Karhum{\"{a}}ki and
Dirk Nowotka and
Grzegorz Rozenberg},
title = {Words, Graphs, Automata, and Languages; Special Issue Honoring the
60th Birthday of Professor Tero Harju},
journal = {Fundam. Informaticae},
volume = {116},
number = {1-4},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-662},
doi = {10.3233/FI-2012-662},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HalavaKNR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AvgustinovichKP12,
author = {Sergey V. Avgustinovich and
Juhani Karhum{\"{a}}ki and
Svetlana Puzynina},
title = {On abelian versions of critical factorization theorem},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {46},
number = {1},
pages = {3--15},
year = {2012},
url = {https://doi.org/10.1051/ita/2011121},
doi = {10.1051/ITA/2011121},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AvgustinovichKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AusielloHKPS12,
author = {Giorgio Ausiello and
Hendrik Jan Hoogeboom and
Juhani Karhum{\"{a}}ki and
Ion Petre and
Arto Salomaa},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {429},
pages = {1--20},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.019},
doi = {10.1016/J.TCS.2011.12.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AusielloHKPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HuovaKS12,
author = {Mari Huova and
Juhani Karhum{\"{a}}ki and
Aleksi Saarela},
title = {Problems in between words and abelian words: k-abelian avoidability},
journal = {Theor. Comput. Sci.},
volume = {454},
pages = {172--177},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.03.010},
doi = {10.1016/J.TCS.2012.03.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HuovaKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuovaK12,
author = {Mari Huova and
Juhani Karhum{\"{a}}ki},
editor = {Henning Bordihn and
Martin Kutrib and
Bianca Truthe},
title = {Equations in the Partial Semigroup of Words with Overlapping Products},
booktitle = {Languages Alive - Essays Dedicated to J{\"{u}}rgen Dassow on
the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7300},
pages = {99--110},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31644-9\_7},
doi = {10.1007/978-3-642-31644-9\_7},
timestamp = {Sun, 25 Oct 2020 23:08:30 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HuovaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiPS12,
author = {Juhani Karhum{\"{a}}ki and
Svetlana Puzynina and
Aleksi Saarela},
editor = {Hsu{-}Chun Yen and
Oscar H. Ibarra},
title = {Fine and Wilf's Theorem for k-Abelian Periods},
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 = {296--307},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31653-1\_27},
doi = {10.1007/978-3-642-31653-1\_27},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csr/2012,
editor = {Edward A. Hirsch and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Michail Kh. Prilutskii},
title = {Computer Science - Theory and Applications - 7th International Computer
Science Symposium in Russia, {CSR} 2012, Nizhny Novgorod, Russia,
July 3-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7353},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30642-6},
doi = {10.1007/978-3-642-30642-6},
isbn = {978-3-642-30641-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KarhumakiS11,
author = {Juhani Karhum{\"{a}}ki and
Aleksi Saarela},
title = {The Unique Decipherability in the Monoid of Regular Languages is Undecidable},
journal = {Fundam. Informaticae},
volume = {110},
number = {1-4},
pages = {197--200},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-537},
doi = {10.3233/FI-2011-537},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KarhumakiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/karhumakiPRS11,
author = {Juhani Karhum{\"{a}}ki and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {110},
number = {1-4},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-523},
doi = {10.3233/FI-2011-523},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/karhumakiPRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KarhumakiP11,
author = {Juhani Karhum{\"{a}}ki and
Svetlana Puzynina},
title = {Locally catenative sequences and Turtle graphics},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {45},
number = {3},
pages = {311--330},
year = {2011},
url = {https://doi.org/10.1051/ita/2011104},
doi = {10.1051/ITA/2011104},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KarhumakiP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ChoffrutK11,
author = {Christian Choffrut and
Juhani Karhum{\"{a}}ki},
title = {Unique Decipherability in the Monoid of Languages: An Application
of Rational Relations},
journal = {Theory Comput. Syst.},
volume = {49},
number = {2},
pages = {355--364},
year = {2011},
url = {https://doi.org/10.1007/s00224-011-9324-9},
doi = {10.1007/S00224-011-9324-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ChoffrutK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuovaKSS11,
author = {Mari Huova and
Juhani Karhum{\"{a}}ki and
Aleksi Saarela and
Kalle Saari},
editor = {Cristian S. Calude and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Local Squares, Periodicity and Finite Automata},
booktitle = {Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion
of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6570},
pages = {90--101},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19391-0\_7},
doi = {10.1007/978-3-642-19391-0\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HuovaKSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/KarhumakiS11,
author = {Juhani Karhum{\"{a}}ki and
Turo Sallinen},
editor = {Cristian S. Calude and
Jarkko Kari and
Ion Petre and
Grzegorz Rozenberg},
title = {Weighted Finite Automata: Computing with Different Topologies},
booktitle = {Unconventional Computation - 10th International Conference, {UC} 2011,
Turku, Finland, June 6-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6714},
pages = {14--33},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21341-0\_6},
doi = {10.1007/978-3-642-21341-0\_6},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/KarhumakiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/KarhumakiLR10,
author = {Juhani Karhum{\"{a}}ki and
Yury Lifshits and
Wojciech Rytter},
title = {Tiling Periodicity},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {12},
number = {2},
pages = {237--248},
year = {2010},
url = {https://doi.org/10.46298/dmtcs.517},
doi = {10.46298/DMTCS.517},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/KarhumakiLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/KarhumakiS10,
author = {Juhani Karhum{\"{a}}ki and
Aleksi Saarela},
title = {Noneffective Regularity of Equality Languages and Bounded Delay Morphisms},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {12},
number = {4},
pages = {9--18},
year = {2010},
url = {https://doi.org/10.46298/dmtcs.523},
doi = {10.46298/DMTCS.523},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/KarhumakiS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KarhumakiKO10,
author = {Juhani Karhum{\"{a}}ki and
Michal Kunc and
Alexander Okhotin},
title = {Computational power of two stacks with restricted communication},
journal = {Inf. Comput.},
volume = {208},
number = {9},
pages = {1060--1089},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.07.001},
doi = {10.1016/J.IC.2009.07.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KarhumakiKO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraKO10,
author = {Oscar H. Ibarra and
Juhani Karhum{\"{a}}ki and
Alexander Okhotin},
title = {On stateless multihead automata: Hierarchies and the emptiness problem},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {3},
pages = {581--593},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.09.001},
doi = {10.1016/J.TCS.2009.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraKO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Karhumaki09,
author = {Juhani Karhum{\"{a}}ki},
title = {On the Power of Cooperating Morphisms via Reachability Problems},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {803--818},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006899},
doi = {10.1142/S0129054109006899},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Karhumaki09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CassaigneKS09,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki and
Petri Salmela},
title = {Conjugacy of finite biprefix codes},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {24-25},
pages = {2345--2351},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.02.030},
doi = {10.1016/J.TCS.2009.02.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CassaigneKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/ChoffrutK09,
author = {Christian Choffrut and
Juhani Karhum{\"{a}}ki},
editor = {Anna E. Frid and
Andrey Morozov and
Andrey Rybalchenko and
Klaus W. Wagner},
title = {Unique Decipherability in the Monoid of Languages: An Application
of Rational Relations},
booktitle = {Computer Science - Theory and Applications, Fourth International Computer
Science Symposium in Russia, {CSR} 2009, Novosibirsk, Russia, August
18-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5675},
pages = {71--79},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03351-3\_9},
doi = {10.1007/978-3-642-03351-3\_9},
timestamp = {Mon, 01 Mar 2021 13:46:21 +0100},
biburl = {https://dblp.org/rec/conf/csr/ChoffrutK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/BellHHKP08,
author = {Paul Bell and
Vesa Halava and
Tero Harju and
Juhani Karhum{\"{a}}ki and
Igor Potapov},
title = {Matrix Equations and Hilbert's Tenth Problem},
journal = {Int. J. Algebra Comput.},
volume = {18},
number = {8},
pages = {1231--1241},
year = {2008},
url = {https://doi.org/10.1142/S0218196708004925},
doi = {10.1142/S0218196708004925},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/BellHHKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HarjuK08,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {19},
number = {3},
pages = {495--496},
year = {2008},
url = {https://doi.org/10.1142/S0129054108005784},
doi = {10.1142/S0129054108005784},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/HarjuK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HalavaHHK08,
author = {Vesa Halava and
Tero Harju and
Mika Hirvensalo and
Juhani Karhum{\"{a}}ki},
title = {Post Correspondence Problem for short words},
journal = {Inf. Process. Lett.},
volume = {108},
number = {3},
pages = {115--118},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.04.013},
doi = {10.1016/J.IPL.2008.04.013},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/HalavaHHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KarhumakiKK08,
author = {Juhani Karhum{\"{a}}ki and
Jarkko Kari and
Joachim Kupke},
title = {Binary operations on automatic functions},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {42},
number = {2},
pages = {217--236},
year = {2008},
url = {https://doi.org/10.1051/ita:2007036},
doi = {10.1051/ITA:2007036},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KarhumakiKK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BerstelHK08,
author = {Jean Berstel and
Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {Preface},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {42},
number = {4},
pages = {657},
year = {2008},
url = {https://doi.org/10.1051/ita:2008001},
doi = {10.1051/ITA:2008001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/BerstelHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiS08,
author = {Juhani Karhum{\"{a}}ki and
Aleksi Saarela},
editor = {Masami Ito and
Masafumi Toyama},
title = {An Analysis and a Reproof of Hmelevskii's Theorem},
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 = {467--478},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_37},
doi = {10.1007/978-3-540-85780-8\_37},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/IbarraKO08,
author = {Oscar H. Ibarra and
Juhani Karhum{\"{a}}ki and
Alexander Okhotin},
editor = {Eduardo Sany Laber and
Claudson F. Bornstein and
Loana Tito Nogueira and
Lu{\'{e}}rbio Faria},
title = {On Stateless Multihead Automata: Hierarchies and the Emptiness Problem},
booktitle = {{LATIN} 2008: Theoretical Informatics, 8th Latin American Symposium,
B{\'{u}}zios, Brazil, April 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4957},
pages = {94--105},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78773-0\_9},
doi = {10.1007/978-3-540-78773-0\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/IbarraKO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Karhumaki08,
author = {Juhani Karhum{\"{a}}ki},
editor = {Vesa Halava and
Igor Potapov},
title = {Reachability via Cooperating Morphisms},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {15--27},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.028},
doi = {10.1016/J.ENTCS.2008.12.028},
timestamp = {Fri, 17 Feb 2023 11:00:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Karhumaki08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2008,
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3},
doi = {10.1007/978-0-387-09680-3},
isbn = {978-0-387-09679-7},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2008,
editor = {Viliam Geffert and
Juhani Karhum{\"{a}}ki and
Alberto Bertoni and
Bart Preneel and
Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
Smokovec, Slovakia, January 19-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4910},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77566-9},
doi = {10.1007/978-3-540-77566-9},
isbn = {978-3-540-77565-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2008-2,
editor = {Viliam Geffert and
Juhani Karhum{\"{a}}ki and
Alberto Bertoni and
Bart Preneel and
Pavol N{\'{a}}vrat and
M{\'{a}}ria Bielikov{\'{a}}},
title = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
Forum},
publisher = {Safarik University, Kosice, Slovakia},
year = {2008},
isbn = {978-80-7097-697-5},
timestamp = {Tue, 25 Nov 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/2008-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CzeizlerK07,
author = {Elena Czeizler and
Juhani Karhum{\"{a}}ki},
title = {On Non-Periodic Solutions of Independent Systems of Word Equations
over Three Unknowns},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {4},
pages = {873--897},
year = {2007},
url = {https://doi.org/10.1142/S0129054107005030},
doi = {10.1142/S0129054107005030},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CzeizlerK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CzeizlerHKL07,
author = {Elena Czeizler and
Stepan Holub and
Juhani Karhum{\"{a}}ki and
Markku Laine},
title = {Intricacies of Simple Word Equations: an Example},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {6},
pages = {1167--1175},
year = {2007},
url = {https://doi.org/10.1142/S0129054107005212},
doi = {10.1142/S0129054107005212},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CzeizlerHKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/HalavaHK07,
author = {Vesa Halava and
Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {The Structure of Infinite Solutions of Marked and Binary Post Correspondence
Problems},
journal = {Theory Comput. Syst.},
volume = {40},
number = {1},
pages = {43--54},
year = {2007},
url = {https://doi.org/10.1007/s00224-005-1222-6},
doi = {10.1007/S00224-005-1222-6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/HalavaHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HalavaHKL07,
author = {Vesa Halava and
Tero Harju and
Juhani Karhum{\"{a}}ki and
Michel Latteux},
title = {Extension of the decidability of the marked {PCP} to instances with
unique blocks},
journal = {Theor. Comput. Sci.},
volume = {380},
number = {3},
pages = {355--362},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.024},
doi = {10.1016/J.TCS.2007.03.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HalavaHKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/KarhumakiLR07,
author = {Juhani Karhum{\"{a}}ki and
Yury Lifshits and
Wojciech Rytter},
editor = {Bin Ma and
Kaizhong Zhang},
title = {Tiling Periodicity},
booktitle = {Combinatorial Pattern Matching, 18th Annual Symposium, {CPM} 2007,
London, Canada, July 9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4580},
pages = {295--306},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73437-6\_30},
doi = {10.1007/978-3-540-73437-6\_30},
timestamp = {Mon, 13 Mar 2023 16:58:28 +0100},
biburl = {https://dblp.org/rec/conf/cpm/KarhumakiLR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2007,
editor = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}}},
title = {Developments in Language Theory, 11th International Conference, {DLT}
2007, Turku, Finland, July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4588},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73208-2},
doi = {10.1007/978-3-540-73208-2},
isbn = {978-3-540-73207-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HalavaHK06,
author = {Vesa Halava and
Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {Undecidability in omega-Regular Languages},
journal = {Fundam. Informaticae},
volume = {73},
number = {1-2},
pages = {119--125},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-1-2-11},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HalavaHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BertoniEK06,
author = {Alberto Bertoni and
Zolt{\'{a}}n {\'{E}}sik and
Juhani Karhum{\"{a}}ki},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {356},
number = {1-2},
pages = {1--5},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.044},
doi = {10.1016/J.TCS.2006.01.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BertoniEK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiKO06,
author = {Juhani Karhum{\"{a}}ki and
Michal Kunc and
Alexander Okhotin},
title = {Computing by commuting},
journal = {Theor. Comput. Sci.},
volume = {356},
number = {1-2},
pages = {200--211},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.051},
doi = {10.1016/J.TCS.2006.01.051},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiKO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarhumakiKO06,
author = {Juhani Karhum{\"{a}}ki and
Michal Kunc and
Alexander Okhotin},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Communication of Two Stacks and Rewriting},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {468--479},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_40},
doi = {10.1007/11787006\_40},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarhumakiKO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsmnlp/2005,
editor = {Anssi Yli{-}Jyr{\"{a}} and
Lauri Karttunen and
Juhani Karhum{\"{a}}ki},
title = {Finite-State Methods and Natural Language Processing, 5th International
Workshop, {FSMNLP} 2005, Helsinki, Finland, September 1-2, 2005. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {4002},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780885},
doi = {10.1007/11780885},
isbn = {3-540-35467-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsmnlp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/ChoffrutK05,
author = {Christian Choffrut and
Juhani Karhum{\"{a}}ki},
title = {Some decision problems on integer matrices},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {39},
number = {1},
pages = {125--131},
year = {2005},
url = {https://doi.org/10.1051/ita:2005007},
doi = {10.1051/ITA:2005007},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/ChoffrutK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KarhumakiLP05,
author = {Juhani Karhum{\"{a}}ki and
Michel Latteux and
Ion Petre},
title = {Commutation with Ternary Sets of Words},
journal = {Theory Comput. Syst.},
volume = {38},
number = {2},
pages = {161--169},
year = {2005},
url = {https://doi.org/10.1007/s00224-004-1191-1},
doi = {10.1007/S00224-004-1191-1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KarhumakiLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiR05,
author = {Juhani Karhum{\"{a}}ki and
Grzegorz Rozenberg},
title = {Preface: Insightful Theory},
journal = {Theor. Comput. Sci.},
volume = {330},
number = {1},
pages = {1},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.005},
doi = {10.1016/J.TCS.2004.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiPR05,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
title = {On the complexity of decidable cases of the commutation problem of
languages},
journal = {Theor. Comput. Sci.},
volume = {337},
number = {1-3},
pages = {105--118},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.03.073},
doi = {10.1016/J.TCS.2004.03.073},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuKR05,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Antonio Restivo},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {339},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.01.002},
doi = {10.1016/J.TCS.2005.01.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiLP05,
author = {Juhani Karhum{\"{a}}ki and
Michel Latteux and
Ion Petre},
title = {Commutation with codes},
journal = {Theor. Comput. Sci.},
volume = {340},
number = {1},
pages = {322--333},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.03.037},
doi = {10.1016/J.TCS.2005.03.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DiazK05,
author = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {348},
number = {2-3},
pages = {129},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.09.009},
doi = {10.1016/J.TCS.2005.09.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DiazK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KarhumakiS04,
author = {Juhani Karhum{\"{a}}ki and
Jeffrey O. Shallit},
title = {Polynomial versus exponential growth in repetition-free binary words},
journal = {J. Comb. Theory, Ser. {A}},
volume = {105},
number = {2},
pages = {335--347},
year = {2004},
url = {https://doi.org/10.1016/j.jcta.2003.12.004},
doi = {10.1016/J.JCTA.2003.12.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/KarhumakiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuK04,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {Many aspects of defect theorems},
journal = {Theor. Comput. Sci.},
volume = {324},
number = {1},
pages = {35--54},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.051},
doi = {10.1016/J.TCS.2004.03.051},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CulikKS04,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki and
Petri Salmela},
editor = {Natasa Jonoska and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Fixed Point Approach to Commutation of Languages},
booktitle = {Aspects of Molecular Computing, Essays Dedicated to Tom Head on the
Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2950},
pages = {119--131},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24635-0\_8},
doi = {10.1007/978-3-540-24635-0\_8},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/CulikKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/Karhumaki04,
author = {Juhani Karhum{\"{a}}ki},
editor = {Maurice Margenstern},
title = {Finite Sets of Words and Computing},
booktitle = {Machines, Computations, and Universality, 4th International Conference,
{MCU} 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3354},
pages = {36--49},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31834-7\_3},
doi = {10.1007/978-3-540-31834-7\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcu/Karhumaki04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2004salomaa,
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion
of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3113},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98751},
doi = {10.1007/B98751},
isbn = {3-540-22393-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2004salomaa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2004,
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b99859},
doi = {10.1007/B99859},
isbn = {3-540-22849-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KarhumakiPR03,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
title = {The complexity of compressing subsegments of images described by finite
automata},
journal = {Discret. Appl. Math.},
volume = {125},
number = {2-3},
pages = {235--254},
year = {2003},
url = {https://doi.org/10.1016/S0166-218X(02)00196-8},
doi = {10.1016/S0166-218X(02)00196-8},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KarhumakiPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HalavaHK03,
author = {Vesa Halava and
Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {Decidability of the binary infinite Post Correspondence Problem},
journal = {Discret. Appl. Math.},
volume = {130},
number = {3},
pages = {521--526},
year = {2003},
url = {https://doi.org/10.1016/S0166-218X(03)00330-5},
doi = {10.1016/S0166-218X(03)00330-5},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HalavaHK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BerstelK03,
author = {Jean Berstel and
Juhani Karhum{\"{a}}ki},
title = {Combinatorics on words: a tutorial},
journal = {Bull. {EATCS}},
volume = {79},
pages = {178},
year = {2003},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BerstelK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KarhumakiL03,
author = {Juhani Karhum{\"{a}}ki and
Leonid P. Lisovik},
title = {A simple undecidable problem: the inclusion problem for finite substitutions
on ab*c},
journal = {Inf. Comput.},
volume = {187},
number = {1},
pages = {40--48},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00120-2},
doi = {10.1016/S0890-5401(03)00120-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KarhumakiL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KarhumakiL03,
author = {Juhani Karhum{\"{a}}ki and
Leonid P. Lisovik},
title = {The Equivalence Problem of Finite Substitutions on ab*c, with Applications},
journal = {Int. J. Found. Comput. Sci.},
volume = {14},
number = {4},
pages = {699},
year = {2003},
url = {https://doi.org/10.1142/S0129054103001960},
doi = {10.1142/S0129054103001960},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KarhumakiL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiMP03,
author = {Juhani Karhum{\"{a}}ki and
J{\'{a}}n Manuch and
Wojciech Plandowski},
title = {A defect theorem for bi-infinite words},
journal = {Theor. Comput. Sci.},
volume = {292},
number = {1},
pages = {237--243},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00225-0},
doi = {10.1016/S0304-3975(01)00225-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KarhumakiLP03,
author = {Juhani Karhum{\"{a}}ki and
Michel Latteux and
Ion Petre},
editor = {Helmut Alt and
Michel Habib},
title = {The Commutation with Codes and Ternary Sets of Words},
booktitle = {{STACS} 2003, 20th Annual Symposium on Theoretical Aspects of Computer
Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2607},
pages = {74--84},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36494-3\_8},
doi = {10.1007/3-540-36494-3\_8},
timestamp = {Thu, 14 Oct 2021 10:38:16 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KarhumakiLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Karhumaki03,
author = {Juhani Karhum{\"{a}}ki},
editor = {Oscar H. Ibarra and
Zhe Dang},
title = {Automata on Words},
booktitle = {Implementation and Application of Automata, 8th International Conference,
{CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2759},
pages = {3--10},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45089-0\_2},
doi = {10.1007/3-540-45089-0\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/Karhumaki03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/math-CO-0304095,
author = {Juhani Karhum{\"{a}}ki and
Jeffrey O. Shallit},
title = {Polynomial versus Exponential Growth in Repetition-Free Binary Words},
journal = {CoRR},
volume = {math.CO/0304095},
year = {2003},
url = {http://arxiv.org/abs/math/0304095},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/math-CO-0304095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HromkovicSKKS02,
author = {Juraj Hromkovic and
Sebastian Seibert and
Juhani Karhum{\"{a}}ki and
Hartmut Klauck and
Georg Schnitger},
title = {Communication Complexity Method for Measuring Nondeterminism in Finite
Automata},
journal = {Inf. Comput.},
volume = {172},
number = {2},
pages = {202--217},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.3069},
doi = {10.1006/INCO.2001.3069},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HromkovicSKKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CulikKK02,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki and
Jarkko Kari},
title = {A Note on Synchronized Automata and Road Coloring Problem},
journal = {Int. J. Found. Comput. Sci.},
volume = {13},
number = {3},
pages = {459--471},
year = {2002},
url = {https://doi.org/10.1142/S0129054102001217},
doi = {10.1142/S0129054102001217},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CulikKK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarjuIKS02,
author = {Tero Harju and
Oscar H. Ibarra and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Some Decision Problems Concerning Semilinearity and Commutation},
journal = {J. Comput. Syst. Sci.},
volume = {65},
number = {2},
pages = {278--294},
year = {2002},
url = {https://doi.org/10.1006/jcss.2002.1836},
doi = {10.1006/JCSS.2002.1836},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarjuIKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KarhumakiLP02,
author = {Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Wojciech Plandowski},
title = {Locally Periodic Versus Globally Periodic Infinite Words},
journal = {J. Comb. Theory, Ser. {A}},
volume = {100},
number = {2},
pages = {250--264},
year = {2002},
url = {https://doi.org/10.1006/jcta.2002.3292},
doi = {10.1006/JCTA.2002.3292},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/KarhumakiLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChoffrutKO02,
author = {Christian Choffrut and
Juhani Karhum{\"{a}}ki and
Nicolas Ollinger},
title = {The commutation of finite sets: a challenging problem},
journal = {Theor. Comput. Sci.},
volume = {273},
number = {1-2},
pages = {69--79},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00434-5},
doi = {10.1016/S0304-3975(00)00434-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChoffrutKO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiM02,
author = {Juhani Karhum{\"{a}}ki and
J{\'{a}}n Manuch},
title = {Multiple factorizations of words and defect effect},
journal = {Theor. Comput. Sci.},
volume = {273},
number = {1-2},
pages = {81--97},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00435-7},
doi = {10.1016/S0304-3975(00)00435-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiP02,
author = {Juhani Karhum{\"{a}}ki and
Ion Petre},
title = {Conway's problem for three-word sets},
journal = {Theor. Comput. Sci.},
volume = {289},
number = {1},
pages = {705--725},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00389-9},
doi = {10.1016/S0304-3975(01)00389-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KarhumakiP02,
author = {Juhani Karhum{\"{a}}ki and
Ion Petre},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {The Branching Point Approach to Conway's Problem},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {69--76},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_5},
doi = {10.1007/3-540-45711-9\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KarhumakiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarhumakiL02,
author = {Juhani Karhum{\"{a}}ki and
Leonid P. Lisovik},
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan J. Eidenbenz and
Ricardo Conejo},
title = {The Equivalence Problem of Finite Substitutions on ab\({}^{\mbox{*}}\)c,
with Applications},
booktitle = {Automata, Languages and Programming, 29th International Colloquium,
{ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2380},
pages = {812--820},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45465-9\_69},
doi = {10.1007/3-540-45465-9\_69},
timestamp = {Wed, 11 Sep 2019 13:15:53 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarhumakiL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Karhumaki02,
author = {Juhani Karhum{\"{a}}ki},
editor = {Krzysztof Diks and
Wojciech Rytter},
title = {Applications of Finite Automata},
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 = {40--58},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45687-2\_3},
doi = {10.1007/3-540-45687-2\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Karhumaki02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HirvensaloK02,
author = {Mika Hirvensalo and
Juhani Karhum{\"{a}}ki},
editor = {Krzysztof Diks and
Wojciech Rytter},
title = {Computing Partial Information out of Intractable One - The First Digit
of 2\({}^{\mbox{ n }}\) at Base 3 as an Example},
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 = {319--327},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45687-2\_26},
doi = {10.1007/3-540-45687-2\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HirvensaloK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2002rozenberg,
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9},
doi = {10.1007/3-540-45711-9},
isbn = {3-540-43190-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2002rozenberg.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/KarhumakiP01,
author = {Juhani Karhum{\"{a}}ki and
Ion Petre},
title = {Conway's Problem and the Communication of Languages},
journal = {Bull. {EATCS}},
volume = {74},
pages = {171--189},
year = {2001},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/KarhumakiP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CassaigneKM01,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki and
J{\'{a}}n Manuch},
title = {On Conjugacy of Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {35},
number = {6},
pages = {535--550},
year = {2001},
url = {https://doi.org/10.1051/ita:2001130},
doi = {10.1051/ITA:2001130},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/CassaigneKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChoffrutK01,
author = {Christian Choffrut and
Juhani Karhum{\"{a}}ki},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {On Fatou properties of rational languages},
booktitle = {Where Mathematics, Computer Science, Linguistics and Biology Meet:
Essays in Honour of Gheorghe Paun},
pages = {227--235},
publisher = {Kluwer Academic Publishers},
year = {2001},
timestamp = {Fri, 09 Dec 2011 11:05:54 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ChoffrutK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CulikKK01,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki and
Jarkko Kari},
editor = {Werner Kuich and
Grzegorz Rozenberg and
Arto Salomaa},
title = {A Note on Synchronized Automata and Road Coloring Problem},
booktitle = {Developments in Language Theory, 5th International Conference, {DLT}
2001, Vienna, Austria, July 16-21, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2295},
pages = {175--185},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46011-X\_14},
doi = {10.1007/3-540-46011-X\_14},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/CulikKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Karhumaki01,
author = {Juhani Karhum{\"{a}}ki},
editor = {Rusins Freivalds},
title = {Challenges of Commutation},
booktitle = {Fundamentals of Computation Theory, 13th International Symposium,
{FCT} 2001, Riga, Latvia, August 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2138},
pages = {15--23},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44669-9\_3},
doi = {10.1007/3-540-44669-9\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Karhumaki01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KarhumakiPR01,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
editor = {Rusins Freivalds},
title = {On the Complexity of Decidable Cases of Commutation Problem for Languages},
booktitle = {Fundamentals of Computation Theory, 13th International Symposium,
{FCT} 2001, Riga, Latvia, August 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2138},
pages = {193--203},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44669-9\_20},
doi = {10.1007/3-540-44669-9\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/KarhumakiPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HarjuIKS01,
author = {Tero Harju and
Oscar H. Ibarra and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
editor = {Fernando Orejas and
Paul G. Spirakis and
Jan van Leeuwen},
title = {Decision Questions Concerning Semilinearity, Morphisms, and Commutation
of Languages},
booktitle = {Automata, Languages and Programming, 28th International Colloquium,
{ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2076},
pages = {579--590},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48224-5\_48},
doi = {10.1007/3-540-48224-5\_48},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HarjuIKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/Karhumaki01,
author = {Juhani Karhum{\"{a}}ki},
editor = {Maurice Margenstern and
Yurii Rogozhin},
title = {Combinatorial and Computational Problems on Finite Sets of Words},
booktitle = {Machines, Computations, and Universality, Third International Conference,
{MCU} 2001, Chisinau, Moldova, May 23-27, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2055},
pages = {69--81},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45132-3\_4},
doi = {10.1007/3-540-45132-3\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcu/Karhumaki01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KarhumakiL01,
author = {Juhani Karhum{\"{a}}ki and
Leonid P. Lisovik},
editor = {Afonso Ferreira and
Horst Reichel},
title = {A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions
on ab\({}^{\mbox{*}}\)c},
booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
Science, Dresden, Germany, February 15-17, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2010},
pages = {388--395},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44693-1\_34},
doi = {10.1007/3-540-44693-1\_34},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KarhumakiL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KarhumakiMP00,
author = {Juhani Karhum{\"{a}}ki and
Filippo Mignosi and
Wojciech Plandowski},
title = {The expressibility of languages and relations by word equations},
journal = {J. {ACM}},
volume = {47},
number = {3},
pages = {483--505},
year = {2000},
url = {https://doi.org/10.1145/337244.337255},
doi = {10.1145/337244.337255},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/KarhumakiMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KarhumakiPR00,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
title = {Pattern-Matching Problems for Two-Dimensional Images Described by
Finite Automata},
journal = {Nord. J. Comput.},
volume = {7},
number = {1},
pages = {1--13},
year = {2000},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KarhumakiPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HromkovicKKSS00,
author = {Juraj Hromkovic and
Juhani Karhum{\"{a}}ki and
Hartmut Klauck and
Georg Schnitger and
Sebastian Seibert},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Measures of Nondeterminism in Finite Automata},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {199--210},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_17},
doi = {10.1007/3-540-45022-X\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HromkovicKKSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarhumakiP00,
author = {Juhani Karhum{\"{a}}ki and
Ion Petre},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {On the Centralizer of a Finite Set},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {536--546},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_45},
doi = {10.1007/3-540-45022-X\_45},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarhumakiP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR00-076,
author = {Juraj Hromkovic and
Juhani Karhum{\"{a}}ki and
Hartmut Klauck and
Georg Schnitger and
Sebastian Seibert},
title = {Measures of Nondeterminism in Finite Automata},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR00-076}},
year = {2000},
url = {https://eccc.weizmann.ac.il/eccc-reports/2000/TR00-076/index.html},
eprinttype = {ECCC},
eprint = {TR00-076},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR00-076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KarhumakiM99,
author = {Juhani Karhum{\"{a}}ki and
Sabrina Mantaci},
title = {Defect Theorems for Trees},
journal = {Fundam. Informaticae},
volume = {38},
number = {1-2},
pages = {119--133},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-381210},
doi = {10.3233/FI-1999-381210},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KarhumakiM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/CassaigneHK99,
author = {Julien Cassaigne and
Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {On the Undecidability of Freeness of Matrix Semigroups},
journal = {Int. J. Algebra Comput.},
volume = {9},
number = {3-4},
pages = {295--306},
year = {1999},
url = {https://doi.org/10.1142/S0218196799000199},
doi = {10.1142/S0218196799000199},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/CassaigneHK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiPR99,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
title = {Generalized Factorizations of Words and Their Algorithmic Properties},
journal = {Theor. Comput. Sci.},
volume = {218},
number = {1},
pages = {123--133},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00254-0},
doi = {10.1016/S0304-3975(98)00254-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiPR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki99,
author = {Juhani Karhum{\"{a}}ki},
title = {A Short Biography of Arto Salomaa},
journal = {Theor. Comput. Sci.},
volume = {226},
number = {1-2},
pages = {3--5},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(99)00060-2},
doi = {10.1016/S0304-3975(99)00060-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KarhumakiL99,
author = {Juhani Karhum{\"{a}}ki and
Leonid P. Lisovik},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {On the Equivalence of Finite Substitutions and Transducers},
booktitle = {Jewels are Forever, Contributions on Theoretical Computer Science
in Honor of Arto Salomaa},
pages = {97--108},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 29 Jul 2002 11:58:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KarhumakiL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/KarhumakiPR99,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
editor = {Maxime Crochemore and
Mike Paterson},
title = {The Compression of Subsegments of Images Described by Finite Automata},
booktitle = {Combinatorial Pattern Matching, 10th Annual Symposium, {CPM} 99, Warwick
University, UK, July 22-24, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1645},
pages = {186--195},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48452-3\_14},
doi = {10.1007/3-540-48452-3\_14},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/cpm/KarhumakiPR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiM99,
author = {Juhani Karhum{\"{a}}ki and
Sabrina Mantaci},
editor = {Grzegorz Rozenberg and
Wolfgang Thomas},
title = {Defect theorems for trees},
booktitle = {Developments in Language Theory, Foundations, Applications, and Perspectives,
Aachen, Germany, 6-9 July 1999},
pages = {164--177},
publisher = {World Scientific},
year = {1999},
url = {https://doi.org/10.1142/9789812792464\_0014},
doi = {10.1142/9789812792464\_0014},
timestamp = {Thu, 27 Jun 2019 11:28:34 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiP99,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski},
editor = {Grzegorz Rozenberg and
Wolfgang Thomas},
title = {On the complexity of computing the order of repetition of a string},
booktitle = {Developments in Language Theory, Foundations, Applications, and Perspectives,
Aachen, Germany, 6-9 July 1999},
pages = {178--184},
publisher = {World Scientific},
year = {1999},
url = {https://doi.org/10.1142/9789812792464\_0015},
doi = {10.1142/9789812792464\_0015},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1999salomaa,
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Jewels are Forever, Contributions on Theoretical Computer Science
in Honor of Arto Salomaa},
publisher = {Springer},
year = {1999},
isbn = {3-540-65984-6},
timestamp = {Mon, 29 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/1999salomaa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CassaigneK98,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki},
title = {Examples of Undecidable Problems for 2-Generator Matrix Semigroups},
journal = {Theor. Comput. Sci.},
volume = {204},
number = {1-2},
pages = {29--34},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(98)00029-2},
doi = {10.1016/S0304-3975(98)00029-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CassaigneK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarhumakiLP98,
author = {Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Wojciech Plandowski},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Locally Periodic Infinite Words and a Chaotic Behaviour},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {421--430},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055072},
doi = {10.1007/BFB0055072},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarhumakiLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KarhumakiMP98,
author = {Juhani Karhum{\"{a}}ki and
J{\'{a}}n Manuch and
Wojciech Plandowski},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {On Defect Effect of Bi-Infinite Words},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {674--682},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055818},
doi = {10.1007/BFB0055818},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KarhumakiMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/CassaigneK97,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki},
title = {Toeplitz Words, Generalized Periodicity and Periodically Iterated
Morphisms},
journal = {Eur. J. Comb.},
volume = {18},
number = {5},
pages = {497--510},
year = {1997},
url = {https://doi.org/10.1006/eujc.1996.0110},
doi = {10.1006/EUJC.1996.0110},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/CassaigneK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/HarjuKP97,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Wojciech Plandowski},
title = {Compactness of Systems of Equations in Semigroups},
journal = {Int. J. Algebra Comput.},
volume = {7},
number = {4},
pages = {457--470},
year = {1997},
url = {https://doi.org/10.1142/S0218196797000204},
doi = {10.1142/S0218196797000204},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/HarjuKP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChoffrutHK97,
author = {Christian Choffrut and
Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {A Note on Decidability Questions on Presentations of Word Semigroups},
journal = {Theor. Comput. Sci.},
volume = {183},
number = {1},
pages = {83--92},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00311-8},
doi = {10.1016/S0304-3975(96)00311-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChoffrutHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarjuKP97,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Mario Petrich},
editor = {Jan Mycielski and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Compactness of Systems of Equations on Completely Regular Semigroups},
booktitle = {Structures in Logic and Computer Science, {A} Selection of Essays
in Honor of Andrzej Ehrenfeucht},
series = {Lecture Notes in Computer Science},
volume = {1261},
pages = {268--280},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63246-8\_16},
doi = {10.1007/3-540-63246-8\_16},
timestamp = {Sat, 30 May 2020 20:05:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarjuKP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HromkovicK97,
author = {Juraj Hromkovic and
Juhani Karhum{\"{a}}ki},
editor = {Gheorghe Paun and
Arto Salomaa},
title = {Two Lower Bounds on Computational Complexity of Infinite Words},
booktitle = {New Trends in Formal Languages - Control, Cooperation, and Combinatorics
(to J{\"{u}}rgen Dassow on the occasion of his 50th birthday)},
series = {Lecture Notes in Computer Science},
volume = {1218},
pages = {366--376},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62844-4\_26},
doi = {10.1007/3-540-62844-4\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HromkovicK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KarhumakiPM97,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Filippo Mignosi},
editor = {Symeon Bozapalidis},
title = {A lower bound for a constant in Shallit's conjecture},
booktitle = {Proceedings of the 3rd International Conference Developments in Language
Theory, {DLT} 1997, Thessaloniki, Greece, July 20-23, 1997},
pages = {103--118},
publisher = {Aristotle University of Thessaloniki},
year = {1997},
timestamp = {Tue, 20 May 2008 10:45:10 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KarhumakiPM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KarhumakiPR97,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
editor = {Bogdan S. Chlebus and
Ludwik Czaja},
title = {Pattern-Matching Problems for 2-Dimensional Images Described by Finite
Automata},
booktitle = {Fundamentals of Computation Theory, 11th International Symposium,
{FCT} '97, Krak{\'{o}}w, Poland, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1279},
pages = {245--256},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0036188},
doi = {10.1007/BFB0036188},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/KarhumakiPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarhumakiPM97,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Filippo Mignosi},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Expressibility of Languages and Relations by Word Equations},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {98--109},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_168},
doi = {10.1007/3-540-63165-8\_168},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarhumakiPM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/hfl/ChoffrutK97,
author = {Christian Choffrut and
Juhani Karhum{\"{a}}ki},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Combinatorics of Words},
booktitle = {Handbook of Formal Languages, Volume 1: Word, Language, Grammar},
pages = {329--438},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-59136-5\_6},
doi = {10.1007/978-3-642-59136-5\_6},
timestamp = {Sat, 30 May 2020 20:02:22 +0200},
biburl = {https://dblp.org/rec/reference/hfl/ChoffrutK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/hfl/HarjuK97,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Morphisms},
booktitle = {Handbook of Formal Languages, Volume 1: Word, Language, Grammar},
pages = {439--510},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-59136-5\_7},
doi = {10.1007/978-3-642-59136-5\_7},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/hfl/HarjuK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DerencourtKLT96,
author = {Denis Derencourt and
Juhani Karhum{\"{a}}ki and
Michel Latteux and
Alain Terlutte},
title = {On Computational Power of Weighted Finite Automata},
journal = {Fundam. Informaticae},
volume = {25},
number = {3},
pages = {285--293},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-253406},
doi = {10.3233/FI-1996-253406},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DerencourtKLT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiP96,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski},
title = {On the Size of Independent Systems of Equations in Semigroups},
journal = {Theor. Comput. Sci.},
volume = {168},
number = {1},
pages = {105--119},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)00064-3},
doi = {10.1016/S0304-3975(96)00064-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HarjuKK96,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Daniel Krob},
editor = {Claude Puech and
R{\"{u}}diger Reischuk},
title = {Remarks on Generalized Post Correspondence Problem},
booktitle = {{STACS} 96, 13th Annual Symposium on Theoretical Aspects of Computer
Science, Grenoble, France, February 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1046},
pages = {39--48},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60922-9\_4},
doi = {10.1007/3-540-60922-9\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/HarjuKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KarhumakiPR95,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
title = {Polynomial Size Test Sets for Context-Free Languages},
journal = {J. Comput. Syst. Sci.},
volume = {50},
number = {1},
pages = {11--19},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1002},
doi = {10.1006/JCSS.1995.1002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KarhumakiPR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/CassaigneK95,
author = {Julien Cassaigne and
Juhani Karhum{\"{a}}ki},
editor = {Ding{-}Zhu Du and
Ming Li},
title = {Toeplitz Words, Generalized Periodicity and Periodically Iterated
Morphisms (Extended Abstract)},
booktitle = {Computing and Combinatorics, First Annual International Conference,
{COCOON} '95, Xi'an, China, August 24-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {959},
pages = {244--253},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0030839},
doi = {10.1007/BFB0030839},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/CassaigneK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HarjuKP95,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Wojciech Plandowski},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Compactness of Systems of Equations in Semigroups},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {444--454},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_95},
doi = {10.1007/3-540-60084-1\_95},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HarjuKP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CulikK94,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Iterative Devices Generating Infinite Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {5},
number = {1},
pages = {69--97},
year = {1994},
url = {https://doi.org/10.1142/S0129054194000050},
doi = {10.1142/S0129054194000050},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/CulikK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/DerencourtKLT94,
author = {Denis Derencourt and
Juhani Karhum{\"{a}}ki and
Michel Latteux and
Alain Terlutte},
title = {On Continuous Functions Computed by Finite Automata},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {28},
number = {3-4},
pages = {387--403},
year = {1994},
url = {https://doi.org/10.1051/ita/1994283-403871},
doi = {10.1051/ITA/1994283-403871},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/DerencourtKLT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CulikK94,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Finite Automata Computing Real Functions},
journal = {{SIAM} J. Comput.},
volume = {23},
number = {4},
pages = {789--814},
year = {1994},
url = {https://doi.org/10.1137/S0097539791224893},
doi = {10.1137/S0097539791224893},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/CulikK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HromkovicKL94,
author = {Juraj Hromkovic and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}}},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Grzegorz Rozenberg},
title = {Comparing Descriptional and Computational Complexity of Infinite Words},
booktitle = {Results and Trends in Theoretical Computer Science, Colloquium in
Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {812},
pages = {169--182},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58131-6\_46},
doi = {10.1007/3-540-58131-6\_46},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HromkovicKL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HromkovicK94,
author = {Juraj Hromkovic and
Juhani Karhum{\"{a}}ki},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Two Lower Bounds on Computational Complexity of Infinite Word Generation},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {479--484},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/HromkovicK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KarhumakiP94,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {On the Size of Independent Systems of Equations in Semigroups},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {443--452},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_91},
doi = {10.1007/3-540-58338-6\_91},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KarhumakiP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/94/KarhumakiP94,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski},
editor = {Gheorghe Paun},
title = {On the Defect Effect of Many Identities in Free Semigroups},
booktitle = {Mathematical Aspects of Natural and Formal Languages},
series = {World scientific series in computer science},
volume = {43},
pages = {225--232},
publisher = {World Scientific},
year = {1994},
url = {https://doi.org/10.1142/9789814447133\_0012},
doi = {10.1142/9789814447133\_0012},
timestamp = {Fri, 19 Jul 2019 09:26:49 +0200},
biburl = {https://dblp.org/rec/books/ws/94/KarhumakiP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1994salomaa,
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Grzegorz Rozenberg},
title = {Results and Trends in Theoretical Computer Science, Colloquium in
Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {812},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58131-6},
doi = {10.1007/3-540-58131-6},
isbn = {3-540-58131-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/1994salomaa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki93,
author = {Juhani Karhum{\"{a}}ki},
title = {Equations Over Finite Sets of Words and Equivalence Problems in Automata
Theory},
journal = {Theor. Comput. Sci.},
volume = {108},
number = {1},
pages = {103--118},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90232-I},
doi = {10.1016/0304-3975(93)90232-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KarhumakiRJ93,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Rytter and
Stefan Jarominek},
title = {Efficient constructions of test sets for regular and context-free
languages},
journal = {Theor. Comput. Sci.},
volume = {116},
number = {2},
pages = {305--316},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90325-N},
doi = {10.1016/0304-3975(93)90325-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KarhumakiRJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Karhumaki93,
author = {Juhani Karhum{\"{a}}ki},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {The Impact of the {DOL} Problem},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {586--594},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0045},
doi = {10.1142/9789812794499\_0045},
timestamp = {Mon, 13 Mar 2017 16:29:04 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Karhumaki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki92,
author = {Juhani Karhum{\"{a}}ki},
title = {Multiplicities: {A} Deterministsic View of Nondeterminism},
journal = {Theor. Comput. Sci.},
volume = {98},
number = {1},
pages = {15--25},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90376-Q},
doi = {10.1016/0304-3975(92)90376-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarhumakiPR92,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
editor = {Werner Kuich},
title = {Polynomial Size Test Sets for Context-Free Languages},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {53--64},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_63},
doi = {10.1007/3-540-55719-9\_63},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarhumakiPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DerencourtKLT92,
author = {Denis Derencourt and
Juhani Karhum{\"{a}}ki and
Michel Latteux and
Alain Terlutte},
editor = {Ivan M. Havel and
V{\'{a}}clav Koubek},
title = {On Computational Power of Weighted Finite Automata},
booktitle = {Mathematical Foundations of Computer Science 1992, 17th International
Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {629},
pages = {236--245},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55808-X\_22},
doi = {10.1007/3-540-55808-X\_22},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DerencourtKLT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CulikK92,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Iterative Devices Generating Infinite Words},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {531--543},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_210},
doi = {10.1007/3-540-55210-3\_210},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/CulikK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HromkovicKRS91,
author = {Juraj Hromkovic and
Juhani Karhum{\"{a}}ki and
Branislav Rovan and
Anna Slobodov{\'{a}}},
title = {On the power of synchronization in parallel computations},
journal = {Discret. Appl. Math.},
volume = {32},
number = {2},
pages = {155--182},
year = {1991},
url = {https://doi.org/10.1016/0166-218X(91)90098-H},
doi = {10.1016/0166-218X(91)90098-H},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HromkovicKRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuK91,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki},
title = {The Equivalence Problem of Multitape Finite Automata},
journal = {Theor. Comput. Sci.},
volume = {78},
number = {2},
pages = {347--355},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90356-7},
doi = {10.1016/0304-3975(91)90356-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KarhumakiRJ91,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Rytter and
Stefan Jarominek},
editor = {Andrzej Tarlecki},
title = {Efficient Constructions of Test Sets for Regular and Context-Free
Languages},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {249--258},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_68},
doi = {10.1007/3-540-54345-7\_68},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KarhumakiRJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CulikK90,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Loops in automata and {HDTOL} relations},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {24},
pages = {327--337},
year = {1990},
url = {https://doi.org/10.1051/ita/1990240403271},
doi = {10.1051/ITA/1990240403271},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/CulikK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Karhumaki90,
author = {Juhani Karhum{\"{a}}ki},
editor = {Klaus U. Schulz},
title = {Systems of Equations over a Finite Set of Words and Automata Theory},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {247--249},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_12},
doi = {10.1007/3-540-55124-7\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Karhumaki90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HarjuK90,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki},
editor = {Harriet Ortiz},
title = {Decidability of the Multiplicity Equivalence of Multitape Finite Automata},
booktitle = {Proceedings of the 22nd Annual {ACM} Symposium on Theory of Computing,
May 13-17, 1990, Baltimore, Maryland, {USA}},
pages = {477--481},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/100216.100281},
doi = {10.1145/100216.100281},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HarjuK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CulikK89,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {{HDTOL} Matching of Computations of Multitape Automata},
journal = {Acta Informatica},
volume = {27},
number = {2},
pages = {179--191},
year = {1989},
url = {https://doi.org/10.1007/BF00265153},
doi = {10.1007/BF00265153},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/CulikK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DassowHKRS89,
author = {J{\"{u}}rgen Dassow and
Juraj Hromkovic and
Juhani Karhum{\"{a}}ki and
Branislav Rovan and
Anna Slobodov{\'{a}}},
editor = {Antoni Kreczmar and
Grazyna Mirkowska},
title = {On the Power of Synchronization in Parallel Computations},
booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
Poland, August 28 - September 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {379},
pages = {196--206},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51486-4\_67},
doi = {10.1007/3-540-51486-4\_67},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DassowHKRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CulikK89,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
editor = {Burkhard Monien and
Robert Cori},
title = {On the Equivalence Problem for Deterministic Multitape Automata and
Transducers},
booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer
Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {349},
pages = {468--479},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0029008},
doi = {10.1007/BFB0029008},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/CulikK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/CulikK89,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
editor = {R. Narasimhan},
title = {A note on {HDTOL} Languages and the Equivalence of Deterministic Pushdown
Transducers},
booktitle = {A Perspective in Theoretical Computer Science - Commemorative Volume
for Gift Siromoney},
series = {World Scientific Series in Computer Science},
volume = {16},
pages = {23--32},
publisher = {World Scientific},
year = {1989},
url = {https://doi.org/10.1142/9789814368452\_0002},
doi = {10.1142/9789814368452\_0002},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/CulikK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/SalomaaK88,
author = {Arto Salomaa and
Juhani Karhum{\"{a}}ki},
title = {The Formal Language Theory Column},
journal = {Bull. {EATCS}},
volume = {34},
pages = {82--96},
year = {1988},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/SalomaaK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CulikK88,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {On Totalistic Systolic Networks},
journal = {Inf. Process. Lett.},
volume = {26},
number = {5},
pages = {231--236},
year = {1988},
url = {https://doi.org/10.1016/0020-0190(88)90145-7},
doi = {10.1016/0020-0190(88)90145-7},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/CulikK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Karhumaki87,
author = {Juhani Karhum{\"{a}}ki},
title = {The Ehrenfeucht Conjecture for Transducers},
journal = {J. Inf. Process. Cybern.},
volume = {23},
number = {8/9},
pages = {389--401},
year = {1987},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Karhumaki87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/HorvathKK87,
author = {S{\'{a}}ndor Horv{\'{a}}th and
Juhani Karhum{\"{a}}ki and
Jetty Kleijn},
title = {Results Concerning Palindromicity},
journal = {J. Inf. Process. Cybern.},
volume = {23},
number = {8/9},
pages = {441--451},
year = {1987},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/HorvathKK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/CulikK87,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {The Equivalence Problem for Single-Valued Two-Way Transducers (on
{NPDT0L} Languages) is Decidable},
journal = {{SIAM} J. Comput.},
volume = {16},
number = {2},
pages = {221--230},
year = {1987},
url = {https://doi.org/10.1137/0216018},
doi = {10.1137/0216018},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/CulikK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Karhumaki87,
author = {Juhani Karhum{\"{a}}ki},
editor = {Thomas Ottmann},
title = {On Recent Trends in Formal Language Theory},
booktitle = {Automata, Languages and Programming, 14th International Colloquium,
ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
pages = {136--162},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18088-5\_12},
doi = {10.1007/3-540-18088-5\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Karhumaki87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CulikK86,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Synchronizable Deterministic Pushdown Automata and the Decidability
of their Equivalence},
journal = {Acta Informatica},
volume = {23},
number = {5},
pages = {597--605},
year = {1986},
url = {https://doi.org/10.1007/BF00288472},
doi = {10.1007/BF00288472},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/CulikK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HarjuKK86,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki and
H. C. M. Kleijn},
title = {On morphic generation of regular languages},
journal = {Discret. Appl. Math.},
volume = {15},
number = {1},
pages = {55--60},
year = {1986},
url = {https://doi.org/10.1016/0166-218X(86)90018-1},
doi = {10.1016/0166-218X(86)90018-1},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HarjuKK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CulikK86,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {A Note on the Equivalence Problem of Rational Formal Power Series},
journal = {Inf. Process. Lett.},
volume = {23},
number = {1},
pages = {29--31},
year = {1986},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/CulikK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KarhumakiM86,
author = {Juhani Karhum{\"{a}}ki and
Yael Maon},
title = {A Simple Undecidable Problem: Existential Agreement of Inverses of
Two Morphisms on a Regular Language},
journal = {J. Comput. Syst. Sci.},
volume = {32},
number = {3},
pages = {315--322},
year = {1986},
url = {https://doi.org/10.1016/0022-0000(86)90032-2},
doi = {10.1016/0022-0000(86)90032-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KarhumakiM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CulikK86,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {The Equivalence of Finite Valued Transducers (On {HDT0L} Languages)
is Decidable},
journal = {Theor. Comput. Sci.},
volume = {47},
number = {3},
pages = {71--84},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90134-9},
doi = {10.1016/0304-3975(86)90134-9},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CulikK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Karhumaki86,
author = {Juhani Karhum{\"{a}}ki},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {The equivalence of mappings on languages},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {26--38},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_28},
doi = {10.1007/3540185356\_28},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Karhumaki86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CulikK86,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {The Equivalence of Finite Valued Transducers (on {HDTOL} Languages)
is Decidable},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {264--272},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016250},
doi = {10.1007/BFB0016250},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CulikK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/ChoffrutK85,
author = {Christian Choffrut and
Juhani Karhum{\"{a}}ki},
title = {Test sets for morphisms with bounded delay},
journal = {Discret. Appl. Math.},
volume = {12},
number = {2},
pages = {93--101},
year = {1985},
url = {https://doi.org/10.1016/0166-218X(85)90063-0},
doi = {10.1016/0166-218X(85)90063-0},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/ChoffrutK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/CulikK85,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Decision problems solved with the help of the Ehrenfeucht conjecture},
journal = {Bull. {EATCS}},
volume = {27},
pages = {30--34},
year = {1985},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/CulikK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KarhumakiK85,
author = {Juhani Karhum{\"{a}}ki and
H. C. M. Kleijn},
title = {On the Equivalence of Compositions of Morphisms and Inverse Morphisms
on Regular Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {19},
number = {3},
pages = {203--211},
year = {1985},
url = {https://doi.org/10.1051/ita/1985190302031},
doi = {10.1051/ITA/1985190302031},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KarhumakiK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki85,
author = {Juhani Karhum{\"{a}}ki},
title = {On Three-Element Codes},
journal = {Theor. Comput. Sci.},
volume = {40},
pages = {3--11},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90155-0},
doi = {10.1016/0304-3975(85)90155-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki85a,
author = {Juhani Karhum{\"{a}}ki},
title = {A Property of Three-Element Codes},
journal = {Theor. Comput. Sci.},
volume = {41},
pages = {215--222},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90071-4},
doi = {10.1016/0304-3975(85)90071-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KarhumakiW84,
author = {Juhani Karhum{\"{a}}ki and
Derick Wood},
title = {Inverse Morphic Equivalence on Languages},
journal = {Inf. Process. Lett.},
volume = {19},
number = {5},
pages = {213--218},
year = {1984},
url = {https://doi.org/10.1016/0020-0190(84)90055-3},
doi = {10.1016/0020-0190(84)90055-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KarhumakiW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki84,
author = {Juhani Karhum{\"{a}}ki},
title = {The Ehrenfeucht Conjecutre: {A} Compactness Claim for Finitely Generated
Free Monoids},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {285--308},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90004-5},
doi = {10.1016/0304-3975(84)90004-5},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Karhumaki84,
author = {Juhani Karhum{\"{a}}ki},
editor = {Jan Paredaens},
title = {On Three-Element Codes},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {292--302},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_26},
doi = {10.1007/3-540-13345-3\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Karhumaki84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KarhumakiK84,
author = {Juhani Karhum{\"{a}}ki and
H. C. M. Kleijn},
editor = {Michal Chytil and
V{\'{a}}clav Koubek},
title = {On the Equivalence of Compositions of Morphisms and Inverse Morphisms
on Regular Languages},
booktitle = {Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia,
September 3-7, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {176},
pages = {355--363},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0030317},
doi = {10.1007/BFB0030317},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KarhumakiK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Karhumaki84,
author = {Juhani Karhum{\"{a}}ki},
editor = {Max Fontet and
Kurt Mehlhorn},
title = {A Property of Three-Element Codes},
booktitle = {{STACS} 84, Symposium of Theoretical Aspects of Computer Science,
Paris, France, 11-13 April, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {166},
pages = {305--313},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-12920-0\_28},
doi = {10.1007/3-540-12920-0\_28},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Karhumaki84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KarhumakiL83,
author = {Juhani Karhum{\"{a}}ki and
Matti Linna},
title = {A note on morphic characterization of languages},
journal = {Discret. Appl. Math.},
volume = {5},
number = {2},
pages = {243--246},
year = {1983},
url = {https://doi.org/10.1016/0166-218X(83)90045-8},
doi = {10.1016/0166-218X(83)90045-8},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KarhumakiL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Karhumaki83,
author = {Juhani Karhum{\"{a}}ki},
title = {On cube-free {\(\omega\)}-words generated by binary morphisms},
journal = {Discret. Appl. Math.},
volume = {5},
number = {3},
pages = {279--297},
year = {1983},
url = {https://doi.org/10.1016/0166-218X(83)90002-1},
doi = {10.1016/0166-218X(83)90002-1},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/Karhumaki83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/CulikK83,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Systems of equations over a free monoid and Ehrenfeucht's conjecture},
journal = {Discret. Math.},
volume = {43},
number = {2-3},
pages = {139--153},
year = {1983},
url = {https://doi.org/10.1016/0012-365X(83)90152-8},
doi = {10.1016/0012-365X(83)90152-8},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/CulikK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CulikK83,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {On the Ehrenfeucht Conjecture for {DOL} Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {17},
number = {3},
pages = {205--230},
year = {1983},
url = {https://doi.org/10.1051/ita/1983170302051},
doi = {10.1051/ITA/1983170302051},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/CulikK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChoffrutK83,
author = {Christian Choffrut and
Juhani Karhum{\"{a}}ki},
editor = {Josep D{\'{\i}}az},
title = {Test Sets for Morphisms with Bounded Delay},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {118--127},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036902},
doi = {10.1007/BFB0036902},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChoffrutK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Karhumaki83,
author = {Juhani Karhum{\"{a}}ki},
editor = {Josep D{\'{\i}}az},
title = {A Note on Intersections of Free Submonoids of a Free Monoid},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {397--407},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036924},
doi = {10.1007/BFB0036924},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Karhumaki83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlbertCK82,
author = {J{\"{u}}rgen Albert and
Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Test Sets for Context Free Languages and Algebraic Systems of Equations
over a Free Monoid},
journal = {Inf. Control.},
volume = {52},
number = {2},
pages = {172--186},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80028-4},
doi = {10.1016/S0019-9958(82)80028-4},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlbertCK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrenfeuchtKR82,
author = {Andrzej Ehrenfeucht and
Juhani Karhum{\"{a}}ki and
Grzegorz Rozenberg},
title = {The (Generalized) Post Correspondence Problem with Lists Consisting
of two Words is Decidable},
journal = {Theor. Comput. Sci.},
volume = {21},
pages = {119--144},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(89)90080-7},
doi = {10.1016/0304-3975(89)90080-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrenfeuchtKR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Karhumaki82,
author = {Juhani Karhum{\"{a}}ki},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {On the Equivalence Problem for Binary {DOL} Systems},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {339--347},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012781},
doi = {10.1007/BFB0012781},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Karhumaki82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Karhumaki81,
author = {Juhani Karhum{\"{a}}ki},
title = {On the Equivalence Problem for Binary {DOL} Systems},
journal = {Inf. Control.},
volume = {50},
number = {3},
pages = {276--284},
year = {1981},
url = {https://doi.org/10.1016/S0019-9958(81)90367-3},
doi = {10.1016/S0019-9958(81)90367-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Karhumaki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Karhumaki81,
author = {Juhani Karhum{\"{a}}ki},
editor = {Ferenc G{\'{e}}cseg},
title = {On Strongly Cube-Free Omega-Words Generated by Binary Morphisms},
booktitle = {Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981
International FCT-Conference, Szeged, Hungary, August 24-28, 1981},
series = {Lecture Notes in Computer Science},
volume = {117},
pages = {182--189},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10854-8\_19},
doi = {10.1007/3-540-10854-8\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Karhumaki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Karhumaki81,
author = {Juhani Karhum{\"{a}}ki},
editor = {Shimon Even and
Oded Kariv},
title = {Generalized Parikh Mappings and Homomorphisms},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {324--332},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_27},
doi = {10.1007/3-540-10843-2\_27},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Karhumaki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Karhumaki80,
author = {Juhani Karhum{\"{a}}ki},
title = {Generalized Parikh Mappings and Homomorphisms},
journal = {Inf. Control.},
volume = {47},
number = {3},
pages = {155--165},
year = {1980},
url = {https://doi.org/10.1016/S0019-9958(80)90493-3},
doi = {10.1016/S0019-9958(80)90493-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Karhumaki80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CulikK80,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {On the Equality Sets for Homomorphisms on Free Monoids with Two Generators},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {14},
number = {4},
pages = {349--369},
year = {1980},
url = {https://doi.org/10.1051/ita/1980140403491},
doi = {10.1051/ITA/1980140403491},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/CulikK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CulikK79,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Interactive {L} Systems with Almost Interactionless Behaviour},
journal = {Inf. Control.},
volume = {43},
number = {1},
pages = {83--100},
year = {1979},
url = {https://doi.org/10.1016/S0019-9958(79)90094-9},
doi = {10.1016/S0019-9958(79)90094-9},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CulikK79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki79,
author = {Juhani Karhum{\"{a}}ki},
title = {On Commutative {DT0L} Systems},
journal = {Theor. Comput. Sci.},
volume = {9},
pages = {207--220},
year = {1979},
url = {https://doi.org/10.1016/0304-3975(79)90025-2},
doi = {10.1016/0304-3975(79)90025-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CulikK79,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Interactive {L} Systems with Almost Interactionless Behaviour},
booktitle = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
series = {Lecture Notes in Computer Science},
volume = {74},
pages = {246--257},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09526-8\_21},
doi = {10.1007/3-540-09526-8\_21},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/CulikK79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/EhrenfeuchtKR78,
author = {Andrzej Ehrenfeucht and
Juhani Karhum{\"{a}}ki and
Grzegorz Rozenberg},
title = {A note on {DOL} length sets},
journal = {Discret. Math.},
volume = {22},
number = {3},
pages = {233--242},
year = {1978},
url = {https://doi.org/10.1016/0012-365X(78)90056-0},
doi = {10.1016/0012-365X(78)90056-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/EhrenfeuchtKR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Karhumaki77,
author = {Juhani Karhum{\"{a}}ki},
title = {The Decidability of the Equivalence Problem for Polynomially Bounded
{DOL} Sequences},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {11},
number = {1},
pages = {17--28},
year = {1977},
url = {https://doi.org/10.1051/ita/1977110100171},
doi = {10.1051/ITA/1977110100171},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Karhumaki77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki77,
author = {Juhani Karhum{\"{a}}ki},
title = {Remarks on Commutative \emph{N} -Rational Series},
journal = {Theor. Comput. Sci.},
volume = {5},
number = {2},
pages = {211--217},
year = {1977},
url = {https://doi.org/10.1016/0304-3975(77)90008-1},
doi = {10.1016/0304-3975(77)90008-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki76,
author = {Juhani Karhum{\"{a}}ki},
title = {Two Theorems Concerning Recognizable N-Subsets of sigma*},
journal = {Theor. Comput. Sci.},
volume = {1},
number = {4},
pages = {317--323},
year = {1976},
url = {https://doi.org/10.1016/0304-3975(76)90075-X},
doi = {10.1016/0304-3975(76)90075-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/Lsystems/Karhumaki75,
author = {Juhani Karhum{\"{a}}ki},
editor = {Aristid Lindenmayer and
Grzegorz Rozenberg},
title = {On Length Sets of Informationless {L} Systems},
booktitle = {Automata, Languages, Development: At the crossroads of biology, mathematics
and computer science, result of an international conference held at
Noordwijkerhout, The Netherlands, March 31 - April 6, 1975},
pages = {227--242},
publisher = {North-Holland Publishing Company},
year = {1975},
timestamp = {Wed, 08 Dec 2021 08:36:04 +0100},
biburl = {https://dblp.org/rec/conf/Lsystems/Karhumaki75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/Lsystems/Karhumaki74,
author = {Juhani Karhum{\"{a}}ki},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Some Growth Functions of Context-Dependent L-Systems},
booktitle = {L Systems, Most of the papers were presented at a conference in Aarhus,
Denmark, January 14-25, 1974},
series = {Lecture Notes in Computer Science},
volume = {15},
pages = {127--135},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-06867-8\_9},
doi = {10.1007/3-540-06867-8\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/Lsystems/Karhumaki74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Karhumaki73,
author = {Juhani Karhum{\"{a}}ki},
title = {An Example of a PD2L-System with the Growth Type 2{\textonehalf}},
journal = {Inf. Process. Lett.},
volume = {2},
number = {5},
pages = {131--134},
year = {1973},
url = {https://doi.org/10.1016/0020-0190(74)90049-0},
doi = {10.1016/0020-0190(74)90049-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Karhumaki73.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-11-10 23:52 CET 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:
