×

zbMATH — the first resource for mathematics

Harju, Tero

Compute Distance To:
Author ID: harju.tero Recent zbMATH articles by "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: 173 Publications since 1977, including 7 Books
Reviewing Activity: 160 Reviews
all top 5

Serials

33 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
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 RAIRO. Theoretical Informatics and Applications
1 Natural Computing Series

Publications by Year

Citations contained in zbMATH Open

131 Publications have been cited 746 times in 540 Documents Cited by Year
The theory of 2-structures. A framework for decomposition and transformation of graphs. Zbl 0981.05002
Ehrenfeucht, A.; Harju, T.; Rozenberg, G.
46
1999
The equivalence problem of multitape finite automata. Zbl 0727.68063
Harju, T.; Karhumäki, J.
46
1991
Computation in living cells. Gene assembly in ciliates. Zbl 1069.68048
Ehrenfeucht, A.; Harju, T.; Petre, I.; Prescott, D. M.; Rozenberg, G.
35
2004
Splicing semigroups of dominoes and DNA. Zbl 0747.20035
Culik, Karel II; Harju, Tero
35
1991
Some decision problems concerning semilinearity and commutation. Zbl 1059.68061
Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto
31
2002
On the undecidability of freeness of matrix semigroups. Zbl 1029.20027
Cassaigne, Julien; Harju, Tero; Karhumäki, Juhani
29
1999
On the periodicity of morphisms on free monoids. Zbl 0608.68065
Harju, Tero; Linna, Matti
23
1986
Undecidability bounds for integer matrices using Claus instances. Zbl 1202.03052
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
21
2007
A note on decidability questions on presentations of word semigroups. Zbl 0901.68096
Choffrut, C.; Harju, T.; Karhumäki, J.
19
1997
Formal systems for gene assembly in ciliates. Zbl 1063.68054
Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Prescott, David M.; Rozenberg, Grzegorz
15
2003
On the defect theorem and simplifiability. Zbl 0621.20033
Harju, T.; Karhumäki, J.
14
1986
Characterizing the micronuclear gene patterns in ciliates. Zbl 1001.68903
Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
12
2002
The \(\omega\)-sequence equivalence problem for D0L systems is decidable. Zbl 0632.68078
Culik, Karel II; Harju, Tero
11
1984
Undecidability in integer weighted finite automata. Zbl 0935.68060
Halava, Vesa; Harju, Tero
10
1999
Binary words with few squares. Zbl 1169.68565
Harju, Tero; Nowotka, Dirk
10
2006
Periods and binary words. Zbl 0943.68128
Halava, Vesa; Harju, Tero; Ilie, Lucian
10
2000
Mortality in matrix semigroups. Zbl 0992.03052
Halava, Vesa; Harju, Tero
10
2001
Density of critical factorizations. Zbl 1013.68154
Harju, Tero; Nowotka, Dirk
10
2002
Matrix equations and Hilbert’s tenth problem. Zbl 1173.03009
Bell, Paul; Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Potapov, Igor
9
2008
Binary (generalized) Post Correspondence Problem. Zbl 1023.03038
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
9
2002
On the independence of equations in three variables. Zbl 1058.68085
Harju, Tero; Nowotka, Dirk
9
2003
Some decidability problems of sentential forms. Zbl 0405.68061
Harju, Tero; Penttonen, Martti
8
1979
Positivity of second order linear recurrent sequences. Zbl 1158.11305
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
8
2006
Gene assembly through cyclic graph decomposition. Zbl 1024.68039
Ehrenfeucht, A.; Harju, T.; Rozenberg, G.
8
2002
The equation \(x^i=y^jz^k\) in a free semigroup. Zbl 1052.20044
Harju, Tero; Nowotka, Dirk
8
2004
Square-free partial words. Zbl 1191.68385
Halava, Vesa; Harju, Tero; Kärki, Tomi
8
2008
On the equation \(x^k=z_1^{k_1}z_2^{k_2}\cdots z_n^{k_n}\) in a free semigroup. Zbl 1078.68114
Harju, Tero; Nowotka, Dirk
7
2005
Periodicity and unbordered words. A proof of Duval’s conjecture. Zbl 1122.68090
Harju, Tero; Nowotka, Dirk
7
2004
Characterization and complexity of uniformly nonprimitive labeled 2-structures. Zbl 0873.68161
Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G.
7
1996
Many aspects of defect theorems. Zbl 1078.68083
Harju, Tero; Karhumäki, Juhani
7
2004
Parallelism in gene assembly. Zbl 1114.68043
Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz
6
2006
Periodicity and unbordered words: a proof of the extended Duval conjecture. Zbl 1312.68159
Harju, Tero; Nowotka, Dirk
6
2007
Overlap-freeness in infinite partial words. Zbl 1165.68058
Halava, Vesa; Harju, Tero; Kärki, Tomi; Séébold, Patrice
6
2009
On the number of squares in partial words. Zbl 1184.68372
Halava, Vesa; Harju, Tero; Kärki, Tomi
6
2010
On quasi orders of words and the confluence property. Zbl 0915.68104
Harju, Tero; Ilie, Lucian
6
1998
Compactness of systems of equations in semigroups. Zbl 0886.20036
Harju, T.; Karhumäki, J.; Plandowski, W.
6
1997
Patterns of micronuclear genes in ciliates. Zbl 1065.68541
Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
6
2002
Relational codes of words. Zbl 1143.68036
Halava, Vesa; Harju, Tero; Kärki, Tomi
6
2007
Border correlation of binary words. Zbl 1094.68072
Harju, Tero; Nowotka, Dirk
6
2004
Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035
Halava, Vesa; Harju, Tero
5
2006
A note on square-free shuffles of words. Zbl 1309.68163
Harju, Tero
5
2013
Some further results on squarefree arithmetic progressions in infinite words. Zbl 1436.68276
Currie, James; Harju, Tero; Ochem, Pascal; Rampersad, Narad
5
2019
On Markov’s undecidability theorem for integer matrices. Zbl 1131.20042
Halava, Vesa; Harju, Tero
5
2007
Generalized Post correspondence problem for marked morphisms. Zbl 0971.68124
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
5
2000
Pivots, determinants, and perfect matchings of graphs. Zbl 1251.05132
Brijder, Robert; Harju, Tero; Hoogeboom, Hendrik Jan
5
2012
Parallelism in gene assembly. Zbl 1116.68454
Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz
4
2005
Counting bordered and primitive words with a fixed weight. Zbl 1078.68115
Harju, Tero; Nowotka, Dirk
4
2005
The size of switching classes with skew gains. Zbl 0949.05039
Hage, Jurriaan; Harju, Tero
4
2000
Complexity issues in switching of graphs. Zbl 0958.68133
Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz
4
2000
Decision questions on integer matrices. Zbl 1073.03519
Harju, Tero
4
2002
On cyclically overlap-free words in binary alphabets. Zbl 0614.68054
Harju, T.
4
1986
Remarks on generalized Post correspondence problem. Zbl 1379.03009
Harju, T.; Karhumäki, J.; Krob, D.
4
1996
Square-free shuffles of words. Zbl 1333.68219
Harju, Tero; Müller, Mike
4
2015
On a question of Hof, Knill and Simon on palindromic substitutive systems. Zbl 1354.37025
Harju, Tero; Vesti, Jetro; Zamboni, Luca Q.
4
2016
Parallel complexity of signed graphs for gene assembly in ciliates. Zbl 1137.92305
Harju, Tero; Li, Chang; Petre, Ion
4
2008
Defect theorems with compatibility relations. Zbl 1146.20036
Halava, Vesa; Harju, Tero; Kärki, Tomi
3
2008
Unbordered factors and Lyndon words. Zbl 1146.68062
Duval, J.-P.; Harju, T.; Nowotka, D.
3
2008
Interaction properties of relational periods. Zbl 1139.68045
Halava, Vesa; Harju, Tero; Kärki, Tomi
3
2008
On the periodicity of morphic words. Zbl 1258.68079
Halava, Vesa; Harju, Tero; Kärki, Tomi; Rigo, Michel
3
2010
Splicing systems for universal Turing machines. Zbl 1116.68455
Harju, Tero; Margenstern, Maurice
3
2005
The number of positions starting a square in binary words. Zbl 1209.68398
Harju, Tero; Kärki, Tomi; Nowotka, Dirk
3
2011
Weinbaum factorizations of primitive words. Zbl 1187.68361
Diekert, V.; Harju, T.; Nowotka, D.
3
2010
Gene assembly in ciliates. I: Molecular operations. Zbl 1098.68046
Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
3
2004
Gene assembly in ciliates. II: Formal frameworks. Zbl 1098.68047
Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
3
2004
The equations \(h(w)=w^ n\) in binary alphabets. Zbl 0548.20044
Harju, Tero; Linna, Matti
3
1984
Acyclicity of switching classes. Zbl 0905.05057
Hage, Jurriaan; Harju, Tero
3
1998
Shuffle on trajectories: The Schützenberger product and related operations. Zbl 0914.68112
Harju, Tero; Mateescu, Alexandru; Salomaa, Arto
3
1998
Invariants of inversive 2-structures on groups of labels. Zbl 0882.05119
Ehrenfeucht, A.; Harju, T.; Rozenberg, G.
3
1997
Permutations, parenthesis words, and Schröder numbers. Zbl 0956.05011
Ehrenfeucht, A.; Harju, T.; ten Pas, P.; Rozenberg, G.
3
1998
Permutable transformation semigroups. Zbl 0792.20060
Ehrenfeucht, A.; Harju, T.; Rozenberg, G.
3
1993
Incremental construction of 2-structures. Zbl 0796.05083
Ehrenfeucht, A.; Harju, T.; Rozenberg, G.
3
1994
Reductions for primitive 2-structures. Zbl 0798.05068
Harju, T.; Rozenberg, G.
3
1994
Decision questions concerning semilinearity, morphisms, and commutation of languages. Zbl 0986.68048
Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto
3
2001
Infinite solutions of marked Post correspondence problem. Zbl 1060.03068
Halava, Vesa; Harju, Tero
3
2002
Euler graphs, triangle-free graphs and bipartite graphs in switching classes. Zbl 1054.05092
Hage, Jurriaan; Harju, Tero; Welzl, Emo
3
2003
Post correspondence problem for short words. Zbl 1191.68305
Halava, Vesa; Harju, Tero; Hirvensalo, Mika; Karhumäki, Juhani
3
2008
Pancyclicity in switching classes. Zbl 1338.68101
Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz
3
2000
Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Zbl 1142.05042
Hage, Jurriaan; Harju, Tero
3
2007
Patterns of simple gene assembly in ciliates. Zbl 1146.92312
Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz
2
2008
Undecidability in \(\omega\)-regular languages. Zbl 1101.03031
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
2
2006
On square-free arithmetic progressions in infinite words. Zbl 1423.68372
Harju, Tero
2
2019
Finite orbits of language operations. Zbl 1260.68197
Charlier, Émilie; Domaratzki, Mike; Harju, Tero; Shallit, Jeffrey
2
2011
A characterization of acyclic switching classes of graphs using forbidden subgraphs. Zbl 1071.05063
Hage, Jurriaan; Harju, Tero
2
2004
Square-free words obtained from prefixes by permutations. Zbl 1243.68232
Harju, Tero
2
2012
Extension of the decidability of the marked PCP to instances with unique blocks. Zbl 1119.03041
Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Latteux, Michel
2
2007
Undecidability of the equivalence of finite substitutions on regular language. Zbl 0946.68076
Halava, Vesa; Harju, Tero
2
1999
Decidability problems for unary output sequential transducers. Zbl 0743.68098
Harju, T.; Kleijn, H. C. M.
2
1991
Compositional representation of rational functions. Zbl 0769.68097
Harju, T.; Kleijn, H. C. M.; Latteux, M.
2
1992
Switching of directed graphs. Zbl 0959.05056
Harju, Tero
2
1999
Decidability of the binary infinite Post Correspondence Problem. Zbl 1023.03039
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
2
2003
On morphic generation of regular languages. Zbl 0604.68084
Harju, T.; Karhumäki, J.; Kleijn, H. C. M.
2
1986
Abelian bordered factors and periodicity. Zbl 1329.68192
Charlier, Émilie; Harju, Tero; Puzynina, Svetlana; Zamboni, Luca Q.
2
2016
Word problem for deterministic and reversible semi-Thue systems. Zbl 1361.03035
Halava, Vesa; Harju, Tero
2
2014
On the number of frames in binary words. Zbl 1225.68141
Harju, Tero; Kärki, Tomi
2
2011
Graph theoretic approach to parallel gene assembly. Zbl 1200.05238
Harju, Tero; Li, Chang; Petre, Ion
2
2008
Disposability in square-free words. Zbl 07318715
Harju, Tero
2
2021
The structure of infinite solutions of marked and binary Post correspondence problems. Zbl 1107.03048
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
1
2007
Simple operations for gene assembly. Zbl 1234.68110
Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz
1
2006
The theorem of Fine and Wilf for relational periods. Zbl 1166.68035
Halava, Vesa; Harju, Tero; Kärki, Tomi
1
2009
Formal properties of gene assembly: Equivalence problem for overlap graphs. Zbl 1200.68133
Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
1
2004
Disposability in square-free words. Zbl 07318715
Harju, Tero
2
2021
Some further results on squarefree arithmetic progressions in infinite words. Zbl 1436.68276
Currie, James; Harju, Tero; Ochem, Pascal; Rampersad, Narad
5
2019
On square-free arithmetic progressions in infinite words. Zbl 1423.68372
Harju, Tero
2
2019
Weighted automata on infinite words in the context of attacker-defender games. Zbl 1371.68150
Halava, V.; Harju, T.; Niskanen, R.; Potapov, I.
1
2017
On a question of Hof, Knill and Simon on palindromic substitutive systems. Zbl 1354.37025
Harju, Tero; Vesti, Jetro; Zamboni, Luca Q.
4
2016
Abelian bordered factors and periodicity. Zbl 1329.68192
Charlier, Émilie; Harju, Tero; Puzynina, Svetlana; Zamboni, Luca Q.
2
2016
Square-free shuffles of words. Zbl 1333.68219
Harju, Tero; Müller, Mike
4
2015
Word problem for deterministic and reversible semi-Thue systems. Zbl 1361.03035
Halava, Vesa; Harju, Tero
2
2014
A note on square-free shuffles of words. Zbl 1309.68163
Harju, Tero
5
2013
New proof for the undecidability of the circular PCP. Zbl 1359.03033
Halava, Vesa; Harju, Tero
1
2013
Composition and orbits of language operations: finiteness and upper bounds. Zbl 1361.68119
Charlier, Émilie; Domaratzki, Mike; Harju, Tero; Shallit, Jeffrey
1
2013
Pivots, determinants, and perfect matchings of graphs. Zbl 1251.05132
Brijder, Robert; Harju, Tero; Hoogeboom, Hendrik Jan
5
2012
Square-free words obtained from prefixes by permutations. Zbl 1243.68232
Harju, Tero
2
2012
The number of positions starting a square in binary words. Zbl 1209.68398
Harju, Tero; Kärki, Tomi; Nowotka, Dirk
3
2011
Finite orbits of language operations. Zbl 1260.68197
Charlier, Émilie; Domaratzki, Mike; Harju, Tero; Shallit, Jeffrey
2
2011
On the number of frames in binary words. Zbl 1225.68141
Harju, Tero; Kärki, Tomi
2
2011
Directed overlap-inclusion graphs as representations of ciliate genes. Zbl 1226.92016
Azimi, Epinoud; Harju, Tero; Langille, Miika; Petre, Ion; Rogojin, Vladimir
1
2011
On the number of squares in partial words. Zbl 1184.68372
Halava, Vesa; Harju, Tero; Kärki, Tomi
6
2010
On the periodicity of morphic words. Zbl 1258.68079
Halava, Vesa; Harju, Tero; Kärki, Tomi; Rigo, Michel
3
2010
Weinbaum factorizations of primitive words. Zbl 1187.68361
Diekert, V.; Harju, T.; Nowotka, D.
3
2010
Cyclically repetition-free words on small alphabets. Zbl 1234.68330
Harju, Tero; Nowotka, Dirk
1
2010
Overlap-freeness in infinite partial words. Zbl 1165.68058
Halava, Vesa; Harju, Tero; Kärki, Tomi; Séébold, Patrice
6
2009
The theorem of Fine and Wilf for relational periods. Zbl 1166.68035
Halava, Vesa; Harju, Tero; Kärki, Tomi
1
2009
Matrix equations and Hilbert’s tenth problem. Zbl 1173.03009
Bell, Paul; Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Potapov, Igor
9
2008
Square-free partial words. Zbl 1191.68385
Halava, Vesa; Harju, Tero; Kärki, Tomi
8
2008
Parallel complexity of signed graphs for gene assembly in ciliates. Zbl 1137.92305
Harju, Tero; Li, Chang; Petre, Ion
4
2008
Defect theorems with compatibility relations. Zbl 1146.20036
Halava, Vesa; Harju, Tero; Kärki, Tomi
3
2008
Unbordered factors and Lyndon words. Zbl 1146.68062
Duval, J.-P.; Harju, T.; Nowotka, D.
3
2008
Interaction properties of relational periods. Zbl 1139.68045
Halava, Vesa; Harju, Tero; Kärki, Tomi
3
2008
Post correspondence problem for short words. Zbl 1191.68305
Halava, Vesa; Harju, Tero; Hirvensalo, Mika; Karhumäki, Juhani
3
2008
Patterns of simple gene assembly in ciliates. Zbl 1146.92312
Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz
2
2008
Graph theoretic approach to parallel gene assembly. Zbl 1200.05238
Harju, Tero; Li, Chang; Petre, Ion
2
2008
Undecidability bounds for integer matrices using Claus instances. Zbl 1202.03052
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
21
2007
Periodicity and unbordered words: a proof of the extended Duval conjecture. Zbl 1312.68159
Harju, Tero; Nowotka, Dirk
6
2007
Relational codes of words. Zbl 1143.68036
Halava, Vesa; Harju, Tero; Kärki, Tomi
6
2007
On Markov’s undecidability theorem for integer matrices. Zbl 1131.20042
Halava, Vesa; Harju, Tero
5
2007
Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Zbl 1142.05042
Hage, Jurriaan; Harju, Tero
3
2007
Extension of the decidability of the marked PCP to instances with unique blocks. Zbl 1119.03041
Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Latteux, Michel
2
2007
The structure of infinite solutions of marked and binary Post correspondence problems. Zbl 1107.03048
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
1
2007
Binary words with few squares. Zbl 1169.68565
Harju, Tero; Nowotka, Dirk
10
2006
Positivity of second order linear recurrent sequences. Zbl 1158.11305
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
8
2006
Parallelism in gene assembly. Zbl 1114.68043
Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz
6
2006
Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035
Halava, Vesa; Harju, Tero
5
2006
Undecidability in \(\omega\)-regular languages. Zbl 1101.03031
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
2
2006
Simple operations for gene assembly. Zbl 1234.68110
Harju, 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.68114
Harju, Tero; Nowotka, Dirk
7
2005
Parallelism in gene assembly. Zbl 1116.68454
Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz
4
2005
Counting bordered and primitive words with a fixed weight. Zbl 1078.68115
Harju, Tero; Nowotka, Dirk
4
2005
Splicing systems for universal Turing machines. Zbl 1116.68455
Harju, Tero; Margenstern, Maurice
3
2005
Computation in living cells. Gene assembly in ciliates. Zbl 1069.68048
Ehrenfeucht, A.; Harju, T.; Petre, I.; Prescott, D. M.; Rozenberg, G.
35
2004
The equation \(x^i=y^jz^k\) in a free semigroup. Zbl 1052.20044
Harju, Tero; Nowotka, Dirk
8
2004
Periodicity and unbordered words. A proof of Duval’s conjecture. Zbl 1122.68090
Harju, Tero; Nowotka, Dirk
7
2004
Many aspects of defect theorems. Zbl 1078.68083
Harju, Tero; Karhumäki, Juhani
7
2004
Border correlation of binary words. Zbl 1094.68072
Harju, Tero; Nowotka, Dirk
6
2004
Gene assembly in ciliates. I: Molecular operations. Zbl 1098.68046
Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
3
2004
Gene assembly in ciliates. II: Formal frameworks. Zbl 1098.68047
Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
3
2004
A characterization of acyclic switching classes of graphs using forbidden subgraphs. Zbl 1071.05063
Hage, Jurriaan; Harju, Tero
2
2004
Formal properties of gene assembly: Equivalence problem for overlap graphs. Zbl 1200.68133
Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
1
2004
Combinatorics on words. Zbl 1089.68081
Harju, Tero
1
2004
Gene assembly in ciliates. II. Formal frameworks. Zbl 1169.68413
Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
1
2004
Transitivity of local complementation and switching on graphs. Zbl 1033.05052
Ehrenfeucht, Andrzej; Harju, Tero; Rozenberg, Grzegorz
1
2004
Valence languages generated by equality sets. Zbl 1083.68056
Halava, Vesa; Harju, Tero; Jan Hoogeboom, Hendrik; Latteux, Michel
1
2004
Formal systems for gene assembly in ciliates. Zbl 1063.68054
Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Prescott, David M.; Rozenberg, Grzegorz
15
2003
On the independence of equations in three variables. Zbl 1058.68085
Harju, Tero; Nowotka, Dirk
9
2003
Euler graphs, triangle-free graphs and bipartite graphs in switching classes. Zbl 1054.05092
Hage, Jurriaan; Harju, Tero; Welzl, Emo
3
2003
Decidability of the binary infinite Post Correspondence Problem. Zbl 1023.03039
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
2
2003
Languages defined by generalized equality sets. Zbl 1278.68134
Halava, Vesa; Harju, Tero; Hoogeboom, Hendrik Jan; Latteux, Michel
1
2003
Periodicity and unbordered segments of words. Zbl 1169.68564
Harju, Tero; Nowotka, Dirk
1
2003
Computational processes in living cells: Gene assembly in ciliates. Zbl 1015.68077
Harju, Tero; Rozenberg, Grzegorz
1
2003
Proceedings of WORDS’03, the 4th international conference on combinatorics on words, Turku, Finland, September 10–13, 2003. Zbl 1030.00026
Harju, Tero; Karhumäki, Juhani
1
2003
About Duval’s conjecture. Zbl 1037.68104
Harju, Tero; Nowotka, Dirk
1
2003
About Duval extensions. Zbl 1040.68080
Harju, Tero; Nowotka, Dirk
1
2003
Some decision problems concerning semilinearity and commutation. Zbl 1059.68061
Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto
31
2002
Characterizing the micronuclear gene patterns in ciliates. Zbl 1001.68903
Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
12
2002
Density of critical factorizations. Zbl 1013.68154
Harju, Tero; Nowotka, Dirk
10
2002
Binary (generalized) Post Correspondence Problem. Zbl 1023.03038
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
9
2002
Gene assembly through cyclic graph decomposition. Zbl 1024.68039
Ehrenfeucht, A.; Harju, T.; Rozenberg, G.
8
2002
Patterns of micronuclear genes in ciliates. Zbl 1065.68541
Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Rozenberg, Grzegorz
6
2002
Decision questions on integer matrices. Zbl 1073.03519
Harju, Tero
4
2002
Infinite solutions of marked Post correspondence problem. Zbl 1060.03068
Halava, Vesa; Harju, Tero
3
2002
Euler graphs, triangle-free graphs and bipartite graphs in switching classes. Zbl 1028.68101
Hage, Jurriaan; Harju, Tero; Welzl, Emo
1
2002
Mortality in matrix semigroups. Zbl 0992.03052
Halava, Vesa; Harju, Tero
10
2001
Decision questions concerning semilinearity, morphisms, and commutation of languages. Zbl 0986.68048
Harju, Tero; Ibarra, Oscar; Karhumäki, Juhani; Salomaa, Arto
3
2001
Forbidden subsequences and permutations sortable on two parallel stacks. Zbl 1007.68109
Harju, Tero; Ilie, Lucian
1
2001
Some new results on Post correspondence problem and its modifications. Zbl 0989.68082
Halava, Vesa; Harju, Tero
1
2001
Periods and binary words. Zbl 0943.68128
Halava, Vesa; Harju, Tero; Ilie, Lucian
10
2000
Generalized Post correspondence problem for marked morphisms. Zbl 0971.68124
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
5
2000
The size of switching classes with skew gains. Zbl 0949.05039
Hage, Jurriaan; Harju, Tero
4
2000
Complexity issues in switching of graphs. Zbl 0958.68133
Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz
4
2000
Pancyclicity in switching classes. Zbl 1338.68101
Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz
3
2000
The theory of 2-structures. A framework for decomposition and transformation of graphs. Zbl 0981.05002
Ehrenfeucht, A.; Harju, T.; Rozenberg, G.
46
1999
On the undecidability of freeness of matrix semigroups. Zbl 1029.20027
Cassaigne, Julien; Harju, Tero; Karhumäki, Juhani
29
1999
Undecidability in integer weighted finite automata. Zbl 0935.68060
Halava, Vesa; Harju, Tero
10
1999
Undecidability of the equivalence of finite substitutions on regular language. Zbl 0946.68076
Halava, Vesa; Harju, Tero
2
1999
Switching of directed graphs. Zbl 0959.05056
Harju, Tero
2
1999
Languages accepted by integer weighted finite automata. Zbl 0944.68111
Halava, Vesa; Harju, Tero
1
1999
Proceedings of the seventh Nordic combinatorial conference, Turku, Finland, August 16–18, 1999. Zbl 0943.00048
Harju, Tero; Honkala, Iiro
1
1999
On quasi orders of words and the confluence property. Zbl 0915.68104
Harju, Tero; Ilie, Lucian
6
1998
Acyclicity of switching classes. Zbl 0905.05057
Hage, Jurriaan; Harju, Tero
3
1998
Shuffle on trajectories: The Schützenberger product and related operations. Zbl 0914.68112
Harju, Tero; Mateescu, Alexandru; Salomaa, Arto
3
1998
...and 31 more Documents
all top 5

