Edit Profile (opens in new tab) Harju, Tero Compute Distance To: Compute Author ID: harju.tero Published as: Harju, Tero; Harju, T. Homepage: http://users.utu.fi/harju/ External Links: MGP · Math-Net.Ru · dblp · GND Member of Collective: Lothaire, M. Documents Indexed: 171 Publications since 1977, including 2 Books 6 Contributions as Editor Reviewing Activity: 160 Reviews Co-Authors: 65 Co-Authors with 163 Joint Publications 1,577 Co-Co-Authors all top 5 Co-Authors 14 single-authored 49 Halava, Vesa 34 Rozenberg, Grzegorz 24 Karhumaki, Juhani 20 Ehrenfeucht, Andrzej 20 Nowotka, Dirk 19 Petre, Ion 12 Kärki, Tomi 10 Hage, Jurriaan 8 Kleijn, Jetty 8 Latteux, Michel 6 Hirvensalo, Mika 5 Ilie, Lucian 4 Culik, Karel II 4 Li, Chang 4 Potapov, Igor 3 Charlier, Emilie 3 Hoogeboom, Hendrik Jan 3 Niskanen, Reino 3 Rogojin, Vladimir 3 Sahla, Esa 3 Salomaa, Arto Kustaa 3 Zamboni, Luca Quardo 2 Domaratzki, Mike 2 Ibarra, Oscar H. 2 Langille, Miika 2 Lepistö, Arto 2 Linna, Matti 2 Mateescu, Alexandru 2 Müller, Mike 2 Ochem, Pascal 2 Plandowski, Wojciech 2 Prescott, David M. 2 Shallit, Jeffrey O. 2 Welzl, Emo 1 Azimi, Epinoud 1 Azimi, Sepinoud 1 Badkobeh, Golnaz 1 Bell, Paul C. 1 Berstel, Jean 1 Brijder, Robert 1 Cassaigne, Julien 1 Choffrut, Christian 1 Currie, James D. 1 Diekert, Volker 1 Duval, Jean-Pierre 1 Engelfriet, Joost 1 Ernvall, Mari 1 Honkala, Iiro S. 1 Huova, Mari 1 Keesmaat, N. W. 1 Krob, Daniel 1 Lipponen, Marjo 1 Margenstern, Maurice 1 Penttonen, Martti 1 Petrich, Mario 1 Proskurowski, Andrzej 1 Puzynina, Svetlana 1 Rampersad, Narad 1 Restivo, Antonio 1 Rigo, Michel 1 Rosenfeld, Matthieu 1 Séébold, Patrice 1 ten Pas, Paulien 1 Terlutte, Alain 1 Vesti, Jetro all top 5 Serials 34 Theoretical Computer Science 8 Discrete Applied Mathematics 7 Semigroup Forum 7 Fundamenta Informaticae 6 Information Processing Letters 6 Bulletin of the European Association for Theoretical Computer Science EATCS 5 Discrete Mathematics 5 RAIRO. Theoretical Informatics and Applications 4 Acta Informatica 4 International Journal of Algebra and Computation 4 RAIRO. Informatique Théorique et Applications 3 Journal of Combinatorial Theory. Series A 2 Journal of Computer and System Sciences 2 European Journal of Combinatorics 2 International Journal of Foundations of Computer Science 2 International Journal of Computer Mathematics 2 The Electronic Journal of Combinatorics 2 Theory of Computing Systems 2 RAIRO. Theoretical Informatics and Applications 1 American Mathematical Monthly 1 Acta Cybernetica 1 Journal of the Association for Computing Machinery 1 Mathematical Systems Theory 1 Monatshefte für Mathematik 1 Advances in Applied Mathematics 1 Annales Societatis Mathematicae Polonae. Series IV 1 Information and Computation 1 SIAM Journal on Discrete Mathematics 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 MSCS. Mathematical Structures in Computer Science 1 Elektronische Informationsverarbeitung und Kybernetik 1 Russian Mathematics 1 Discussiones Mathematicae. Graph Theory 1 Journal of Automata, Languages and Combinatorics 1 Soft Computing 1 Journal of the ACM 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Natural Computing 1 Lecture Notes in Computer Science 1 Annales Universitatis Turkuensis. Ser. A I 1 Natural Computing Series all top 5 Fields 136 Computer science (68-XX) 27 Combinatorics (05-XX) 26 Mathematical logic and foundations (03-XX) 26 Group theory and generalizations (20-XX) 16 Biology and other natural sciences (92-XX) 6 General and overarching topics; collections (00-XX) 4 Number theory (11-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 132 Publications have been cited 815 times in 586 Documents Cited by ▼ Year ▼ The theory of 2-structures. A framework for decomposition and transformation of graphs. Zbl 0981.05002Ehrenfeucht, A.; Harju, T.; Rozenberg, G. 52 1999 The equivalence problem of multitape finite automata. Zbl 0727.68063Harju, T.; Karhumäki, J. 51 1991 Splicing semigroups of dominoes and DNA. Zbl 0747.20035Culik, Karel II; Harju, Tero 38 1991 Computation in living cells. Gene assembly in ciliates. Zbl 1069.68048Ehrenfeucht, A.; Harju, T.; Petre, I.; Prescott, D. M.; Rozenberg, G. 37 2004 On the undecidability of freeness of matrix semigroups. Zbl 1029.20027Cassaigne, Julien; Harju, Tero; Karhumäki, Juhani 35 1999 Some decision problems concerning semilinearity and commutation. Zbl 1059.68061Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto 32 2002 On the periodicity of morphisms on free monoids. Zbl 0608.68065Harju, Tero; Linna, Matti 25 1986 Undecidability bounds for integer matrices using Claus instances. Zbl 1202.03052Halava, Vesa; Harju, Tero; Hirvensalo, Mika 24 2007 A note on decidability questions on presentations of word semigroups. Zbl 0901.68096Choffrut, C.; Harju, T.; Karhumäki, J. 19 1997 On the defect theorem and simplifiability. Zbl 0621.20033Harju, T.; Karhumäki, J. 15 1986 Formal systems for gene assembly in ciliates. Zbl 1063.68054Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Prescott, David M.; Rozenberg, Grzegorz 15 2003 On the independence of equations in three variables. Zbl 1058.68085Harju, Tero; Nowotka, Dirk 12 2003 The \(\omega\)-sequence equivalence problem for D0L systems is decidable. Zbl 0632.68078Culik, Karel II; Harju, Tero 12 1984 Characterizing the micronuclear gene patterns in ciliates. Zbl 1001.68903Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 12 2002 Binary words with few squares. Zbl 1169.68565Harju, Tero; Nowotka, Dirk 11 2006 Positivity of second order linear recurrent sequences. Zbl 1158.11305Halava, Vesa; Harju, Tero; Hirvensalo, Mika 11 2006 Mortality in matrix semigroups. Zbl 0992.03052Halava, Vesa; Harju, Tero 11 2001 Density of critical factorizations. Zbl 1013.68154Harju, Tero; Nowotka, Dirk 11 2002 Undecidability in integer weighted finite automata. Zbl 0935.68060Halava, Vesa; Harju, Tero 11 1999 Matrix equations and Hilbert’s tenth problem. Zbl 1173.03009Bell, Paul; Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Potapov, Igor 10 2008 Periods and binary words. Zbl 0943.68128Halava, Vesa; Harju, Tero; Ilie, Lucian 10 2000 Characterization and complexity of uniformly nonprimitive labeled 2-structures. Zbl 0873.68161Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G. 10 1996 Binary (generalized) Post Correspondence Problem. Zbl 1023.03038Halava, Vesa; Harju, Tero; Hirvensalo, Mika 9 2002 Some decidability problems of sentential forms. Zbl 0405.68061Harju, Tero; Penttonen, Martti 8 1979 Square-free partial words. Zbl 1191.68385Halava, Vesa; Harju, Tero; Kärki, Tomi 8 2008 The equation \(x^i=y^jz^k\) in a free semigroup. Zbl 1052.20044Harju, Tero; Nowotka, Dirk 8 2004 Many aspects of defect theorems. Zbl 1078.68083Harju, Tero; Karhumäki, Juhani 8 2004 Gene assembly through cyclic graph decomposition. Zbl 1024.68039Ehrenfeucht, A.; Harju, T.; Rozenberg, G. 8 2002 On the equation \(x^k=z_1^{k_1}z_2^{k_2}\cdots z_n^{k_n}\) in a free semigroup. Zbl 1078.68114Harju, Tero; Nowotka, Dirk 8 2005 Periodicity and unbordered words. A proof of Duval’s conjecture. Zbl 1122.68090Harju, Tero; Nowotka, Dirk 7 2004 Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035Halava, Vesa; Harju, Tero 7 2006 Compactness of systems of equations in semigroups. Zbl 0886.20036Harju, T.; Karhumäki, J.; Plandowski, W. 7 1997 On the number of squares in partial words. Zbl 1184.68372Halava, Vesa; Harju, Tero; Kärki, Tomi 7 2010 Periodicity and unbordered words: a proof of the extended Duval conjecture. Zbl 1312.68159Harju, Tero; Nowotka, Dirk 6 2007 Overlap-freeness in infinite partial words. Zbl 1165.68058Halava, Vesa; Harju, Tero; Kärki, Tomi; Séébold, Patrice 6 2009 Parallelism in gene assembly. Zbl 1114.68043Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz 6 2006 Patterns of micronuclear genes in ciliates. Zbl 1065.68541Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 6 2002 Border correlation of binary words. Zbl 1094.68072Harju, Tero; Nowotka, Dirk 6 2004 On quasi orders of words and the confluence property. Zbl 0915.68104Harju, Tero; Ilie, Lucian 6 1998 Relational codes of words. Zbl 1143.68036Halava, Vesa; Harju, Tero; Kärki, Tomi 6 2007 On Markov’s undecidability theorem for integer matrices. Zbl 1131.20042Halava, Vesa; Harju, Tero 5 2007 A note on square-free shuffles of words. Zbl 1309.68163Harju, Tero 5 2013 Complexity issues in switching of graphs. Zbl 0958.68133Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz 5 2000 Generalized Post correspondence problem for marked morphisms. Zbl 0971.68124Halava, Vesa; Harju, Tero; Hirvensalo, Mika 5 2000 Some further results on squarefree arithmetic progressions in infinite words. Zbl 1436.68276Currie, James; Harju, Tero; Ochem, Pascal; Rampersad, Narad 5 2019 On a question of Hof, Knill and Simon on palindromic substitutive systems. Zbl 1354.37025Harju, Tero; Vesti, Jetro; Zamboni, Luca Q. 5 2016 Pivots, determinants, and perfect matchings of graphs. Zbl 1251.05132Brijder, Robert; Harju, Tero; Hoogeboom, Hendrik Jan 5 2012 Counting bordered and primitive words with a fixed weight. Zbl 1078.68115Harju, Tero; Nowotka, Dirk 4 2005 Parallelism in gene assembly. Zbl 1116.68454Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz 4 2005 Splicing systems for universal Turing machines. Zbl 1116.68455Harju, Tero; Margenstern, Maurice 4 2005 Remarks on generalized Post correspondence problem. Zbl 1379.03009Harju, T.; Karhumäki, J.; Krob, D. 4 1996 The size of switching classes with skew gains. Zbl 0949.05039Hage, Jurriaan; Harju, Tero 4 2000 Incremental construction of 2-structures. Zbl 0796.05083Ehrenfeucht, A.; Harju, T.; Rozenberg, G. 4 1994 Permutations, parenthesis words, and Schröder numbers. Zbl 0956.05011Ehrenfeucht, A.; Harju, T.; ten Pas, P.; Rozenberg, G. 4 1998 Decision questions on integer matrices. Zbl 1073.03519Harju, Tero 4 2002 Infinite solutions of marked Post correspondence problem. Zbl 1060.03068Halava, Vesa; Harju, Tero 4 2002 On cyclically overlap-free words in binary alphabets. Zbl 0614.68054Harju, T. 4 1986 Square-free shuffles of words. Zbl 1333.68219Harju, Tero; Müller, Mike 4 2015 Parallel complexity of signed graphs for gene assembly in ciliates. Zbl 1137.92305Harju, Tero; Li, Chang; Petre, Ion 4 2008 The number of positions starting a square in binary words. Zbl 1209.68398Harju, Tero; Kärki, Tomi; Nowotka, Dirk 4 2011 Pancyclicity in switching classes. Zbl 1338.68101Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz 3 2000 Gene assembly in ciliates. I: Molecular operations. Zbl 1098.68046Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 3 2004 Gene assembly in ciliates. II: Formal frameworks. Zbl 1098.68047Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 3 2004 Post correspondence problem for short words. Zbl 1191.68305Halava, Vesa; Harju, Tero; Hirvensalo, Mika; Karhumäki, Juhani 3 2008 On the periodicity of morphic words. Zbl 1258.68079Halava, Vesa; Harju, Tero; Kärki, Tomi; Rigo, Michel 3 2010 Weinbaum factorizations of primitive words. Zbl 1187.68361Diekert, V.; Harju, T.; Nowotka, D. 3 2010 Disposability in square-free words. Zbl 1497.68404Harju, Tero 3 2021 Decidability problems for unary output sequential transducers. Zbl 0743.68098Harju, T.; Kleijn, H. C. M. 3 1991 Compositional representation of rational functions. Zbl 0769.68097Harju, T.; Kleijn, H. C. M.; Latteux, M. 3 1992 Reductions for primitive 2-structures. Zbl 0798.05068Harju, T.; Rozenberg, G. 3 1994 Invariants of inversive 2-structures on groups of labels. Zbl 0882.05119Ehrenfeucht, A.; Harju, T.; Rozenberg, G. 3 1997 Euler graphs, triangle-free graphs and bipartite graphs in switching classes. Zbl 1054.05092Hage, Jurriaan; Harju, Tero; Welzl, Emo 3 2003 Acyclicity of switching classes. Zbl 0905.05057Hage, Jurriaan; Harju, Tero 3 1998 Shuffle on trajectories: The Schützenberger product and related operations. Zbl 0914.68112Harju, Tero; Mateescu, Alexandru; Salomaa, Arto 3 1998 Decision questions concerning semilinearity, morphisms, and commutation of languages. Zbl 0986.68048Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto 3 2001 Defect theorems with compatibility relations. Zbl 1146.20036Halava, Vesa; Harju, Tero; Kärki, Tomi 3 2008 The equations \(h(w)=w^ n\) in binary alphabets. Zbl 0548.20044Harju, Tero; Linna, Matti 3 1984 Abelian bordered factors and periodicity. Zbl 1329.68192Charlier, Émilie; Harju, Tero; Puzynina, Svetlana; Zamboni, Luca Q. 3 2016 Permutable transformation semigroups. Zbl 0792.20060Ehrenfeucht, A.; Harju, T.; Rozenberg, G. 3 1993 Unbordered factors and Lyndon words. Zbl 1146.68062Duval, J.-P.; Harju, T.; Nowotka, D. 3 2008 Interaction properties of relational periods. Zbl 1139.68045Halava, Vesa; Harju, Tero; Kärki, Tomi 3 2008 Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Zbl 1142.05042Hage, Jurriaan; Harju, Tero 3 2007 Undecidability of the equivalence of finite substitutions on regular language. Zbl 0946.68076Halava, Vesa; Harju, Tero 3 1999 Combinatorics on words. Zbl 1089.68081Harju, Tero 2 2004 Square-free words obtained from prefixes by permutations. Zbl 1243.68232Harju, Tero 2 2012 Word problem for deterministic and reversible semi-Thue systems. Zbl 1361.03035Halava, Vesa; Harju, Tero 2 2014 Extension of the decidability of the marked PCP to instances with unique blocks. Zbl 1119.03041Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Latteux, Michel 2 2007 Patterns of simple gene assembly in ciliates. Zbl 1146.92312Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz 2 2008 Undecidability in \(\omega\)-regular languages. Zbl 1101.03031Halava, Vesa; Harju, Tero; Karhumäki, Juhani 2 2006 On square-free arithmetic progressions in infinite words. Zbl 1423.68372Harju, Tero 2 2019 Graph theoretic approach to parallel gene assembly. Zbl 1200.05238Harju, Tero; Li, Chang; Petre, Ion 2 2008 Finite orbits of language operations. Zbl 1260.68197Charlier, Émilie; Domaratzki, Mike; Harju, Tero; Shallit, Jeffrey 2 2011 On the number of frames in binary words. Zbl 1225.68141Harju, Tero; Kärki, Tomi 2 2011 Deterministic sequential functions. Zbl 0790.68036Harju, T.; Kleijn, H. C. M.; Latteux, M. 2 1992 Switching of directed graphs. Zbl 0959.05056Harju, Tero 2 1999 Weighted automata on infinite words in the context of attacker-defender games. Zbl 1371.68150Halava, V.; Harju, T.; Niskanen, R.; Potapov, I. 2 2017 On morphic generation of regular languages. Zbl 0604.68084Harju, T.; Karhumäki, J.; Kleijn, H. C. M. 2 1986 Dominoes over a free monoid. Zbl 0509.68068Culik, Karel II; Harju, Tero 2 1982 Theory of 2-structures. Zbl 1412.68168Ehrenfeucht, A.; Harju, T.; Rozenberg, G. 2 1995 Composition and orbits of language operations: finiteness and upper bounds. Zbl 1361.68119Charlier, Émilie; Domaratzki, Mike; Harju, Tero; Shallit, Jeffrey 2 2013 Disposability in square-free words. Zbl 1497.68404Harju, Tero 3 2021 Some further results on squarefree arithmetic progressions in infinite words. Zbl 1436.68276Currie, James; Harju, Tero; Ochem, Pascal; Rampersad, Narad 5 2019 On square-free arithmetic progressions in infinite words. Zbl 1423.68372Harju, Tero 2 2019 Weighted automata on infinite words in the context of attacker-defender games. Zbl 1371.68150Halava, V.; Harju, T.; Niskanen, R.; Potapov, I. 2 2017 On a question of Hof, Knill and Simon on palindromic substitutive systems. Zbl 1354.37025Harju, Tero; Vesti, Jetro; Zamboni, Luca Q. 5 2016 Abelian bordered factors and periodicity. Zbl 1329.68192Charlier, Émilie; Harju, Tero; Puzynina, Svetlana; Zamboni, Luca Q. 3 2016 Square-free shuffles of words. Zbl 1333.68219Harju, Tero; Müller, Mike 4 2015 Word problem for deterministic and reversible semi-Thue systems. Zbl 1361.03035Halava, Vesa; Harju, Tero 2 2014 A note on square-free shuffles of words. Zbl 1309.68163Harju, Tero 5 2013 Composition and orbits of language operations: finiteness and upper bounds. Zbl 1361.68119Charlier, Émilie; Domaratzki, Mike; Harju, Tero; Shallit, Jeffrey 2 2013 New proof for the undecidability of the circular PCP. Zbl 1359.03033Halava, Vesa; Harju, Tero 1 2013 Pivots, determinants, and perfect matchings of graphs. Zbl 1251.05132Brijder, Robert; Harju, Tero; Hoogeboom, Hendrik Jan 5 2012 Square-free words obtained from prefixes by permutations. Zbl 1243.68232Harju, Tero 2 2012 The number of positions starting a square in binary words. Zbl 1209.68398Harju, Tero; Kärki, Tomi; Nowotka, Dirk 4 2011 Finite orbits of language operations. Zbl 1260.68197Charlier, Émilie; Domaratzki, Mike; Harju, Tero; Shallit, Jeffrey 2 2011 On the number of frames in binary words. Zbl 1225.68141Harju, Tero; Kärki, Tomi 2 2011 Directed overlap-inclusion graphs as representations of ciliate genes. Zbl 1226.92016Azimi, Epinoud; Harju, Tero; Langille, Miika; Petre, Ion; Rogojin, Vladimir 1 2011 On the number of squares in partial words. Zbl 1184.68372Halava, Vesa; Harju, Tero; Kärki, Tomi 7 2010 On the periodicity of morphic words. Zbl 1258.68079Halava, Vesa; Harju, Tero; Kärki, Tomi; Rigo, Michel 3 2010 Weinbaum factorizations of primitive words. Zbl 1187.68361Diekert, V.; Harju, T.; Nowotka, D. 3 2010 Cyclically repetition-free words on small alphabets. Zbl 1234.68330Harju, Tero; Nowotka, Dirk 1 2010 Overlap-freeness in infinite partial words. Zbl 1165.68058Halava, Vesa; Harju, Tero; Kärki, Tomi; Séébold, Patrice 6 2009 The theorem of Fine and Wilf for relational periods. Zbl 1166.68035Halava, Vesa; Harju, Tero; Kärki, Tomi 1 2009 Matrix equations and Hilbert’s tenth problem. Zbl 1173.03009Bell, Paul; Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Potapov, Igor 10 2008 Square-free partial words. Zbl 1191.68385Halava, Vesa; Harju, Tero; Kärki, Tomi 8 2008 Parallel complexity of signed graphs for gene assembly in ciliates. Zbl 1137.92305Harju, Tero; Li, Chang; Petre, Ion 4 2008 Post correspondence problem for short words. Zbl 1191.68305Halava, Vesa; Harju, Tero; Hirvensalo, Mika; Karhumäki, Juhani 3 2008 Defect theorems with compatibility relations. Zbl 1146.20036Halava, Vesa; Harju, Tero; Kärki, Tomi 3 2008 Unbordered factors and Lyndon words. Zbl 1146.68062Duval, J.-P.; Harju, T.; Nowotka, D. 3 2008 Interaction properties of relational periods. Zbl 1139.68045Halava, Vesa; Harju, Tero; Kärki, Tomi 3 2008 Patterns of simple gene assembly in ciliates. Zbl 1146.92312Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz 2 2008 Graph theoretic approach to parallel gene assembly. Zbl 1200.05238Harju, Tero; Li, Chang; Petre, Ion 2 2008 Undecidability bounds for integer matrices using Claus instances. Zbl 1202.03052Halava, Vesa; Harju, Tero; Hirvensalo, Mika 24 2007 Periodicity and unbordered words: a proof of the extended Duval conjecture. Zbl 1312.68159Harju, Tero; Nowotka, Dirk 6 2007 Relational codes of words. Zbl 1143.68036Halava, Vesa; Harju, Tero; Kärki, Tomi 6 2007 On Markov’s undecidability theorem for integer matrices. Zbl 1131.20042Halava, Vesa; Harju, Tero 5 2007 Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Zbl 1142.05042Hage, Jurriaan; Harju, Tero 3 2007 Extension of the decidability of the marked PCP to instances with unique blocks. Zbl 1119.03041Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Latteux, Michel 2 2007 The structure of infinite solutions of marked and binary Post correspondence problems. Zbl 1107.03048Halava, Vesa; Harju, Tero; Karhumäki, Juhani 1 2007 Binary words with few squares. Zbl 1169.68565Harju, Tero; Nowotka, Dirk 11 2006 Positivity of second order linear recurrent sequences. Zbl 1158.11305Halava, Vesa; Harju, Tero; Hirvensalo, Mika 11 2006 Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035Halava, Vesa; Harju, Tero 7 2006 Parallelism in gene assembly. Zbl 1114.68043Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz 6 2006 Undecidability in \(\omega\)-regular languages. Zbl 1101.03031Halava, Vesa; Harju, Tero; Karhumäki, Juhani 2 2006 Simple operations for gene assembly. Zbl 1234.68110Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz 1 2006 On the equation \(x^k=z_1^{k_1}z_2^{k_2}\cdots z_n^{k_n}\) in a free semigroup. Zbl 1078.68114Harju, Tero; Nowotka, Dirk 8 2005 Counting bordered and primitive words with a fixed weight. Zbl 1078.68115Harju, Tero; Nowotka, Dirk 4 2005 Parallelism in gene assembly. Zbl 1116.68454Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz 4 2005 Splicing systems for universal Turing machines. Zbl 1116.68455Harju, Tero; Margenstern, Maurice 4 2005 Computation in living cells. Gene assembly in ciliates. Zbl 1069.68048Ehrenfeucht, A.; Harju, T.; Petre, I.; Prescott, D. M.; Rozenberg, G. 37 2004 The equation \(x^i=y^jz^k\) in a free semigroup. Zbl 1052.20044Harju, Tero; Nowotka, Dirk 8 2004 Many aspects of defect theorems. Zbl 1078.68083Harju, Tero; Karhumäki, Juhani 8 2004 Periodicity and unbordered words. A proof of Duval’s conjecture. Zbl 1122.68090Harju, Tero; Nowotka, Dirk 7 2004 Border correlation of binary words. Zbl 1094.68072Harju, Tero; Nowotka, Dirk 6 2004 Gene assembly in ciliates. I: Molecular operations. Zbl 1098.68046Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 3 2004 Gene assembly in ciliates. II: Formal frameworks. Zbl 1098.68047Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 3 2004 Combinatorics on words. Zbl 1089.68081Harju, Tero 2 2004 A characterization of acyclic switching classes of graphs using forbidden subgraphs. Zbl 1071.05063Hage, Jurriaan; Harju, Tero 2 2004 Formal properties of gene assembly: Equivalence problem for overlap graphs. Zbl 1200.68133Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 1 2004 Gene assembly in ciliates. II. Formal frameworks. Zbl 1169.68413Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 1 2004 Transitivity of local complementation and switching on graphs. Zbl 1033.05052Ehrenfeucht, Andrzej; Harju, Tero; Rozenberg, Grzegorz 1 2004 Valence languages generated by equality sets. Zbl 1083.68056Halava, Vesa; Harju, Tero; Jan Hoogeboom, Hendrik; Latteux, Michel 1 2004 Formal systems for gene assembly in ciliates. Zbl 1063.68054Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Prescott, David M.; Rozenberg, Grzegorz 15 2003 On the independence of equations in three variables. Zbl 1058.68085Harju, Tero; Nowotka, Dirk 12 2003 Euler graphs, triangle-free graphs and bipartite graphs in switching classes. Zbl 1054.05092Hage, Jurriaan; Harju, Tero; Welzl, Emo 3 2003 Decidability of the binary infinite Post Correspondence Problem. Zbl 1023.03039Halava, Vesa; Harju, Tero; Karhumäki, Juhani 2 2003 Periodicity and unbordered segments of words. Zbl 1169.68564Harju, Tero; Nowotka, Dirk 1 2003 Languages defined by generalized equality sets. Zbl 1278.68134Halava, Vesa; Harju, Tero; Hoogeboom, Hendrik Jan; Latteux, Michel 1 2003 Proceedings of WORDS’03, the 4th international conference on combinatorics on words, Turku, Finland, September 10–13, 2003. Zbl 1030.00026 1 2003 About Duval’s conjecture. Zbl 1037.68104Harju, Tero; Nowotka, Dirk 1 2003 About Duval extensions. Zbl 1040.68080Harju, Tero; Nowotka, Dirk 1 2003 Computational processes in living cells: Gene assembly in ciliates. Zbl 1015.68077Harju, Tero; Rozenberg, Grzegorz 1 2003 Some decision problems concerning semilinearity and commutation. Zbl 1059.68061Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto 32 2002 Characterizing the micronuclear gene patterns in ciliates. Zbl 1001.68903Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 12 2002 Density of critical factorizations. Zbl 1013.68154Harju, Tero; Nowotka, Dirk 11 2002 Binary (generalized) Post Correspondence Problem. Zbl 1023.03038Halava, Vesa; Harju, Tero; Hirvensalo, Mika 9 2002 Gene assembly through cyclic graph decomposition. Zbl 1024.68039Ehrenfeucht, A.; Harju, T.; Rozenberg, G. 8 2002 Patterns of micronuclear genes in ciliates. Zbl 1065.68541Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz 6 2002 Decision questions on integer matrices. Zbl 1073.03519Harju, Tero 4 2002 Infinite solutions of marked Post correspondence problem. Zbl 1060.03068Halava, Vesa; Harju, Tero 4 2002 Euler graphs, triangle-free graphs and bipartite graphs in switching classes. Zbl 1028.68101Hage, Jurriaan; Harju, Tero; Welzl, Emo 1 2002 Mortality in matrix semigroups. Zbl 0992.03052Halava, Vesa; Harju, Tero 11 2001 Decision questions concerning semilinearity, morphisms, and commutation of languages. Zbl 0986.68048Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto 3 2001 Some new results on Post correspondence problem and its modifications. Zbl 0989.68082Halava, Vesa; Harju, Tero 1 2001 Forbidden subsequences and permutations sortable on two parallel stacks. Zbl 1007.68109Harju, Tero; Ilie, Lucian 1 2001 Periods and binary words. Zbl 0943.68128Halava, Vesa; Harju, Tero; Ilie, Lucian 10 2000 Complexity issues in switching of graphs. Zbl 0958.68133Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz 5 2000 Generalized Post correspondence problem for marked morphisms. Zbl 0971.68124Halava, Vesa; Harju, Tero; Hirvensalo, Mika 5 2000 The size of switching classes with skew gains. Zbl 0949.05039Hage, Jurriaan; Harju, Tero 4 2000 Pancyclicity in switching classes. Zbl 1338.68101Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz 3 2000 The theory of 2-structures. A framework for decomposition and transformation of graphs. Zbl 0981.05002Ehrenfeucht, A.; Harju, T.; Rozenberg, G. 52 1999 On the undecidability of freeness of matrix semigroups. Zbl 1029.20027Cassaigne, Julien; Harju, Tero; Karhumäki, Juhani 35 1999 Undecidability in integer weighted finite automata. Zbl 0935.68060Halava, Vesa; Harju, Tero 11 1999 Undecidability of the equivalence of finite substitutions on regular language. Zbl 0946.68076Halava, Vesa; Harju, Tero 3 1999 Switching of directed graphs. Zbl 0959.05056Harju, Tero 2 1999 Languages accepted by integer weighted finite automata. Zbl 0944.68111Halava, Vesa; Harju, Tero 1 1999 Proceedings of the seventh Nordic combinatorial conference, Turku, Finland, August 16–18, 1999. Zbl 0943.00048 1 1999 On quasi orders of words and the confluence property. Zbl 0915.68104Harju, Tero; Ilie, Lucian 6 1998 Permutations, parenthesis words, and Schröder numbers. Zbl 0956.05011Ehrenfeucht, A.; Harju, T.; ten Pas, P.; Rozenberg, G. 4 1998 Acyclicity of switching classes. Zbl 0905.05057Hage, Jurriaan; Harju, Tero 3 1998 ...and 32 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 568 Authors 66 Harju, Tero 33 Ibarra, Oscar H. 32 Karhumaki, Juhani 24 Halava, Vesa 23 Rozenberg, Grzegorz 22 Blanchet-Sadri, Francine 21 Honkala, Juha 18 McQuillan, Ian 17 Potapov, Igor 14 Bell, Paul C. 14 Holub, Štěpán 14 Nowotka, Dirk 13 Petre, Ion 12 Brijder, Robert 12 Ehrenfeucht, Andrzej 11 Kari, Lila 10 Hoogeboom, Hendrik Jan 10 Ille, Pierre 10 Salomaa, Arto Kustaa 9 Boudabbous, Youssef 9 Păun, Gheorghe 8 Bonizzoni, Paola 8 Kärki, Tomi 8 Shallit, Jeffrey O. 7 Daley, Mark 7 Hirvensalo, Mika 7 Mercaş, Robert George 7 Mitrana, Victor 7 Rogojin, Vladimir 7 Saarela, Aleksi 6 Czeizler, Elena 6 Head, Thomas J. 6 Jonoska, Nataša 6 Plandowski, Wojciech 6 Rytter, Wojciech 6 Seki, Shinnosuke 5 Badkobeh, Golnaz 5 Boussairi, Abderrahim 5 Charlier, Emilie 5 Chergui, Brahim 5 Choffrut, Christian 5 Currie, James D. 5 D’Alessandro, Flavio 5 Dassow, Jürgen 5 Finkel, Olivier 5 Hellmuth, Marc 5 Latteux, Michel 5 Mignosi, Filippo 5 Müller, Mike 5 Podlovchenko, Rimma Ivanovna 5 Pouzet, Maurice 5 Rampersad, Narad 5 Restivo, Antonio 5 Saito, Masahico 5 Salomaa, Kai T. 5 Séébold, Patrice 5 Semukhin, Pavel 5 Varricchio, Stefano 4 Berstel, Jean 4 Boudabbous, Imed 4 Cassaigne, Julien 4 Dang, Zhe 4 Delhommé, Christian 4 Domaratzki, Michael 4 Khachatryan, V. E. 4 Kleijn, Jetty 4 Ko, Sang-Ki 4 Lando, Barbara A. 4 Li, Chang 4 Loos, Remco 4 Mateescu, Alexandru 4 Mauri, Giancarlo 4 Niskanen, Reino 4 Okhotin, Alexander 4 Rao, Michaël 4 Sakarovitch, Jacques 4 Stadler, Peter F. 4 Yu, Sheng 3 Ago, Kristina 3 Alhazov, Artiom 3 Bašić, Bojan 3 Bouaziz, Moncef 3 Bucher, Walter 3 Crochemore, Maxime 3 De Felice, Clelia 3 Greaves, Gary 3 Ilie, Lucian 3 Jelínková, Eva 3 Kuske, Dietrich 3 Langille, Miika 3 Maňuch, Ján 3 McConnell, Ross M. 3 Néraud, Jean 3 Ouaknine, Joel O. 3 Pelantová, Edita 3 Pixton, Dennis 3 Puzynina, Svetlana 3 Quigley, James D. 3 Sénizergues, Géraud 3 Shoukourian, Samvel K. ...and 468 more Authors all top 5 Cited in 85 Serials 182 Theoretical Computer Science 33 Discrete Applied Mathematics 31 International Journal of Foundations of Computer Science 26 Information and Computation 18 RAIRO. Theoretical Informatics and Applications 17 Discrete Mathematics 14 Journal of Computer and System Sciences 13 Information Processing Letters 12 Acta Informatica 11 European Journal of Combinatorics 10 International Journal of Algebra and Computation 8 RAIRO. Theoretical Informatics and Applications 7 Journal of Combinatorial Theory. Series A 7 Theory of Computing Systems 7 Natural Computing 6 International Journal of Computer Mathematics 6 Linear Algebra and its Applications 5 Advances in Applied Mathematics 5 RAIRO. Informatique Théorique et Applications 5 The Electronic Journal of Combinatorics 4 Programming and Computer Software 4 Graphs and Combinatorics 4 Algorithmica 4 Journal of Mathematical Sciences (New York) 3 Journal of Algebra 3 Semigroup Forum 3 Order 3 Cybernetics and Systems Analysis 3 Fundamenta Informaticae 3 Journal of Multiple-Valued Logic and Soft Computing 3 Journal of Discrete Algorithms 3 Groups, Complexity, Cryptology 2 Israel Journal of Mathematics 2 Mathematics of Computation 2 Journal of Graph Theory 2 Indagationes Mathematicae. New Series 2 Discussiones Mathematicae. Graph Theory 2 Contributions to Discrete Mathematics 2 Discrete Mathematics, Algorithms and Applications 1 Communications in Algebra 1 Journal of Mathematical Biology 1 Algebra and Logic 1 Commentationes Mathematicae Universitatis Carolinae 1 Czechoslovak Mathematical Journal 1 Journal of Mathematical Psychology 1 Mathematical Systems Theory 1 Proceedings of the American Mathematical Society 1 RAIRO, Informatique Théorique 1 SIAM Journal on Computing 1 Transactions of the American Mathematical Society 1 Ergodic Theory and Dynamical Systems 1 Combinatorica 1 Journal of Computer Science and Technology 1 New Generation Computing 1 SIAM Journal on Discrete Mathematics 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Mathematics and Applications 1 Russian Mathematics 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Filomat 1 Annals of Mathematics and Artificial Intelligence 1 Doklady Mathematics 1 The Ramanujan Journal 1 Journal of Automata, Languages and Combinatorics 1 Soft Computing 1 Journal of Combinatorial Optimization 1 Algebras and Representation Theory 1 Annals of Combinatorics 1 Discrete Dynamics in Nature and Society 1 Journal of Integer Sequences 1 Integers 1 The Journal of Logic and Algebraic Programming 1 Dynamical Systems 1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Proceedings of the Steklov Institute of Mathematics 1 Advances and Applications in Discrete Mathematics 1 International Journal of Group Theory 1 Journal of Theoretical Biology 1 Computer Science Review 1 Electronic Journal of Graph Theory and Applications 1 Modelirovanie i Analiz Informatsionnykh Sistem 1 Cogent Mathematics 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 29 Fields 468 Computer science (68-XX) 110 Combinatorics (05-XX) 55 Mathematical logic and foundations (03-XX) 55 Group theory and generalizations (20-XX) 36 Biology and other natural sciences (92-XX) 28 Number theory (11-XX) 19 Linear and multilinear algebra; matrix theory (15-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 10 Information and communication theory, circuits (94-XX) 9 Dynamical systems and ergodic theory (37-XX) 6 Associative rings and algebras (16-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General algebraic systems (08-XX) 4 Convex and discrete geometry (52-XX) 3 Measure and integration (28-XX) 3 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 2 Commutative algebra (13-XX) 2 Algebraic geometry (14-XX) 2 General topology (54-XX) 2 Numerical analysis (65-XX) 1 History and biography (01-XX) 1 Topological groups, Lie groups (22-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Geometry (51-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year