default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTero Harju
Person information
- affiliation: University of Turku, Finland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j123]Vesa Halava, Tero Harju
, Dirk Nowotka, Esa Sahla:
Decision Problems on Copying and Shuffling. Fundam. Informaticae 191(3-4): 269-284 (2024)- [j122]Tero Harju:
A Note on Squares in Binary Words. Int. J. Found. Comput. Sci. 35(1&2): 101-106 (2024) - [j121]Tero Harju:
A simple undecidable problem for free groups. Theor. Comput. Sci. 1003: 114629 (2024) - 2023
- [j120]Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov:
Integer Weighted Automata on Infinite Words. Int. J. Found. Comput. Sci. 34(2&3): 163-182 (2023) - [j119]Olivier Finkel, Vesa Halava, Tero Harju, Esa Sahla:
On bi-infinite and conjugate post correspondence problems. RAIRO Theor. Informatics Appl. 57: 7 (2023) - [i13]Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla:
Decision Problems on Copying and Shuffling. CoRR abs/2302.06248 (2023) - 2022
- [j118]Tero Harju:
Critical factorisation in square-free words. RAIRO Theor. Informatics Appl. 56: 3 (2022) - [j117]Golnaz Badkobeh, Tero Harju, Pascal Ochem, Matthieu Rosenfeld:
Avoiding square-free words on free groups. Theor. Comput. Sci. 922: 206-217 (2022) - [i12]Vesa Halava, Tero Harju, Teemu Pirttimäki:
A recursive function coding number theoretic functions. CoRR abs/2203.09311 (2022) - 2021
- [j116]Tero Harju:
Disposability in square-free words. Theor. Comput. Sci. 862: 155-159 (2021) - [c46]Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov:
Integer Weighted Automata on Infinite Words. DLT 2021: 167-179 - [p4]Tero Harju, Juhani Karhumäki:
Finite transducers and rational transductions. Handbook of Automata Theory (I.) 2021: 79-111 - [i11]Tero Harju:
Critical factorisation in square-free words. CoRR abs/2107.09421 (2021) - [i10]Tero Harju:
A Note on Squares in Binary Words. CoRR abs/2108.04572 (2021) - [i9]Vesa Halava, Tero Harju, Esa Sahla:
The Conjugate Post Correspondence Problem. CoRR abs/2111.04484 (2021) - 2020
- [j115]Vesa Halava, Tero Harju:
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem. Acta Cybern. 24(4): 613-623 (2020) - [j114]Vesa Halava, Tero Harju, Esa Sahla:
On Shuffling a Word with its Letter-to-Letter Substitution. Fundam. Informaticae 175(1-4): 201-206 (2020)
2010 – 2019
- 2019
- [j113]Tero Harju:
On square-free arithmetic progressions in infinite words. Theor. Comput. Sci. 770: 95-100 (2019) - [j112]James D. Currie, Tero Harju, Pascal Ochem, Narad Rampersad:
Some further results on squarefree arithmetic progressions in infinite words. Theor. Comput. Sci. 799: 140-148 (2019) - [i8]James D. Currie, Tero Harju, Pascal Ochem, Narad Rampersad:
Some further results on squarefree arithmetic progressions in infinite words. CoRR abs/1901.06351 (2019) - 2018
- [j111]Vesa Halava, Tero Harju, Esa Sahla:
On fixed points of rational transductions. Theor. Comput. Sci. 732: 85-88 (2018) - 2017
- [j110]Vesa Halava, Tero Harju, Esa Sahla:
A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem. Fundam. Informaticae 154(1-4): 167-176 (2017) - [j109]Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov:
Weighted automata on infinite words in the context of Attacker-Defender games. Inf. Comput. 255: 27-44 (2017) - [j108]Vesa Halava, Tero Harju:
Walks on tilings of polygons. Theor. Comput. Sci. 701: 120-124 (2017) - 2016
- [j107]Émilie Charlier, Tero Harju, Svetlana Puzynina, Luca Q. Zamboni:
Abelian bordered factors and periodicity. Eur. J. Comb. 51: 407-418 (2016) - 2015
- [j106]Tero Harju, Mari Huova, Luca Q. Zamboni:
On generating binary words palindromically. J. Comb. Theory A 129: 142-159 (2015) - [j105]Tero Harju, Mike Müller:
A note on short palindromes in square-free words. Theor. Comput. Sci. 562: 658-659 (2015) - [j104]Mari Ernvall, Vesa Halava, Tero Harju:
On the n-permutation Post Correspondence Problem. Theor. Comput. Sci. 601: 15-20 (2015) - [j103]Tero Harju, Mike Müller:
Square-free shuffles of words. Theor. Comput. Sci. 601: 29-38 (2015) - [c45]Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov:
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games. CiE 2015: 206-215 - [i7]Emilie Charlier, Tero Harju, Svetlana Puzynina, Luca Q. Zamboni:
Abelian bordered factors and periodicity. CoRR abs/1501.07464 (2015) - 2014
- [c44]Tero Harju, Tomi Kärki:
Minimal Similarity Relations for Square-Free Words. Discrete Mathematics and Computer Science 2014: 193-200 - [i6]Julien Cassaigne, Vesa Halava, Tero Harju, François Nicolas:
Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More. CoRR abs/1404.0644 (2014) - 2013
- [j102]Vesa Halava, Tero Harju:
New proof for the undecidability of the circular PCP. Acta Informatica 50(5-6): 331-341 (2013) - [j101]Emilie Charlier, Michael Domaratzki, Tero Harju, Jeffrey O. Shallit:
Composition and orbits of language operations: finiteness and upper bounds. Int. J. Comput. Math. 90(6): 1171-1196 (2013) - [c43]Tero Harju:
A Note on Square-Free Shuffles of Words. WORDS 2013: 154-160 - [i5]Tero Harju, Mari Huova, Luca Q. Zamboni:
On Generating Binary Words Palindromically. CoRR abs/1309.1886 (2013) - [i4]Tero Harju, Mike Müller:
Square-Free Shuffles of Words. CoRR abs/1309.2137 (2013) - 2012
- [j100]Tero Harju:
Square-free words obtained from prefixes by permutations. Theor. Comput. Sci. 429: 128-133 (2012) - [j99]Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre:
Simple gene assembly as a rewriting of directed overlap-inclusion graphs. Theor. Comput. Sci. 454: 30-37 (2012) - [j98]Robert Brijder, Tero Harju, Hendrik Jan Hoogeboom:
Pivots, determinants, and perfect matchings of graphs. Theor. Comput. Sci. 454: 64-71 (2012) - [p3]Robert Brijder, Mark Daley, Tero Harju, Natasa Jonoska, Ion Petre, Grzegorz Rozenberg:
Computational Nature of Gene Assembly in Ciliates. Handbook of Natural Computing 2012: 1233-1280 - 2011
- [j97]Tero Harju, Tomi Kärki, Dirk Nowotka:
The Number of Positions Starting a Square in Binary Words. Electron. J. Comb. 18(1) (2011) - [j96]Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Vladimir Rogojin:
Directed Overlap-inclusion Graphs as Representations of Ciliate Genes. Fundam. Informaticae 110(1-4): 29-44 (2011) - [j95]Tero Harju, Tomi Kärki:
On the number of frames in binary words. Theor. Comput. Sci. 412(39): 5276-5284 (2011) - [c42]Emilie Charlier, Michael Domaratzki, Tero Harju, Jeffrey O. Shallit:
Finite Orbits of Language Operations. LATA 2011: 204-215 - [c41]Vesa Halava, Tero Harju, Tomi Kärki:
A new proof for the decidability of D0L ultimate periodicity. WORDS 2011: 147-151 - [i3]Emilie Charlier, Michael Domaratzki, Tero Harju, Jeffrey O. Shallit:
Finite Orbits of Language Operations. CoRR abs/1101.1667 (2011) - [i2]Tero Harju:
Square-free Walks on Labelled Graphs. CoRR abs/1106.4106 (2011) - 2010
- [j94]Tero Harju, Dirk Nowotka:
Cyclically repetition-free words on small alphabets. Inf. Process. Lett. 110(14-15): 591-595 (2010) - [j93]Vesa Halava, Tero Harju, Tomi Kärki:
On the number of squares in partial words. RAIRO Theor. Informatics Appl. 44(1): 125-138 (2010) - [c40]Vesa Halava, Tero Harju, Tomi Kärki, Michel Rigo:
On the Periodicity of Morphic Words. Developments in Language Theory 2010: 209-217
2000 – 2009
- 2009
- [j92]Vesa Halava, Tero Harju, Tomi Kärki:
The theorem of Fine and Wilf for relational periods. RAIRO Theor. Informatics Appl. 43(2): 209-220 (2009) - [j91]Vesa Halava, Tero Harju, Tomi Kärki, Patrice Séébold:
Overlap-freeness in infinite partial words. Theor. Comput. Sci. 410(8-10): 943-948 (2009) - [c39]Jurriaan Hage, Tero Harju:
On Involutions Arising from Graphs. Algorithmic Bioprocesses 2009: 623-630 - [c38]Tero Harju:
Post Correspondence Problem and Small Dimensional Matrices. Developments in Language Theory 2009: 39-46 - 2008
- [j90]Tero Harju, Dirk Nowotka:
Bordered Conjugates of Words over Large Alphabets. Electron. J. Comb. 15(1) (2008) - [j89]Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg:
Patterns of simple gene assembly in ciliates. Discret. Appl. Math. 156(14): 2581-2597 (2008) - [j88]Tero Harju, Chang Li, Ion Petre:
Graph theoretic approach to parallel gene assembly. Discret. Appl. Math. 156(18): 3416-3429 (2008) - [j87]Jean-Pierre Duval, Tero Harju, Dirk Nowotka:
Unbordered factors and Lyndon words. Discret. Math. 308(11): 2261-2264 (2008) - [j86]Tomi Kärki, Tero Harju, Vesa Halava:
Interaction Properties of Relational Periods. Discret. Math. Theor. Comput. Sci. 10(1) (2008) - [j85]Paul Bell, Vesa Halava, Tero Harju, Juhani Karhumäki, Igor Potapov:
Matrix Equations and Hilbert's Tenth Problem. Int. J. Algebra Comput. 18(8): 1231-1241 (2008) - [j84]Tero Harju, Juhani Karhumäki:
Preface. Int. J. Found. Comput. Sci. 19(3): 495-496 (2008) - [j83]Vesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki:
Post Correspondence Problem for short words. Inf. Process. Lett. 108(3): 115-118 (2008) - [j82]Vesa Halava, Tero Harju, Tomi Kärki:
Square-free partial words. Inf. Process. Lett. 108(5): 290-292 (2008) - [j81]Jean Berstel, Tero Harju, Juhani Karhumäki:
Preface. RAIRO Theor. Informatics Appl. 42(4): 657 (2008) - [j80]Tero Harju, Chang Li, Ion Petre:
Parallel complexity of signed graphs for gene assembly in ciliates. Soft Comput. 12(8): 731-737 (2008) - 2007
- [j79]Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:
Finite metrics in switching classes. Discret. Appl. Math. 155(1): 68-73 (2007) - [j78]Jurriaan Hage, Tero Harju:
Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Discuss. Math. Graph Theory 27(3): 471-483 (2007) - [j77]Vesa Halava, Tero Harju, Mika Hirvensalo:
Undecidability Bounds for Integer Matrices Using Claus Instances. Int. J. Found. Comput. Sci. 18(5): 931-948 (2007) - [j76]Tero Harju, Dirk Nowotka:
Periodicity and unbordered words: A proof of the extended duval conjecture. J. ACM 54(4): 20 (2007) - [j75]Vesa Halava, Tero Harju, Juhani Karhumäki:
The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems. Theory Comput. Syst. 40(1): 43-54 (2007) - [j74]Vesa Halava, Tero Harju, Juhani Karhumäki, Michel Latteux:
Extension of the decidability of the marked PCP to instances with unique blocks. Theor. Comput. Sci. 380(3): 355-362 (2007) - [j73]Vesa Halava, Tero Harju, Tomi Kärki:
Relational codes of words. Theor. Comput. Sci. 389(1-2): 237-249 (2007) - [e1]Tero Harju, Juhani Karhumäki, Arto Lepistö:
Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings. Lecture Notes in Computer Science 4588, Springer 2007, ISBN 978-3-540-73207-5 [contents] - 2006
- [j72]Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:
Embedding linear orders in grids. Acta Informatica 42(6-7): 419-428 (2006) - [j71]Tero Harju, Dirk Nowotka:
Periods in Extensions of Words. Acta Informatica 43(3): 165-171 (2006) - [j70]Vesa Halava, Tero Harju, Mika Hirvensalo:
Positivity of second order linear recurrent sequences. Discret. Appl. Math. 154(3): 447-451 (2006) - [j69]Tero Harju, Dirk Nowotka:
Binary Words with Few Squares. Bull. EATCS 89: 164-166 (2006) - [j68]Vesa Halava, Tero Harju, Juhani Karhumäki:
Undecidability in omega-Regular Languages. Fundam. Informaticae 73(1-2): 119-125 (2006) - [j67]Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
The Embedding Problem for Switching Classes of Graphs. Fundam. Informaticae 74(1): 115-134 (2006) - [j66]Vesa Halava, Tero Harju:
Undecidability of infinite post correspondence problem for instances of Size 9. RAIRO Theor. Informatics Appl. 40(4): 551-557 (2006) - [j65]Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg:
Parallelism in Gene Assembly. Nat. Comput. 5(2): 203-223 (2006) - [j64]Tero Harju, Dirk Nowotka:
On unique factorizations of primitive words. Theor. Comput. Sci. 356(1-2): 186-189 (2006) - [c37]Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg:
Complexity Measures for Gene Assembly. KDECB 2006: 42-60 - [c36]Tero Harju, Ion Petre, Grzegorz Rozenberg:
Modelling Simple Operations for Gene Assembly. Nanotechnology: Science and Computation 2006: 361-373 - 2005
- [j63]Vesa Halava, Tero Harju, Michel Latteux:
Representation of Regular Languages by Equality Sets. Bull. EATCS 86: 224-228 (2005) - [j62]Vesa Halava, Tero Harju, Michel Latteux:
Equality sets of prefix morphisms and regular star languages. Inf. Process. Lett. 94(4): 151-154 (2005) - [j61]Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux:
Equality sets for recursively enumerable languages. RAIRO Theor. Informatics Appl. 39(4): 661-675 (2005) - [j60]Tero Harju, Dirk Nowotka:
On the equation in a free semigroup. Theor. Comput. Sci. 330(1): 117-121 (2005) - [j59]Tero Harju, Juhani Karhumäki, Antonio Restivo:
Preface. Theor. Comput. Sci. 339(1): 1-2 (2005) - [j58]Tero Harju, Dirk Nowotka:
Counting bordered and primitive words with a fixed weight. Theor. Comput. Sci. 340(1): 273-279 (2005) - [j57]Tero Harju, Arto Lepistö, Dirk Nowotka:
A characterization of periodicity of bi-infinite words. Theor. Comput. Sci. 347(1-2): 419-422 (2005) - [c35]Tero Harju:
Combinatorial Models of Gene Assembly. CiE 2005: 188-195 - [c34]Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg:
Simple Operations for Gene Assembly. DNA 2005: 96-111 - [c33]Tero Harju:
Characterizations of Regularity. FSMNLP 2005: 1-8 - 2004
- [j56]Vesa Halava, Tero Harju:
Undecidability in matrices over Laurent polynomials. Adv. Appl. Math. 33(4): 747-752 (2004) - [j55]Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:
Transitivity of local complementation and switching on graphs. Discret. Math. 278(1-3): 45-60 (2004) - [j54]Tero Harju, Ion Petre, Grzegorz Rozenberg:
Gene Assembly in Celiates. Part I. Molecular Operations (Column: Natural Computing). Bull. EATCS 82: 227-241 (2004) - [j53]Tero Harju, Dirk Nowotka:
Minimal Duval Extensions. Int. J. Found. Comput. Sci. 15(2): 349-354 (2004) - [j52]Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux:
Valence Languages Generated by Equality Sets. J. Autom. Lang. Comb. 9(4): 399-406 (2004) - [j51]Tero Harju, Dirk Nowotka:
Border correlation of binary words. J. Comb. Theory A 108(2): 331-341 (2004) - [j50]Jurriaan Hage, Tero Harju:
A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs. SIAM J. Discret. Math. 18(1): 159-176 (2004) - [j49]Tero Harju, Juhani Karhumäki:
Many aspects of defect theorems. Theor. Comput. Sci. 324(1): 35-54 (2004) - [c32]Tero Harju, Ion Petre, Grzegorz Rozenberg:
Two Models for Gene Assembly in Ciliates. Theory Is Forever 2004: 89-101 - [c31]Tero Harju, Ion Petre, Grzegorz Rozenberg:
Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs. Aspects of Molecular Computing 2004: 202-212 - [c30]Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg:
Parallelism in Gene Assembly. DNA 2004: 138-148 - [c29]Tero Harju, Maurice Margenstern:
Splicing Systems for Universal Turing Machines. DNA 2004: 149-158 - [c28]Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
Embedding in Switching Classes with Skew Gains. ICGT 2004: 257-270 - [c27]Tero Harju, Ion Petre, Grzegorz Rozenberg:
Tutorial on DNA Computing and Graph Transformation. ICGT 2004: 434-436 - [c26]Tero Harju, Dirk Nowotka:
Periodicity and Unbordered Words: A Proof of Duval?s Conjecture. STACS 2004: 294-304 - 2003
- [j48]Vesa Halava, Tero Harju, Juhani Karhumäki:
Decidability of the binary infinite Post Correspondence Problem. Discret. Appl. Math. 130(3): 521-526 (2003) - [j47]Tero Harju, Dirk Nowotka:
Periodicity and Unbordered Segments of Words. Bull. EATCS 80: 162-167 (2003) - [j46]Tero Harju, Ion Petre, Grzegorz Rozenberg:
Gene Assembly in Ciliates Part I. Molecular Operations. Bull. EATCS 81: 236-249 (2003) - [j45]Jurriaan Hage, Tero Harju, Emo Welzl:
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. Fundam. Informaticae 58(1): 23-37 (2003) - [j44]Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg:
Formal systems for gene assembly in ciliates. Theor. Comput. Sci. 292(1): 199-219 (2003) - [j43]Tero Harju, Dirk Nowotka:
On the independence of equations in three variables. Theor. Comput. Sci. 307(1): 139-172 (2003) - [c25]Tero Harju, Dirk Nowotka:
About Duval's Conjecture. Developments in Language Theory 2003: 316-324 - [c24]Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux:
Languages Defined by Generalized Equality Sets. FCT 2003: 355-363 - [i1]Tero Harju, Dirk Nowotka:
Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture. CoRR cs.DM/0305039 (2003) - 2002
- [j42]Tero Harju, Dirk Nowotka:
Density of Critical Factorizations. RAIRO Theor. Informatics Appl. 36(3): 315-327 (2002) - [j41]