Cited by 533 Authors

63 Harju, Tero
33 Ibarra, Oscar H.
29 Karhumaki, Juhani
23 Halava, Vesa
23 Rozenberg, Grzegorz
21 Blanchet-Sadri, Francine
21 Honkala, Juha
17 McQuillan, Ian
15 Potapov, Igor
13 Nowotka, Dirk
13 Petre, Ion
12 Brijder, Robert
12 Ehrenfeucht, Andrzej
12 Holub, Štěpán
11 Bell, Paul C.
10 Hoogeboom, Hendrik Jan
10 Kari, Lila
10 Salomaa, Arto Kustaa
9 Păun, Gheorghe
8 Bonizzoni, Paola
8 Boudabbous, Youssef
8 Ille, Pierre
8 Kärki, Tomi
7 Daley, Mark
7 Mercaş, Robert George
7 Rogojin, Vladimir
6 Czeizler, Elena
6 Head, Thomas J.
6 Hirvensalo, Mika
6 Mitrana, Victor
6 Rytter, Wojciech
6 Saarela, Aleksi
6 Seki, Shinnosuke
6 Shallit, Jeffrey O.
5 Badkobeh, Golnaz
5 Charlier, Emilie
5 Choffrut, Christian
5 Currie, James D.
5 D’Alessandro, Flavio
5 Dassow, Jürgen
5 Finkel, Olivier
5 Jonoska, Nataša
5 Latteux, Michel
5 Mignosi, Filippo
5 Müller, Mike
5 Plandowski, Wojciech
5 Podlovchenko, Rimma Ivanovna
5 Pouzet, Maurice
5 Rampersad, Narad
5 Restivo, Antonio
5 Saito, Masahico
5 Séébold, Patrice
5 Varricchio, Stefano
4 Boudabbous, Imed
4 Cassaigne, Julien
4 Dang, Zhe
4 Delhommé, Christian
4 Domaratzki, Michael
4 Khachatryan, V. E.
4 Kleijn, H. C. M.
4 Ko, Sang-Ki
4 Lando, Barbara A.
4 Li, Chang
4 Loos, Remco
4 Mateescu, Alexandru
4 Mauri, Giancarlo
4 Okhotin, Alexander
4 Rao, Michaël
4 Sakarovitch, Jacques
4 Salomaa, Kai T.
4 Yu, Sheng
3 Alhazov, Artiom
3 Berstel, Jean
3 Bouaziz, Moncef
3 Bucher, Walter
3 Crochemore, Maxime
3 De Felice, Clelia
3 Greaves, Gary
3 Hellmuth, Marc
3 Ilie, Lucian
3 Jelínková, Eva
3 Langille, Miika
3 Maňuch, Ján
3 McConnell, Ross M.
3 Néraud, Jean
3 Niskanen, Reino
3 Pixton, Dennis
3 Puzynina, Svetlana
3 Quigley, James D.
3 Semukhin, Pavel
3 Sénizergues, Géraud
3 Shoukourian, Samvel K.
3 Silva, Pedro V.
3 Vialette, Stéphane
3 Zaguia, Imed
3 Zizza, Rosalba
2 Ago, Kristina
2 Alzohairi, Mohammad
2 Angeleska, Angela
2 Bašić, Bojan
...and 433 more Authors
all top 5

Cited in 77 Serials

181 Theoretical Computer Science
32 Discrete Applied Mathematics
31 International Journal of Foundations of Computer Science
26 Information and Computation
18 RAIRO. Theoretical Informatics and Applications
17 Discrete Mathematics
13 Information Processing Letters
13 Journal of Computer and System Sciences
12 Acta Informatica
11 European Journal of Combinatorics
9 International Journal of Algebra and Computation
7 Journal of Combinatorial Theory. Series A
7 Theory of Computing Systems
7 Natural Computing
6 International Journal of Computer Mathematics
6 RAIRO. Theoretical Informatics and Applications
5 Linear Algebra and its Applications
5 RAIRO. Informatique Théorique et Applications
4 Programming and Computer Software
4 The Electronic Journal of Combinatorics
3 Journal of Algebra
3 Semigroup Forum
3 Advances in Applied Mathematics
3 Order
3 Algorithmica
3 Cybernetics and Systems Analysis
3 Journal of Mathematical Sciences (New York)
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 Graphs and Combinatorics
2 Indagationes Mathematicae. New Series
2 Discussiones Mathematicae. Graph Theory
2 Fundamenta Informaticae
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 RAIRO, Informatique Théorique
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 Annals of Mathematics and Artificial Intelligence
1 Doklady Mathematics
1 The Ramanujan Journal
1 Soft Computing
1 Journal of Combinatorial Optimization
1 Algebras and Representation Theory
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 International Journal of Group Theory
1 Journal of Theoretical Biology
1 Computer Science Review
1 Electronic Journal of Graph Theory and Applications
1 Cogent Mathematics

Citations by Year