Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.