Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tero Harju
@article{DBLP:journals/ijfcs/Harju24,
author = {Tero Harju},
title = {A Note on Squares in Binary Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {35},
number = {1{\&}2},
pages = {101--106},
year = {2024},
url = {https://doi.org/10.1142/S0129054123480052},
doi = {10.1142/S0129054123480052},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Harju24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HalavaHNP23,
author = {Vesa Halava and
Tero Harju and
Reino Niskanen and
Igor Potapov},
title = {Integer Weighted Automata on Infinite Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {34},
number = {2{\&}3},
pages = {163--182},
year = {2023},
url = {https://doi.org/10.1142/S0129054122440014},
doi = {10.1142/S0129054122440014},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HalavaHNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/FinkelHHS23,
author = {Olivier Finkel and
Vesa Halava and
Tero Harju and
Esa Sahla},
title = {On bi-infinite and conjugate post correspondence problems},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {57},
pages = {7},
year = {2023},
url = {https://doi.org/10.1051/ita/2023008},
doi = {10.1051/ITA/2023008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/FinkelHHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06248,
author = {Vesa Halava and
Tero Harju and
Dirk Nowotka and
Esa Sahla},
title = {Decision Problems on Copying and Shuffling},
journal = {CoRR},
volume = {abs/2302.06248},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06248},
doi = {10.48550/ARXIV.2302.06248},
eprinttype = {arXiv},
eprint = {2302.06248},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Harju22,
author = {Tero Harju},
title = {Critical factorisation in square-free words},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {56},
pages = {3},
year = {2022},
url = {https://doi.org/10.1051/ita/2022003},
doi = {10.1051/ITA/2022003},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Harju22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BadkobehHOR22,
author = {Golnaz Badkobeh and
Tero Harju and
Pascal Ochem and
Matthieu Rosenfeld},
title = {Avoiding square-free words on free groups},
journal = {Theor. Comput. Sci.},
volume = {922},
pages = {206--217},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.04.025},
doi = {10.1016/J.TCS.2022.04.025},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BadkobehHOR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09311,
author = {Vesa Halava and
Tero Harju and
Teemu Pirttim{\"{a}}ki},
title = {A recursive function coding number theoretic functions},
journal = {CoRR},
volume = {abs/2203.09311},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09311},
doi = {10.48550/ARXIV.2203.09311},
eprinttype = {arXiv},
eprint = {2203.09311},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Harju21,
author = {Tero Harju},
title = {Disposability in square-free words},
journal = {Theor. Comput. Sci.},
volume = {862},
pages = {155--159},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.07.030},
doi = {10.1016/J.TCS.2020.07.030},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Harju21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HalavaHNP21,
author = {Vesa Halava and
Tero Harju and
Reino Niskanen and
Igor Potapov},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Integer Weighted Automata on Infinite Words},
booktitle = {Developments in Language Theory - 25th International Conference, {DLT}
2021, Porto, Portugal, August 16-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12811},
pages = {167--179},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81508-0\_14},
doi = {10.1007/978-3-030-81508-0\_14},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HalavaHNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@article{DBLP:journals/corr/abs-2107-09421,
author = {Tero Harju},
title = {Critical factorisation in square-free words},
journal = {CoRR},
volume = {abs/2107.09421},
year = {2021},
url = {https://arxiv.org/abs/2107.09421},
eprinttype = {arXiv},
eprint = {2107.09421},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-09421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-04572,
author = {Tero Harju},
title = {A Note on Squares in Binary Words},
journal = {CoRR},
volume = {abs/2108.04572},
year = {2021},
url = {https://arxiv.org/abs/2108.04572},
eprinttype = {arXiv},
eprint = {2108.04572},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-04572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04484,
author = {Vesa Halava and
Tero Harju and
Esa Sahla},
title = {The Conjugate Post Correspondence Problem},
journal = {CoRR},
volume = {abs/2111.04484},
year = {2021},
url = {https://arxiv.org/abs/2111.04484},
eprinttype = {arXiv},
eprint = {2111.04484},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04484.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/HalavaH20,
author = {Vesa Halava and
Tero Harju},
title = {On the Steps of Emil Post: from Normal Systems to the Correspondence
Decision Problem},
journal = {Acta Cybern.},
volume = {24},
number = {4},
pages = {613--623},
year = {2020},
url = {https://doi.org/10.14232/actacyb.284625},
doi = {10.14232/ACTACYB.284625},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/actaC/HalavaH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HalavaHS20,
author = {Vesa Halava and
Tero Harju and
Esa Sahla},
title = {On Shuffling a Word with its Letter-to-Letter Substitution},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {201--206},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1954},
doi = {10.3233/FI-2020-1954},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HalavaHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Harju19,
author = {Tero Harju},
title = {On square-free arithmetic progressions in infinite words},
journal = {Theor. Comput. Sci.},
volume = {770},
pages = {95--100},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.09.032},
doi = {10.1016/J.TCS.2018.09.032},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Harju19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CurrieHOR19,
author = {James D. Currie and
Tero Harju and
Pascal Ochem and
Narad Rampersad},
title = {Some further results on squarefree arithmetic progressions in infinite
words},
journal = {Theor. Comput. Sci.},
volume = {799},
pages = {140--148},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.10.006},
doi = {10.1016/J.TCS.2019.10.006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CurrieHOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-06351,
author = {James D. Currie and
Tero Harju and
Pascal Ochem and
Narad Rampersad},
title = {Some further results on squarefree arithmetic progressions in infinite
words},
journal = {CoRR},
volume = {abs/1901.06351},
year = {2019},
url = {http://arxiv.org/abs/1901.06351},
eprinttype = {arXiv},
eprint = {1901.06351},
timestamp = {Sun, 03 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-06351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HalavaHS18,
author = {Vesa Halava and
Tero Harju and
Esa Sahla},
title = {On fixed points of rational transductions},
journal = {Theor. Comput. Sci.},
volume = {732},
pages = {85--88},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.04.030},
doi = {10.1016/J.TCS.2018.04.030},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HalavaHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HalavaHS17,
author = {Vesa Halava and
Tero Harju and
Esa Sahla},
title = {A New Proof for Undecidability of the Bi-Infinite Post Correspondence
Problem},
journal = {Fundam. Informaticae},
volume = {154},
number = {1-4},
pages = {167--176},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1558},
doi = {10.3233/FI-2017-1558},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/HalavaHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HalavaHNP17,
author = {Vesa Halava and
Tero Harju and
Reino Niskanen and
Igor Potapov},
title = {Weighted automata on infinite words in the context of Attacker-Defender
games},
journal = {Inf. Comput.},
volume = {255},
pages = {27--44},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.05.001},
doi = {10.1016/J.IC.2017.05.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HalavaHNP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HalavaH17,
author = {Vesa Halava and
Tero Harju},
title = {Walks on tilings of polygons},
journal = {Theor. Comput. Sci.},
volume = {701},
pages = {120--124},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.02.034},
doi = {10.1016/J.TCS.2017.02.034},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HalavaH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/CharlierHPZ16,
author = {{\'{E}}milie Charlier and
Tero Harju and
Svetlana Puzynina and
Luca Q. Zamboni},
title = {Abelian bordered factors and periodicity},
journal = {Eur. J. Comb.},
volume = {51},
pages = {407--418},
year = {2016},
url = {https://doi.org/10.1016/j.ejc.2015.07.003},
doi = {10.1016/J.EJC.2015.07.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/CharlierHPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/HarjuHZ15,
author = {Tero Harju and
Mari Huova and
Luca Q. Zamboni},
title = {On generating binary words palindromically},
journal = {J. Comb. Theory, Ser. {A}},
volume = {129},
pages = {142--159},
year = {2015},
url = {https://doi.org/10.1016/j.jcta.2014.10.003},
doi = {10.1016/J.JCTA.2014.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/HarjuHZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuM15,
author = {Tero Harju and
Mike M{\"{u}}ller},
title = {A note on short palindromes in square-free words},
journal = {Theor. Comput. Sci.},
volume = {562},
pages = {658--659},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.10.040},
doi = {10.1016/J.TCS.2014.10.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ErnvallHH15,
author = {Mari Ernvall and
Vesa Halava and
Tero Harju},
title = {On the n-permutation Post Correspondence Problem},
journal = {Theor. Comput. Sci.},
volume = {601},
pages = {15--20},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.07.021},
doi = {10.1016/J.TCS.2015.07.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ErnvallHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuM15a,
author = {Tero Harju and
Mike M{\"{u}}ller},
title = {Square-free shuffles of words},
journal = {Theor. Comput. Sci.},
volume = {601},
pages = {29--38},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.07.024},
doi = {10.1016/J.TCS.2015.07.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuM15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/HalavaHNP15,
author = {Vesa Halava and
Tero Harju and
Reino Niskanen and
Igor Potapov},
editor = {Arnold Beckmann and
Victor Mitrana and
Mariya Ivanova Soskova},
title = {Weighted Automata on Infinite Words in the Context of Attacker-Defender
Games},
booktitle = {Evolving Computability - 11th Conference on Computability in Europe,
CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9136},
pages = {206--215},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20028-6\_21},
doi = {10.1007/978-3-319-20028-6\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/HalavaHNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CharlierHPZ15,
author = {Emilie Charlier and
Tero Harju and
Svetlana Puzynina and
Luca Q. Zamboni},
title = {Abelian bordered factors and periodicity},
journal = {CoRR},
volume = {abs/1501.07464},
year = {2015},
url = {http://arxiv.org/abs/1501.07464},
eprinttype = {arXiv},
eprint = {1501.07464},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CharlierHPZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarjuK14,
author = {Tero Harju and
Tomi K{\"{a}}rki},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Minimal Similarity Relations for Square-Free Words},
booktitle = {Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu
{(1952-2005)}},
pages = {193--200},
publisher = {The Publishing House of the Romanian Academy},
year = {2014},
timestamp = {Fri, 23 Jan 2015 14:35:08 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HarjuK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CassaigneHHN14,
author = {Julien Cassaigne and
Vesa Halava and
Tero Harju and
Fran{\c{c}}ois Nicolas},
title = {Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner
Problems, and More},
journal = {CoRR},
volume = {abs/1404.0644},
year = {2014},
url = {http://arxiv.org/abs/1404.0644},
eprinttype = {arXiv},
eprint = {1404.0644},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CassaigneHHN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HalavaH13,
author = {Vesa Halava and
Tero Harju},
title = {New proof for the undecidability of the circular {PCP}},
journal = {Acta Informatica},
volume = {50},
number = {5-6},
pages = {331--341},
year = {2013},
url = {https://doi.org/10.1007/s00236-013-0183-5},
doi = {10.1007/S00236-013-0183-5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/HalavaH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/CharlierDHS13,
author = {Emilie Charlier and
Michael Domaratzki and
Tero Harju and
Jeffrey O. Shallit},
title = {Composition and orbits of language operations: finiteness and upper
bounds},
journal = {Int. J. Comput. Math.},
volume = {90},
number = {6},
pages = {1171--1196},
year = {2013},
url = {https://doi.org/10.1080/00207160.2012.681305},
doi = {10.1080/00207160.2012.681305},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcm/CharlierDHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/Harju13,
author = {Tero Harju},
editor = {Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Luca Q. Zamboni},
title = {A Note on Square-Free Shuffles of Words},
booktitle = {Combinatorics on Words - 9th International Conference, {WORDS} 2013,
Turku, Finland, September 16-20. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8079},
pages = {154--160},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40579-2\_17},
doi = {10.1007/978-3-642-40579-2\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cwords/Harju13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarjuHZ13,
author = {Tero Harju and
Mari Huova and
Luca Q. Zamboni},
title = {On Generating Binary Words Palindromically},
journal = {CoRR},
volume = {abs/1309.1886},
year = {2013},
url = {http://arxiv.org/abs/1309.1886},
eprinttype = {arXiv},
eprint = {1309.1886},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarjuHZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarjuM13,
author = {Tero Harju and
Mike M{\"{u}}ller},
title = {Square-Free Shuffles of Words},
journal = {CoRR},
volume = {abs/1309.2137},
year = {2013},
url = {http://arxiv.org/abs/1309.2137},
eprinttype = {arXiv},
eprint = {1309.2137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarjuM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Harju12,
author = {Tero Harju},
title = {Square-free words obtained from prefixes by permutations},
journal = {Theor. Comput. Sci.},
volume = {429},
pages = {128--133},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.031},
doi = {10.1016/J.TCS.2011.12.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Harju12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AzimiHLP12,
author = {Sepinoud Azimi and
Tero Harju and
Miika Langille and
Ion Petre},
title = {Simple gene assembly as a rewriting of directed overlap-inclusion
graphs},
journal = {Theor. Comput. Sci.},
volume = {454},
pages = {30--37},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.04.018},
doi = {10.1016/J.TCS.2012.04.018},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AzimiHLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrijderHH12,
author = {Robert Brijder and
Tero Harju and
Hendrik Jan Hoogeboom},
title = {Pivots, determinants, and perfect matchings of graphs},
journal = {Theor. Comput. Sci.},
volume = {454},
pages = {64--71},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.02.031},
doi = {10.1016/J.TCS.2012.02.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrijderHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/nc/BrijderDHJPR12,
author = {Robert Brijder and
Mark Daley and
Tero Harju and
Natasa Jonoska and
Ion Petre and
Grzegorz Rozenberg},
editor = {Grzegorz Rozenberg and
Thomas B{\"{a}}ck and
Joost N. Kok},
title = {Computational Nature of Gene Assembly in Ciliates},
booktitle = {Handbook of Natural Computing},
pages = {1233--1280},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-540-92910-9\_37},
doi = {10.1007/978-3-540-92910-9\_37},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/nc/BrijderDHJPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/HarjuKN11,
author = {Tero Harju and
Tomi K{\"{a}}rki and
Dirk Nowotka},
title = {The Number of Positions Starting a Square in Binary Words},
journal = {Electron. J. Comb.},
volume = {18},
number = {1},
year = {2011},
url = {https://doi.org/10.37236/493},
doi = {10.37236/493},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/HarjuKN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AzimiHLPR11,
author = {Sepinoud Azimi and
Tero Harju and
Miika Langille and
Ion Petre and
Vladimir Rogojin},
title = {Directed Overlap-inclusion Graphs as Representations of Ciliate Genes},
journal = {Fundam. Informaticae},
volume = {110},
number = {1-4},
pages = {29--44},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-526},
doi = {10.3233/FI-2011-526},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AzimiHLPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuK11,
author = {Tero Harju and
Tomi K{\"{a}}rki},
title = {On the number of frames in binary words},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {39},
pages = {5276--5284},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.05.032},
doi = {10.1016/J.TCS.2011.05.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CharlierDHS11,
author = {Emilie Charlier and
Michael Domaratzki and
Tero Harju and
Jeffrey O. Shallit},
editor = {Adrian{-}Horia Dediu and
Shunsuke Inenaga and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Finite Orbits of Language Operations},
booktitle = {Language and Automata Theory and Applications - 5th International
Conference, {LATA} 2011, Tarragona, Spain, May 26-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6638},
pages = {204--215},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21254-3\_15},
doi = {10.1007/978-3-642-21254-3\_15},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/CharlierDHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3631,
author = {Vesa Halava and
Tero Harju and
Tomi K{\"{a}}rki},
editor = {Petr Ambroz and
Stepan Holub and
Zuzana Mas{\'{a}}kov{\'{a}}},
title = {A new proof for the decidability of {D0L} ultimate periodicity},
booktitle = {Proceedings 8th International Conference Words 2011, Prague, Czech
Republic, 12-16th September 2011},
series = {{EPTCS}},
volume = {63},
pages = {147--151},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.63.20},
doi = {10.4204/EPTCS.63.20},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-1667,
author = {Emilie Charlier and
Michael Domaratzki and
Tero Harju and
Jeffrey O. Shallit},
title = {Finite Orbits of Language Operations},
journal = {CoRR},
volume = {abs/1101.1667},
year = {2011},
url = {http://arxiv.org/abs/1101.1667},
eprinttype = {arXiv},
eprint = {1101.1667},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-1667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4106,
author = {Tero Harju},
title = {Square-free Walks on Labelled Graphs},
journal = {CoRR},
volume = {abs/1106.4106},
year = {2011},
url = {http://arxiv.org/abs/1106.4106},
eprinttype = {arXiv},
eprint = {1106.4106},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HarjuN10,
author = {Tero Harju and
Dirk Nowotka},
title = {Cyclically repetition-free words on small alphabets},
journal = {Inf. Process. Lett.},
volume = {110},
number = {14-15},
pages = {591--595},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2010.05.005},
doi = {10.1016/J.IPL.2010.05.005},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/HarjuN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HalavaHK10,
author = {Vesa Halava and
Tero Harju and
Tomi K{\"{a}}rki},
title = {On the number of squares in partial words},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {44},
number = {1},
pages = {125--138},
year = {2010},
url = {https://doi.org/10.1051/ita/2010008},
doi = {10.1051/ITA/2010008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/HalavaHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HalavaHKR10,
author = {Vesa Halava and
Tero Harju and
Tomi K{\"{a}}rki and
Michel Rigo},
editor = {Yuan Gao and
Hanlin Lu and
Shinnosuke Seki and
Sheng Yu},
title = {On the Periodicity of Morphic Words},
booktitle = {Developments in Language Theory, 14th International Conference, {DLT}
2010, London, ON, Canada, August 17-20, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6224},
pages = {209--217},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14455-4\_20},
doi = {10.1007/978-3-642-14455-4\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HalavaHKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HalavaHK09,
author = {Vesa Halava and
Tero Harju and
Tomi K{\"{a}}rki},
title = {The theorem of Fine and Wilf for relational periods},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {43},
number = {2},
pages = {209--220},
year = {2009},
url = {https://doi.org/10.1051/ita:2008025},
doi = {10.1051/ITA:2008025},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/HalavaHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HalavaHKS09,
author = {Vesa Halava and
Tero Harju and
Tomi K{\"{a}}rki and
Patrice S{\'{e}}{\'{e}}bold},
title = {Overlap-freeness in infinite partial words},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {8-10},
pages = {943--948},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.12.041},
doi = {10.1016/J.TCS.2008.12.041},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HalavaHKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HageH09,
author = {Jurriaan Hage and
Tero Harju},
editor = {Anne Condon and
David Harel and
Joost N. Kok and
Arto Salomaa and
Erik Winfree},
title = {On Involutions Arising from Graphs},
booktitle = {Algorithmic Bioprocesses},
series = {Natural Computing Series},
pages = {623--630},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-88869-7\_30},
doi = {10.1007/978-3-540-88869-7\_30},
timestamp = {Sun, 25 Jul 2021 11:52:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HageH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Harju09,
author = {Tero Harju},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Post Correspondence Problem and Small Dimensional Matrices},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {39--46},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_3},
doi = {10.1007/978-3-642-02737-6\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Harju09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/HarjuN08,
author = {Tero Harju and
Dirk Nowotka},
title = {Bordered Conjugates of Words over Large Alphabets},
journal = {Electron. J. Comb.},
volume = {15},
number = {1},
year = {2008},
url = {http://www.combinatorics.org/Volume\_15/Abstracts/v15i1n41.html},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/HarjuN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HarjuPRR08,
author = {Tero Harju and
Ion Petre and
Vladimir Rogojin and
Grzegorz Rozenberg},
title = {Patterns of simple gene assembly in ciliates},
journal = {Discret. Appl. Math.},
volume = {156},
number = {14},
pages = {2581--2597},
year = {2008},
url = {https://doi.org/10.1016/j.dam.2007.09.026},
doi = {10.1016/J.DAM.2007.09.026},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HarjuPRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HarjuLP08,
author = {Tero Harju and
Chang Li and
Ion Petre},
title = {Graph theoretic approach to parallel gene assembly},
journal = {Discret. Appl. Math.},
volume = {156},
number = {18},
pages = {3416--3429},
year = {2008},
url = {https://doi.org/10.1016/j.dam.2008.01.022},
doi = {10.1016/J.DAM.2008.01.022},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HarjuLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/DuvalHN08,
author = {Jean{-}Pierre Duval and
Tero Harju and
Dirk Nowotka},
title = {Unbordered factors and Lyndon words},
journal = {Discret. Math.},
volume = {308},
number = {11},
pages = {2261--2264},
year = {2008},
url = {https://doi.org/10.1016/j.disc.2006.09.054},
doi = {10.1016/J.DISC.2006.09.054},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/DuvalHN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/KarkiHH08,
author = {Tomi K{\"{a}}rki and
Tero Harju and
Vesa Halava},
title = {Interaction Properties of Relational Periods},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {10},
number = {1},
year = {2008},
url = {https://doi.org/10.46298/dmtcs.419},
doi = {10.46298/DMTCS.419},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/KarkiHH08.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/ipl/HalavaHK08,
author = {Vesa Halava and
Tero Harju and
Tomi K{\"{a}}rki},
title = {Square-free partial words},
journal = {Inf. Process. Lett.},
volume = {108},
number = {5},
pages = {290--292},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.06.001},
doi = {10.1016/J.IPL.2008.06.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/HalavaHK08.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}
}
@article{DBLP:journals/soco/HarjuLP08,
author = {Tero Harju and
Chang Li and
Ion Petre},
title = {Parallel complexity of signed graphs for gene assembly in ciliates},
journal = {Soft Comput.},
volume = {12},
number = {8},
pages = {731--737},
year = {2008},
url = {https://doi.org/10.1007/s00500-007-0233-4},
doi = {10.1007/S00500-007-0233-4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soco/HarjuLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/EhrenfeuchtHR07,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
title = {Finite metrics in switching classes},
journal = {Discret. Appl. Math.},
volume = {155},
number = {1},
pages = {68--73},
year = {2007},
url = {https://doi.org/10.1016/j.dam.2006.04.041},
doi = {10.1016/J.DAM.2006.04.041},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/EhrenfeuchtHR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmgt/HageH07,
author = {Jurriaan Hage and
Tero Harju},
title = {Towards a characterization of bipartite switching classes by means
of forbidden subgraphs},
journal = {Discuss. Math. Graph Theory},
volume = {27},
number = {3},
pages = {471--483},
year = {2007},
url = {https://doi.org/10.7151/dmgt.1374},
doi = {10.7151/DMGT.1374},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dmgt/HageH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HalavaHH07,
author = {Vesa Halava and
Tero Harju and
Mika Hirvensalo},
title = {Undecidability Bounds for Integer Matrices Using Claus Instances},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {5},
pages = {931--948},
year = {2007},
url = {https://doi.org/10.1142/S0129054107005066},
doi = {10.1142/S0129054107005066},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/HalavaHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HarjuN07,
author = {Tero Harju and
Dirk Nowotka},
title = {Periodicity and unbordered words: {A} proof of the extended duval
conjecture},
journal = {J. {ACM}},
volume = {54},
number = {4},
pages = {20},
year = {2007},
url = {https://doi.org/10.1145/1255443.1255448},
doi = {10.1145/1255443.1255448},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/HarjuN07.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}
}
@article{DBLP:journals/tcs/HalavaHK07,
author = {Vesa Halava and
Tero Harju and
Tomi K{\"{a}}rki},
title = {Relational codes of words},
journal = {Theor. Comput. Sci.},
volume = {389},
number = {1-2},
pages = {237--249},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.011},
doi = {10.1016/J.TCS.2007.09.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HalavaHK07.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/acta/EhrenfeuchtHR06,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
title = {Embedding linear orders in grids},
journal = {Acta Informatica},
volume = {42},
number = {6-7},
pages = {419--428},
year = {2006},
url = {https://doi.org/10.1007/s00236-005-0001-9},
doi = {10.1007/S00236-005-0001-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/EhrenfeuchtHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HarjuN06,
author = {Tero Harju and
Dirk Nowotka},
title = {Periods in Extensions of Words},
journal = {Acta Informatica},
volume = {43},
number = {3},
pages = {165--171},
year = {2006},
url = {https://doi.org/10.1007/s00236-006-0014-z},
doi = {10.1007/S00236-006-0014-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/HarjuN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HalavaHH06,
author = {Vesa Halava and
Tero Harju and
Mika Hirvensalo},
title = {Positivity of second order linear recurrent sequences},
journal = {Discret. Appl. Math.},
volume = {154},
number = {3},
pages = {447--451},
year = {2006},
url = {https://doi.org/10.1016/j.dam.2005.10.009},
doi = {10.1016/J.DAM.2005.10.009},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HalavaHH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HarjuN06,
author = {Tero Harju and
Dirk Nowotka},
title = {Binary Words with Few Squares},
journal = {Bull. {EATCS}},
volume = {89},
pages = {164--166},
year = {2006},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HarjuN06.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/fuin/EhrenfeuchtHHR06,
author = {Andrzej Ehrenfeucht and
Jurriaan Hage and
Tero Harju and
Grzegorz Rozenberg},
title = {The Embedding Problem for Switching Classes of Graphs},
journal = {Fundam. Informaticae},
volume = {74},
number = {1},
pages = {115--134},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-1-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EhrenfeuchtHHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HalavaH06,
author = {Vesa Halava and
Tero Harju},
title = {Undecidability of infinite post correspondence problem for instances
of Size 9},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {40},
number = {4},
pages = {551--557},
year = {2006},
url = {https://doi.org/10.1051/ita:2006039},
doi = {10.1051/ITA:2006039},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/HalavaH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/HarjuLPR06,
author = {Tero Harju and
Chang Li and
Ion Petre and
Grzegorz Rozenberg},
title = {Parallelism in Gene Assembly},
journal = {Nat. Comput.},
volume = {5},
number = {2},
pages = {203--223},
year = {2006},
url = {https://doi.org/10.1007/s11047-005-4462-0},
doi = {10.1007/S11047-005-4462-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nc/HarjuLPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuN06,
author = {Tero Harju and
Dirk Nowotka},
title = {On unique factorizations of primitive words},
journal = {Theor. Comput. Sci.},
volume = {356},
number = {1-2},
pages = {186--189},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.031},
doi = {10.1016/J.TCS.2006.01.031},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HarjuN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdecb/HarjuLPR06,
author = {Tero Harju and
Chang Li and
Ion Petre and
Grzegorz Rozenberg},
editor = {Karl Tuyls and
Ronald L. Westra and
Yvan Saeys and
Ann Now{\'{e}}},
title = {Complexity Measures for Gene Assembly},
booktitle = {Knowledge Discovery and Emergent Complexity in Bioinformatics, First
International Workshop, {KDECB} 2006, Ghent, Belgium, May 10, 2006.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4366},
pages = {42--60},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71037-0\_4},
doi = {10.1007/978-3-540-71037-0\_4},
timestamp = {Mon, 15 Jun 2020 17:00:20 +0200},
biburl = {https://dblp.org/rec/conf/kdecb/HarjuLPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncs/HarjuPR06,
author = {Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
editor = {Junghuei Chen and
Natasa Jonoska and
Grzegorz Rozenberg},
title = {Modelling Simple Operations for Gene Assembly},
booktitle = {Nanotechnology: Science and Computation},
series = {Natural Computing Series},
pages = {361--373},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-30296-4\_23},
doi = {10.1007/3-540-30296-4\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ncs/HarjuPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HalavaHL05,
author = {Vesa Halava and
Tero Harju and
Michel Latteux},
title = {Representation of Regular Languages by Equality Sets},
journal = {Bull. {EATCS}},
volume = {86},
pages = {224--228},
year = {2005},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HalavaHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HalavaHL05,
author = {Vesa Halava and
Tero Harju and
Michel Latteux},
title = {Equality sets of prefix morphisms and regular star languages},
journal = {Inf. Process. Lett.},
volume = {94},
number = {4},
pages = {151--154},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.01.014},
doi = {10.1016/J.IPL.2005.01.014},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/HalavaHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HalavaHHL05,
author = {Vesa Halava and
Tero Harju and
Hendrik Jan Hoogeboom and
Michel Latteux},
title = {Equality sets for recursively enumerable languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {39},
number = {4},
pages = {661--675},
year = {2005},
url = {https://doi.org/10.1051/ita:2005035},
doi = {10.1051/ITA:2005035},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/HalavaHHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuN05,
author = {Tero Harju and
Dirk Nowotka},
title = {On the equation in a free semigroup},
journal = {Theor. Comput. Sci.},
volume = {330},
number = {1},
pages = {117--121},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.012},
doi = {10.1016/J.TCS.2004.09.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuN05.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/HarjuN05a,
author = {Tero Harju and
Dirk Nowotka},
title = {Counting bordered and primitive words with a fixed weight},
journal = {Theor. Comput. Sci.},
volume = {340},
number = {1},
pages = {273--279},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.03.040},
doi = {10.1016/J.TCS.2005.03.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuN05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuLN05,
author = {Tero Harju and
Arto Lepist{\"{o}} and
Dirk Nowotka},
title = {A characterization of periodicity of bi-infinite words},
journal = {Theor. Comput. Sci.},
volume = {347},
number = {1-2},
pages = {419--422},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.08.017},
doi = {10.1016/J.TCS.2004.08.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuLN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Harju05,
author = {Tero Harju},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Combinatorial Models of Gene Assembly},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {188--195},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_23},
doi = {10.1007/11494645\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Harju05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/HarjuPRR05,
author = {Tero Harju and
Ion Petre and
Vladimir Rogojin and
Grzegorz Rozenberg},
editor = {Alessandra Carbone and
Niles A. Pierce},
title = {Simple Operations for Gene Assembly},
booktitle = {{DNA} Computing, 11th International Workshop on {DNA} Computing, DNA11,
London, ON, Canada, June 6-9, 2005. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3892},
pages = {96--111},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11753681\_8},
doi = {10.1007/11753681\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/HarjuPRR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsmnlp/Harju05,
author = {Tero Harju},
editor = {Anssi Yli{-}Jyr{\"{a}} and
Lauri Karttunen and
Juhani Karhum{\"{a}}ki},
title = {Characterizations of Regularity},
booktitle = {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},
pages = {1--8},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11780885\_1},
doi = {10.1007/11780885\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fsmnlp/Harju05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/HalavaH04,
author = {Vesa Halava and
Tero Harju},
title = {Undecidability in matrices over Laurent polynomials},
journal = {Adv. Appl. Math.},
volume = {33},
number = {4},
pages = {747--752},
year = {2004},
url = {https://doi.org/10.1016/j.aam.2004.04.002},
doi = {10.1016/J.AAM.2004.04.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aam/HalavaH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/EhrenfeuchtHR04,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
title = {Transitivity of local complementation and switching on graphs},
journal = {Discret. Math.},
volume = {278},
number = {1-3},
pages = {45--60},
year = {2004},
url = {https://doi.org/10.1016/j.disc.2003.04.001},
doi = {10.1016/J.DISC.2003.04.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/EhrenfeuchtHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HarjuPR04,
author = {Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
title = {Gene Assembly in Celiates. Part I. Molecular Operations (Column: Natural
Computing)},
journal = {Bull. {EATCS}},
volume = {82},
pages = {227--241},
year = {2004},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HarjuPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HarjuN04,
author = {Tero Harju and
Dirk Nowotka},
title = {Minimal Duval Extensions},
journal = {Int. J. Found. Comput. Sci.},
volume = {15},
number = {2},
pages = {349--354},
year = {2004},
url = {https://doi.org/10.1142/S0129054104002467},
doi = {10.1142/S0129054104002467},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/HarjuN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Latteux04,
author = {Vesa Halava and
Tero Harju and
Hendrik Jan Hoogeboom and
Michel Latteux},
title = {Valence Languages Generated by Equality Sets},
journal = {J. Autom. Lang. Comb.},
volume = {9},
number = {4},
pages = {399--406},
year = {2004},
url = {https://doi.org/10.25596/jalc-2004-399},
doi = {10.25596/JALC-2004-399},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Latteux04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/HarjuN04,
author = {Tero Harju and
Dirk Nowotka},
title = {Border correlation of binary words},
journal = {J. Comb. Theory, Ser. {A}},
volume = {108},
number = {2},
pages = {331--341},
year = {2004},
url = {https://doi.org/10.1016/j.jcta.2004.07.009},
doi = {10.1016/J.JCTA.2004.07.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/HarjuN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/HageH04,
author = {Jurriaan Hage and
Tero Harju},
title = {A Characterization of Acyclic Switching Classes of Graphs Using Forbidden
Subgraphs},
journal = {{SIAM} J. Discret. Math.},
volume = {18},
number = {1},
pages = {159--176},
year = {2004},
url = {https://doi.org/10.1137/S0895480100381890},
doi = {10.1137/S0895480100381890},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamdm/HageH04.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/HarjuPR04a,
author = {Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Two Models for Gene Assembly in Ciliates},
booktitle = {Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion
of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3113},
pages = {89--101},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27812-2\_9},
doi = {10.1007/978-3-540-27812-2\_9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarjuPR04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarjuPR04,
author = {Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
editor = {Natasa Jonoska and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Formal Properties of Gene Assembly: Equivalence Problem for Overlap
Graphs},
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 = {202--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24635-0\_14},
doi = {10.1007/978-3-540-24635-0\_14},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarjuPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/HarjuLPR04,
author = {Tero Harju and
Chang Li and
Ion Petre and
Grzegorz Rozenberg},
editor = {Claudio Ferretti and
Giancarlo Mauri and
Claudio Zandron},
title = {Parallelism in Gene Assembly},
booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3384},
pages = {138--148},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493785\_12},
doi = {10.1007/11493785\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dna/HarjuLPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/HarjuM04,
author = {Tero Harju and
Maurice Margenstern},
editor = {Claudio Ferretti and
Giancarlo Mauri and
Claudio Zandron},
title = {Splicing Systems for Universal Turing Machines},
booktitle = {{DNA} Computing, 10th International Workshop on {DNA} Computing, {DNA}
10, Milan, Italy, June 7-10, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3384},
pages = {149--158},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493785\_13},
doi = {10.1007/11493785\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dna/HarjuM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrenfeuchtHHR04,
author = {Andrzej Ehrenfeucht and
Jurriaan Hage and
Tero Harju and
Grzegorz Rozenberg},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Embedding in Switching Classes with Skew Gains},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {257--270},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_19},
doi = {10.1007/978-3-540-30203-2\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrenfeuchtHHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HarjuPR04,
author = {Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Tutorial on {DNA} Computing and Graph Transformation},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {434--436},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_31},
doi = {10.1007/978-3-540-30203-2\_31},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/HarjuPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HarjuN04,
author = {Tero Harju and
Dirk Nowotka},
editor = {Volker Diekert and
Michel Habib},
title = {Periodicity and Unbordered Words: {A} Proof of Duval?s Conjecture},
booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer
Science, Montpellier, France, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2996},
pages = {294--304},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24749-4\_26},
doi = {10.1007/978-3-540-24749-4\_26},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/HarjuN04.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/HarjuN03,
author = {Tero Harju and
Dirk Nowotka},
title = {Periodicity and Unbordered Segments of Words},
journal = {Bull. {EATCS}},
volume = {80},
pages = {162--167},
year = {2003},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HarjuN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HarjuPR03,
author = {Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
title = {Gene Assembly in Ciliates Part I. Molecular Operations},
journal = {Bull. {EATCS}},
volume = {81},
pages = {236--249},
year = {2003},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HarjuPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HageHW03,
author = {Jurriaan Hage and
Tero Harju and
Emo Welzl},
title = {Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching
Classes},
journal = {Fundam. Informaticae},
volume = {58},
number = {1},
pages = {23--37},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi58-1-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HageHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrenfeuchtHPPR03,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Ion Petre and
David M. Prescott and
Grzegorz Rozenberg},
title = {Formal systems for gene assembly in ciliates},
journal = {Theor. Comput. Sci.},
volume = {292},
number = {1},
pages = {199--219},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00223-7},
doi = {10.1016/S0304-3975(01)00223-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrenfeuchtHPPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuN03,
author = {Tero Harju and
Dirk Nowotka},
title = {On the independence of equations in three variables},
journal = {Theor. Comput. Sci.},
volume = {307},
number = {1},
pages = {139--172},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00098-7},
doi = {10.1016/S0304-3975(03)00098-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HarjuN03,
author = {Tero Harju and
Dirk Nowotka},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
title = {About Duval's Conjecture},
booktitle = {Developments in Language Theory, 7th International Conference, {DLT}
2003, Szeged, Hungary, July 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2710},
pages = {316--324},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45007-6\_25},
doi = {10.1007/3-540-45007-6\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HarjuN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HalavaHHL03,
author = {Vesa Halava and
Tero Harju and
Hendrik Jan Hoogeboom and
Michel Latteux},
editor = {Andrzej Lingas and
Bengt J. Nilsson},
title = {Languages Defined by Generalized Equality Sets},
booktitle = {Fundamentals of Computation Theory, 14th International Symposium,
{FCT} 2003, Malm{\"{o}}, Sweden, August 12-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2751},
pages = {355--363},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45077-1\_33},
doi = {10.1007/978-3-540-45077-1\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/HalavaHHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0305039,
author = {Tero Harju and
Dirk Nowotka},
title = {Periodicity and Unbordered Words: {A} Proof of the Extended Duval
Conjecture},
journal = {CoRR},
volume = {cs.DM/0305039},
year = {2003},
url = {http://arxiv.org/abs/cs/0305039},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0305039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HarjuN02,
author = {Tero Harju and
Dirk Nowotka},
title = {Density of Critical Factorizations},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {36},
number = {3},
pages = {315--327},
year = {2002},
url = {https://doi.org/10.1051/ita:2002016},
doi = {10.1051/ITA:2002016},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/HarjuN02.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/mst/EhrenfeuchtHPR02,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
title = {Characterizing the Micronuclear Gene Patterns in Ciliates},
journal = {Theory Comput. Syst.},
volume = {35},
number = {5},
pages = {501--519},
year = {2002},
url = {https://doi.org/10.1007/s00224-002-1043-9},
doi = {10.1007/S00224-002-1043-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/EhrenfeuchtHPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HalavaHH02,
author = {Vesa Halava and
Tero Harju and
Mika Hirvensalo},
title = {Binary (generalized) Post Correspondence Problem},
journal = {Theor. Comput. Sci.},
volume = {276},
number = {1-2},
pages = {183--204},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00157-8},
doi = {10.1016/S0304-3975(01)00157-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HalavaHH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrenfeuchtHR02,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
title = {Gene assembly through cyclic graph decomposition},
journal = {Theor. Comput. Sci.},
volume = {281},
number = {1-2},
pages = {325--349},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(02)00019-1},
doi = {10.1016/S0304-3975(02)00019-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrenfeuchtHR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HalavaH02,
author = {Vesa Halava and
Tero Harju},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Infinite Solutions of Marked Post Correspondence 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 = {57--68},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_4},
doi = {10.1007/3-540-45711-9\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HalavaH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HarjuR02,
author = {Tero Harju and
Grzegorz Rozenberg},
editor = {Masami Ito and
Masafumi Toyama},
title = {Computational Processes in Living Cells: Gene Assembly in Ciliates},
booktitle = {Developments in Language Theory, 6th International Conference, {DLT}
2002, Kyoto, Japan, September 18-21, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2450},
pages = {1--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45005-X\_1},
doi = {10.1007/3-540-45005-X\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HarjuR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HageHW02,
author = {Jurriaan Hage and
Tero Harju and
Emo Welzl},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching
Classes},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {148--160},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_13},
doi = {10.1007/3-540-45832-8\_13},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/HageHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HarjuPR02,
author = {Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Tutorial on {DNA} Computing and Graph Transformation - Computational
Nature of Gene Assembly in Ciliates},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {430--434},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_31},
doi = {10.1007/3-540-45832-8\_31},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/HarjuPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HalavaH01,
author = {Vesa Halava and
Tero Harju},
title = {Some New Results on Post Correspondence Problem and Its Modifications},
journal = {Bull. {EATCS}},
volume = {73},
pages = {131--141},
year = {2001},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HalavaH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/HalavaH01,
author = {Vesa Halava and
Tero Harju},
title = {Mortality in Matrix Semigroups},
journal = {Am. Math. Mon.},
volume = {108},
number = {7},
pages = {649--653},
year = {2001},
url = {http://www.jstor.org/stable/2695274},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/HalavaH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarjuI01,
author = {Tero Harju and
Lucian Ilie},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {Forbidden subsequences and permutations sortable on two parallel stacks},
booktitle = {Where Mathematics, Computer Science, Linguistics and Biology Meet:
Essays in Honour of Gheorghe Paun},
pages = {267--275},
publisher = {Kluwer Academic Publishers},
year = {2001},
timestamp = {Fri, 09 Dec 2011 11:05:54 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HarjuI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Harju01,
author = {Tero Harju},
editor = {Werner Kuich and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Decision Questions on Integer Matrices},
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 = {57--68},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46011-X\_5},
doi = {10.1007/3-540-46011-X\_5},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Harju01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HalavaH01,
author = {Vesa Halava and
Tero Harju},
editor = {Werner Kuich and
Grzegorz Rozenberg and
Arto Salomaa},
title = {An Undecidability Result Concerning Periodic Morphisms},
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 = {304--310},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46011-X\_26},
doi = {10.1007/3-540-46011-X\_26},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HalavaH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/EhrenfeuchtHPR01,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Ion Petre and
Grzegorz Rozenberg},
editor = {Natasa Jonoska and
Nadrian C. Seeman},
title = {Patterns of Micronuclear Genes in ciliates},
booktitle = {{DNA} Computing, 7th International Workshop on DNA-Based Computers,
DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2340},
pages = {279--289},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48017-X\_26},
doi = {10.1007/3-540-48017-X\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dna/EhrenfeuchtHPR01.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}
}
@article{DBLP:journals/dm/HageH00,
author = {Jurriaan Hage and
Tero Harju},
title = {The size of switching classes with skew gains},
journal = {Discret. Math.},
volume = {215},
pages = {81--92},
year = {2000},
url = {https://doi.org/10.1016/S0012-365X(99)00243-5},
doi = {10.1016/S0012-365X(99)00243-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/HageH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/HalavaHH00,
author = {Vesa Halava and
Tero Harju and
Mika Hirvensalo},
title = {Generalized Post Correspondence Problem for Marked Morphisms},
journal = {Int. J. Algebra Comput.},
volume = {10},
number = {6},
pages = {757--772},
year = {2000},
url = {https://doi.org/10.1142/S0218196700000376},
doi = {10.1142/S0218196700000376},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/HalavaHH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/EhrenfeuchtHHR00,
author = {Andrzej Ehrenfeucht and
Jurriaan Hage and
Tero Harju and
Grzegorz Rozenberg},
title = {Pancyclicity in switching classes},
journal = {Inf. Process. Lett.},
volume = {73},
number = {5-6},
pages = {153--156},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00020-X},
doi = {10.1016/S0020-0190(00)00020-X},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/EhrenfeuchtHHR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/HalavaHI00,
author = {Vesa Halava and
Tero Harju and
Lucian Ilie},
title = {Periods and Binary Words},
journal = {J. Comb. Theory, Ser. {A}},
volume = {89},
number = {2},
pages = {298--303},
year = {2000},
url = {https://doi.org/10.1006/jcta.1999.3014},
doi = {10.1006/JCTA.1999.3014},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jct/HalavaHI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0025562,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
title = {The Theory of 2-Structures - {A} Framework for Decomposition and Transformation
of Graphs},
publisher = {World Scientific},
year = {1999},
url = {http://www.worldscibooks.com/mathematics/4197.html},
isbn = {978-981-02-4042-4},
timestamp = {Tue, 15 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0025562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HalavaH99,
author = {Vesa Halava and
Tero Harju},
title = {Undecidability in Integer Weighted Finite Automata},
journal = {Fundam. Informaticae},
volume = {38},
number = {1-2},
pages = {189--200},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-381215},
doi = {10.3233/FI-1999-381215},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/HalavaH99.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/ita/HalavaH99,
author = {Vesa Halava and
Tero Harju},
title = {Undecidability of the equivalence of finite substitutions on regular
language},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {33},
number = {2},
pages = {117--124},
year = {1999},
url = {https://doi.org/10.1051/ita:1999109},
doi = {10.1051/ITA:1999109},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ita/HalavaH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HalavaH99,
author = {Vesa Halava and
Tero Harju},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Gheorghe Paun and
Grzegorz Rozenberg},
title = {Languages Accepted by Integer Weighted Finite Automata},
booktitle = {Jewels are Forever, Contributions on Theoretical Computer Science
in Honor of Arto Salomaa},
pages = {123--134},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 29 Jul 2002 11:58:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HalavaH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HalavaHH99,
author = {Vesa Halava and
Tero Harju and
Mika Hirvensalo},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Generalized {PCP} Is Decidable for Marked Morphisms},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {304--315},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_25},
doi = {10.1007/3-540-48321-7\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/HalavaHH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/EhrenfeuchtHPR98,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Paulien ten Pas and
Grzegorz Rozenberg},
title = {Permutations, parenthesis words, and Schr{\"{o}}der numbers},
journal = {Discret. Math.},
volume = {190},
number = {1-3},
pages = {259--264},
year = {1998},
url = {https://doi.org/10.1016/S0012-365X(98)00155-1},
doi = {10.1016/S0012-365X(98)00155-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/EhrenfeuchtHPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/HageH98,
author = {Jurriaan Hage and
Tero Harju},
title = {Acyclicity of Switching Classes},
journal = {Eur. J. Comb.},
volume = {19},
number = {3},
pages = {321--327},
year = {1998},
url = {https://doi.org/10.1006/eujc.1997.0191},
doi = {10.1006/EUJC.1997.0191},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/HageH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuI98,
author = {Tero Harju and
Lucian Ilie},
title = {On Quasi Orders of Words and the Confluence Property},
journal = {Theor. Comput. Sci.},
volume = {200},
number = {1-2},
pages = {205--224},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00259-4},
doi = {10.1016/S0304-3975(97)00259-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HarjuI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HarjuMS98,
author = {Tero Harju and
Alexandru Mateescu and
Arto Salomaa},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Shuffle on Trajectories: The Sch{\"{u}}tzenberger Product and
Related Operations},
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 = {503--511},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055800},
doi = {10.1007/BFB0055800},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HarjuMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/EhrenfeuchtHHR98,
author = {Andrzej Ehrenfeucht and
Jurriaan Hage and
Tero Harju and
Grzegorz Rozenberg},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Complexity Issues in Switching of Graphs},
booktitle = {Theory and Application of Graph Transformations, 6th International
Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1764},
pages = {59--70},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-46464-8\_5},
doi = {10.1007/978-3-540-46464-8\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/tagt/EhrenfeuchtHHR98.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/ipl/HalavaHI97,
author = {Vesa Halava and
Tero Harju and
Lucian Ilie},
title = {On a Geometric Problem of Zigzags},
journal = {Inf. Process. Lett.},
volume = {62},
number = {1},
pages = {1--4},
year = {1997},
url = {https://doi.org/10.1016/S0020-0190(97)00042-2},
doi = {10.1016/S0020-0190(97)00042-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HalavaHI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HarjuI97,
author = {Tero Harju and
Lucian Ilie},
title = {Languages Obtained from Infinite Words},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {31},
number = {5},
pages = {445--455},
year = {1997},
url = {https://doi.org/10.1051/ita/1997310504451},
doi = {10.1051/ITA/1997310504451},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/HarjuI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EhrenfeuchtHR97,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
title = {Invariants of Inversive 2-Structures on Groups of Labels},
journal = {Math. Struct. Comput. Sci.},
volume = {7},
number = {4},
pages = {303--327},
year = {1997},
url = {https://doi.org/10.1017/S0960129597002260},
doi = {10.1017/S0960129597002260},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/EhrenfeuchtHR97.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}
}
@incollection{DBLP:conf/gg/EhrenfeuchtHR97,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
editor = {Grzegorz Rozenberg},
title = {2-Structures - {A} Framework For Decomposition And Transformation
Of Graphs},
booktitle = {Handbook of Graph Grammars and Computing by Graph Transformations,
Volume 1: Foundations},
pages = {401--478},
publisher = {World Scientific},
year = {1997},
timestamp = {Thu, 08 Jun 2017 18:28:27 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrenfeuchtHR97.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 = {Sat, 30 May 2020 20:02:22 +0200},
biburl = {https://dblp.org/rec/reference/hfl/HarjuK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EngelfrietHPR96,
author = {Joost Engelfriet and
Tero Harju and
Andrzej Proskurowski and
Grzegorz Rozenberg},
title = {Characterization and Complexity of Uniformly Non Primitive Labeled
2-Structures},
journal = {Theor. Comput. Sci.},
volume = {154},
number = {2},
pages = {247--282},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(94)00272-X},
doi = {10.1016/0304-3975(94)00272-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EngelfrietHPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuLM96,
author = {Tero Harju and
Marjo Lipponen and
Alexandru Mateescu},
title = {Flatwords and Post Correspondence Problem},
journal = {Theor. Comput. Sci.},
volume = {161},
number = {1{\&}2},
pages = {93--108},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00092-5},
doi = {10.1016/0304-3975(95)00092-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuLM96.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}
}
@inproceedings{DBLP:conf/icalp/EhrenfeuchtHR95,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Theory of 2-Structures},
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 = {1--14},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_58},
doi = {10.1007/3-540-60084-1\_58},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrenfeuchtHR95.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/dm/EhrenfeuchtHR94,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
title = {Incremental construction of 2-structures},
journal = {Discret. Math.},
volume = {128},
number = {1-3},
pages = {113--141},
year = {1994},
url = {https://doi.org/10.1016/0012-365X(94)90107-4},
doi = {10.1016/0012-365X(94)90107-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/EhrenfeuchtHR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HarjuR94,
author = {Tero Harju and
Grzegorz Rozenberg},
title = {Reductions for Primitive 2-Structures},
journal = {Fundam. Informaticae},
volume = {20},
number = {1/2/3},
pages = {133--144},
year = {1994},
url = {https://doi.org/10.3233/FI-1994-201235},
doi = {10.3233/FI-1994-201235},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/HarjuR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HarjuKK94,
author = {Tero Harju and
N. W. Keesmaat and
H. C. M. Kleijn},
title = {The Intersection Problem for Alphabetic Vector Monoids},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {28},
number = {3-4},
pages = {295--301},
year = {1994},
url = {https://doi.org/10.1051/ita/1994283-402951},
doi = {10.1051/ITA/1994283-402951},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/HarjuKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuKLT94,
author = {Tero Harju and
H. C. M. Kleijn and
Michel Latteux and
Alain Terlutte},
title = {Representation of Rational Functions with Prefix and Suffix Codings},
journal = {Theor. Comput. Sci.},
volume = {134},
number = {2},
pages = {403--413},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90245-3},
doi = {10.1016/0304-3975(94)90245-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuKLT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarjuHK94,
author = {Tero Harju and
Hendrik Jan Hoogeboom and
H. C. M. Kleijn},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Grzegorz Rozenberg},
title = {Identities and Transductions},
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 = {140--144},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58131-6\_43},
doi = {10.1007/3-540-58131-6\_43},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarjuHK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarjuR94,
author = {Tero Harju and
Grzegorz Rozenberg},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Grzegorz Rozenberg},
title = {Decompostion of Infinite Labeled 2-Structures},
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 = {145--158},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58131-6\_44},
doi = {10.1007/3-540-58131-6\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarjuR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/EhrenfeuchtHR94,
author = {Andrzej Ehrenfeucht and
Tero Harju and
Grzegorz Rozenberg},
editor = {Janice E. Cuny and
Hartmut Ehrig and
Gregor Engels and
Grzegorz Rozenberg},
title = {Group Based Graph Transformations and Hierarchical Representations
of Graphs},
booktitle = {Graph Gramars and Their Application to Computer Science, 5th International
Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1073},
pages = {502--520},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-61228-9\_108},
doi = {10.1007/3-540-61228-9\_108},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/tagt/EhrenfeuchtHR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HarjuK93,
author = {Tero Harju and
H. C. M. Kleijn},
title = {Morphisms and rational tranducers},
journal = {Bull. {EATCS}},
volume = {51},
pages = {168--180},
year = {1993},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HarjuK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HarjuKL92,
author = {Tero Harju and
H. C. M. Kleijn and
Michel Latteux},
title = {Deterministic Sequential Functions},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {545--554},
year = {1992},
url = {https://doi.org/10.1007/BF01185560},
doi = {10.1007/BF01185560},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/HarjuKL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HarjuKL92,
author = {Tero Harju and
H. C. M. Kleijn and
Michel Latteux},
title = {Compositional representation of rational functions},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {26},
pages = {243--255},
year = {1992},
url = {https://doi.org/10.1051/ita/1992260302431},
doi = {10.1051/ITA/1992260302431},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/HarjuKL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/CulikH91,
author = {Karel Cul{\'{\i}}k II and
Tero Harju},
title = {Splicing semigroups of dominoes and {DNA}},
journal = {Discret. Appl. Math.},
volume = {31},
number = {3},
pages = {261--277},
year = {1991},
url = {https://doi.org/10.1016/0166-218X(91)90054-Z},
doi = {10.1016/0166-218X(91)90054-Z},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/CulikH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HarjuK91,
author = {Tero Harju and
H. C. M. Kleijn},
title = {Decidability problems for unary output sequential transducers},
journal = {Discret. Appl. Math.},
volume = {32},
number = {2},
pages = {131--140},
year = {1991},
url = {https://doi.org/10.1016/0166-218X(91)90096-F},
doi = {10.1016/0166-218X(91)90096-F},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HarjuK91.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/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/mst/HarjuK89,
author = {Tero Harju and
H. C. M. Kleijn},
title = {Cardinality Problems of Composition of Morphisms and Inverse Morphisms},
journal = {Math. Syst. Theory},
volume = {22},
number = {3},
pages = {151--159},
year = {1989},
url = {https://doi.org/10.1007/BF02088295},
doi = {10.1007/BF02088295},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/HarjuK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CulikH89,
author = {Karel Cul{\'{\i}}k II and
Tero Harju},
editor = {Giorgio Ausiello and
Mariangiola Dezani{-}Ciancaglini and
Simona Ronchi Della Rocca},
title = {Dominoes and the Regularity of {DNS} Splicing Languages},
booktitle = {Automata, Languages and Programming, 16th International Colloquium,
ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {372},
pages = {222--233},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0035763},
doi = {10.1007/BFB0035763},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CulikH89.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/ita/HarjuL86,
author = {Tero Harju and
Matti Linna},
title = {On the Periodicity of Morphisms on Free Monoids},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {20},
number = {1},
pages = {47--54},
year = {1986},
url = {https://doi.org/10.1051/ita/1986200100471},
doi = {10.1051/ITA/1986200100471},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/HarjuL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CulikH84,
author = {Karel Cul{\'{\i}}k II and
Tero Harju},
title = {The omega-Sequence Problem for {DOL} Systems Is Decidable},
journal = {J. {ACM}},
volume = {31},
number = {2},
pages = {282--298},
year = {1984},
url = {https://doi.org/10.1145/62.2161},
doi = {10.1145/62.2161},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CulikH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuL84,
author = {Tero Harju and
Matti Linna},
title = {The Equations h(w)=w-n in Binary Alphabets},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {327--329},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90093-8},
doi = {10.1016/0304-3975(84)90093-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CulikH82,
author = {Karel Cul{\'{\i}}k II and
Tero Harju},
title = {Dominoes Over a Free Monoid},
journal = {Theor. Comput. Sci.},
volume = {18},
pages = {279--300},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(82)90070-6},
doi = {10.1016/0304-3975(82)90070-6},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CulikH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CulikH81,
author = {Karel Cul{\'{\i}}k II and
Tero Harju},
title = {The omega-Sequence Equivalence Problem for {DOL} Systems Is Decidable},
booktitle = {Proceedings of the 13th Annual {ACM} Symposium on Theory of Computing,
May 11-13, 1981, Milwaukee, Wisconsin, {USA}},
pages = {1--6},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800076.802451},
doi = {10.1145/800076.802451},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/CulikH81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Harju79,
author = {Tero Harju},
title = {A Simulation Result for the Auxiliary Pushdown Automata},
journal = {J. Comput. Syst. Sci.},
volume = {19},
number = {2},
pages = {119--132},
year = {1979},
url = {https://doi.org/10.1016/0022-0000(79)90023-0},
doi = {10.1016/0022-0000(79)90023-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Harju79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Harju77,
author = {Tero Harju},
title = {A Polynomial Recognition Algorithm for the {EDTOL} Languages},
journal = {J. Inf. Process. Cybern.},
volume = {13},
number = {4/5},
pages = {169--177},
year = {1977},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Harju77.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 2024-03-24 00:13 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:
