dblp.uni-trier.dewww.uni-trier.de

Tero Harju Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
119EETero Harju: Post Correspondence Problem and Small Dimensional Matrices. Developments in Language Theory 2009: 39-46
118EEVesa Halava, Tero Harju, Tomi Kärki, Patrice Séébold: Overlap-freeness in infinite partial words. Theor. Comput. Sci. 410(8-10): 943-948 (2009)
2008
117EETero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg: Patterns of simple gene assembly in ciliates. Discrete Applied Mathematics 156(14): 2581-2597 (2008)
116EETero Harju, Chang Li, Ion Petre: Graph theoretic approach to parallel gene assembly. Discrete Applied Mathematics 156(18): 3416-3429 (2008)
115EEJean-Pierre Duval, Tero Harju, Dirk Nowotka: Unbordered factors and Lyndon words. Discrete Mathematics 308(11): 2261-2264 (2008)
114EETomi Kärki, Tero Harju, Vesa Halava: Interaction Properties of Relational Periods. Discrete Mathematics & Theoretical Computer Science 10(1): (2008)
113EEPaul Bell, Vesa Halava, Tero Harju, Juhani Karhumäki, Igor Potapov: Matrix Equations and Hilbert's Tenth Problem. IJAC 18(8): 1231-1241 (2008)
112EEVesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki: Post Correspondence Problem for short words. Inf. Process. Lett. 108(3): 115-118 (2008)
111EEVesa Halava, Tero Harju, Tomi Kärki: Square-free partial words. Inf. Process. Lett. 108(5): 290-292 (2008)
110EETero Harju, Juhani Karhumäki: Preface. Int. J. Found. Comput. Sci. 19(3): 495-496 (2008)
109EETero Harju, Chang Li, Ion Petre: Parallel complexity of signed graphs for gene assembly in ciliates. Soft Comput. 12(8): 731-737 (2008)
2007
108 Tero Harju, Juhani Karhumäki, Arto Lepistö: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings Springer 2007
107EEAndrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Finite metrics in switching classes. Discrete Applied Mathematics 155(1): 68-73 (2007)
106EEVesa Halava, Tero Harju, Mika Hirvensalo: Undecidability Bounds for Integer Matrices Using Claus Instances. Int. J. Found. Comput. Sci. 18(5): 931-948 (2007)
105EETero Harju, Dirk Nowotka: Periodicity and unbordered words: A proof of the extended duval conjecture. J. ACM 54(4): (2007)
104EEVesa 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)
103EEVesa Halava, Tero Harju, Tomi Kärki: Relational codes of words. Theor. Comput. Sci. 389(1-2): 237-249 (2007)
102EEVesa 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)
2006
101EETero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg: Complexity Measures for Gene Assembly. KDECB 2006: 42-60
100EETero Harju, Ion Petre, Grzegorz Rozenberg: Modelling Simple Operations for Gene Assembly. Nanotechnology: Science and Computation 2006: 361-373
99EEAndrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Embedding linear orders in grids. Acta Inf. 42(6-7): 419-428 (2006)
98EETero Harju, Dirk Nowotka: Periods in Extensions of Words. Acta Inf. 43(3): 165-171 (2006)
97EEVesa Halava, Tero Harju, Mika Hirvensalo: Positivity of second order linear recurrent sequences. Discrete Applied Mathematics 154(3): 447-451 (2006)
96EEVesa Halava, Tero Harju, Juhani Karhumäki: Undecidability in omega-Regular Languages. Fundam. Inform. 73(1-2): 119-125 (2006)
95EEAndrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg: The Embedding Problem for Switching Classes of Graphs. Fundam. Inform. 74(1): 115-134 (2006)
94EETero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg: Parallelism in Gene Assembly. Natural Computing 5(2): 203-223 (2006)
93EETero Harju, Dirk Nowotka: On unique factorizations of primitive words. Theor. Comput. Sci. 356(1-2): 186-189 (2006)
2005
92EETero Harju: Combinatorial Models of Gene Assembly. CiE 2005: 188-195
91EETero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg: Simple Operations for Gene Assembly. DNA 2005: 96-111
90EETero Harju: Characterizations of Regularity. FSMNLP 2005: 1-8
89 Vesa Halava, Tero Harju, Michel Latteux: Representation of Regular Languages by Equality Sets. Bulletin of the EATCS 86: 224-228 (2005)
88EEVesa Halava, Tero Harju, Michel Latteux: Equality sets of prefix morphisms and regular star languages. Inf. Process. Lett. 94(4): 151-154 (2005)
87EETero Harju, Dirk Nowotka: On the equation in a free semigroup. Theor. Comput. Sci. 330(1): 117-121 (2005)
86EETero Harju, Juhani Karhumäki, Antonio Restivo: Preface. Theor. Comput. Sci. 339(1): 1-2 (2005)
85EETero Harju, Dirk Nowotka: Counting bordered and primitive words with a fixed weight. Theor. Comput. Sci. 340(1): 273-279 (2005)
84EETero Harju, Arto Lepistö, Dirk Nowotka: A characterization of periodicity of bi-infinite words. Theor. Comput. Sci. 347(1-2): 419-422 (2005)
2004
83EETero Harju, Ion Petre, Grzegorz Rozenberg: Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs. Aspects of Molecular Computing 2004: 202-212
82EETero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg: Parallelism in Gene Assembly. DNA 2004: 138-148
81EETero Harju, Maurice Margenstern: Splicing Systems for Universal Turing Machines. DNA 2004: 149-158
80EEAndrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg: Embedding in Switching Classes with Skew Gains. ICGT 2004: 257-270
79EETero Harju, Ion Petre, Grzegorz Rozenberg: Tutorial on DNA Computing and Graph Transformation. ICGT 2004: 434-436
78EETero Harju, Dirk Nowotka: Periodicity and Unbordered Words: A Proof of Duval?s Conjecture. STACS 2004: 294-304
77EETero Harju, Ion Petre, Grzegorz Rozenberg: Two Models for Gene Assembly in Ciliates. Theory Is Forever 2004: 89-101
76 Tero Harju, Ion Petre, Grzegorz Rozenberg: Gene Assembly in Celiates. Part I. Molecular Operations (Column: Natural Computing). Bulletin of the EATCS 82: 227-241 (2004)
75EEAndrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Transitivity of local complementation and switching on graphs. Discrete Mathematics 278(1-3): 45-60 (2004)
74EETero Harju, Dirk Nowotka: Minimal Duval Extensions. Int. J. Found. Comput. Sci. 15(2): 349-354 (2004)
73EETero Harju, Dirk Nowotka: Border correlation of binary words. J. Comb. Theory, Ser. A 108(2): 331-341 (2004)
72EEJurriaan Hage, Tero Harju: A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs. SIAM J. Discrete Math. 18(1): 159-176 (2004)
71EETero Harju, Juhani Karhumäki: Many aspects of defect theorems. Theor. Comput. Sci. 324(1): 35-54 (2004)
2003
70EETero Harju, Dirk Nowotka: About Duval's Conjecture. Developments in Language Theory 2003: 316-324
69EEVesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux: Languages Defined by Generalized Equality Sets. FCT 2003: 355-363
68 Tero Harju, Dirk Nowotka: Periodicity and Unbordered Segments of Words. Bulletin of the EATCS 80: 162-167 (2003)
67 Tero Harju, Ion Petre, Grzegorz Rozenberg: Gene Assembly in Ciliates Part I. Molecular Operations. Bulletin of the EATCS 81: 236-249 (2003)
66EETero Harju, Dirk Nowotka: Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture CoRR cs.DM/0305039: (2003)
65EEVesa Halava, Tero Harju, Juhani Karhumäki: Decidability of the binary infinite Post Correspondence Problem. Discrete Applied Mathematics 130(3): 521-526 (2003)
64EEJurriaan Hage, Tero Harju, Emo Welzl: Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. Fundam. Inform. 58(1): 23-37 (2003)
63 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)
62EETero Harju, Dirk Nowotka: On the independence of equations in three variables. Theor. Comput. Sci. 307(1): 139-172 (2003)
2002
61EETero Harju, Grzegorz Rozenberg: Computational Processes in Living Cells: Gene Assembly in Ciliates. Developments in Language Theory 2002: 1-20
60EEVesa Halava, Tero Harju: Infinite Solutions of Marked Post Correspondence Problem. Formal and Natural Computing 2002: 57-68
59EEJurriaan Hage, Tero Harju, Emo Welzl: Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. ICGT 2002: 148-160
58EETero Harju, Ion Petre, Grzegorz Rozenberg: Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates. ICGT 2002: 430-434
57EETero Harju, Dirk Nowotka: Density of Critical Factorizations. ITA 36(3): 315-327 (2002)
56EETero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Some Decision Problems Concerning Semilinearity and Commutation. J. Comput. Syst. Sci. 65(2): 278-294 (2002)
55EEVesa Halava, Tero Harju, Mika Hirvensalo: Binary (generalized) Post Correspondence Problem. Theor. Comput. Sci. 276(1-2): 183-204 (2002)
54EEAndrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Gene assembly through cyclic graph decomposition. Theor. Comput. Sci. 281(1-2): 325-349 (2002)
53EEAndrzej Ehrenfeucht, Tero Harju, Ion Petre, Grzegorz Rozenberg: Characterizing the Micronuclear Gene Patterns in Ciliates. Theory Comput. Syst. 35(5): 501-519 (2002)
2001
52EEAndrzej Ehrenfeucht, Tero Harju, Ion Petre, Grzegorz Rozenberg: Patterns of Micronuclear Genes in ciliates. DNA 2001: 279-289
51EEVesa Halava, Tero Harju: An Undecidability Result Concerning Periodic Morphisms. Developments in Language Theory 2001: 304-310
50EETero Harju: Decision Questions on Integer Matrices. Developments in Language Theory 2001: 57-68
49EETero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ICALP 2001: 579-590
48 Vesa Halava, Tero Harju: Some New Results on Post Correspondence Problem and Its Modifications. Bulletin of the EATCS 73: 131-141 (2001)
2000
47EEJurriaan Hage, Tero Harju: The size of switching classes with skew gains. Discrete Mathematics 215: 81-92 (2000)
46EEVesa Halava, Tero Harju, Mika Hirvensalo: Generalized Post Correspondence Problem for Marked Morphisms. IJAC 10(6): 757-772 (2000)
45EEAndrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg: Pancyclicity in switching classes. Inf. Process. Lett. 73(5-6): 153-156 (2000)
44EEVesa Halava, Tero Harju, Lucian Ilie: Periods and Binary Words. J. Comb. Theory, Ser. A 89(2): 298-303 (2000)
1999
43EEVesa Halava, Tero Harju, Mika Hirvensalo: Generalized PCP Is Decidable for Marked Morphisms. FCT 1999: 304-315
42 Vesa Halava, Tero Harju: Languages Accepted by Integer Weighted Finite Automata. Jewels are Forever 1999: 123-134
41 Vesa Halava, Tero Harju: Undecidability in Integer Weighted Finite Automata. Fundam. Inform. 38(1-2): 189-200 (1999)
40 Vesa Halava, Tero Harju: Undecidability of the equivalence of finite substitutions on regular language. ITA 33(2): 117-124 (1999)
1998
39EETero Harju, Alexandru Mateescu, Arto Salomaa: Shuffle on Trajectories: The Schützenberger Product and Related Operations. MFCS 1998: 503-511
38 Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg: Complexity Issues in Switching of Graphs. TAGT 1998: 59-70
37EEAndrzej Ehrenfeucht, Tero Harju, Paulien ten Pas, Grzegorz Rozenberg: Permutations, parenthesis words, and Schröder numbers. Discrete Mathematics 190(1-3): 259-264 (1998)
36EEJurriaan Hage, Tero Harju: Acyclicity of Switching Classes. Eur. J. Comb. 19(3): 321-327 (1998)
35EETero Harju, Lucian Ilie: On Quasi Orders of Words and the Confluence Property. Theor. Comput. Sci. 200(1-2): 205-224 (1998)
1997
34 Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: 2-Structures - A Framework For Decomposition And Transformation Of Graphs. Handbook of Graph Grammars 1997: 401-478
33 Tero Harju, Juhani Karhumäki, Mario Petrich: Compactness of Systems of Equations on Completely Regular Semigroups. Structures in Logic and Computer Science 1997: 268-280
32 Tero Harju, Lucian Ilie: Languages Obtained from Infinite Words. ITA 31(5): 445-455 (1997)
31EEVesa Halava, Tero Harju, Lucian Ilie: On a Geometric Problem of Zigzags. Inf. Process. Lett. 62(1): 1-4 (1997)
30 Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Invariants of Inversive 2-Structures on Groups of Labels. Mathematical Structures in Computer Science 7(4): 303-327 (1997)
29EEChristian Choffrut, Tero Harju, Juhani Karhumäki: A Note on Decidability Questions on Presentations of Word Semigroups. Theor. Comput. Sci. 183(1): 83-92 (1997)
1996
28EETero Harju, Juhani Karhumäki, Daniel Krob: Remarks on Generalized Post Correspondence Problem. STACS 1996: 39-48
27EEJoost Engelfriet, Tero Harju, Andrzej Proskurowski, Grzegorz Rozenberg: Characterization and Complexity of Uniformly Non Primitive Labeled 2-Structures. Theor. Comput. Sci. 154(2): 247-282 (1996)
26EETero Harju, Marjo Lipponen, Alexandru Mateescu: Flatwords and Post Correspondence Problem. Theor. Comput. Sci. 161(1&2): 93-108 (1996)
1995
25EEAndrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Theory of 2-Structures. ICALP 1995: 1-14
24EETero Harju, Juhani Karhumäki, Wojciech Plandowski: Compactness of Systems of Equations in Semigroups. ICALP 1995: 444-454
1994
23 Tero Harju, Hendrik Jan Hoogeboom, H. C. M. Kleijn: Identities and Transductions. Results and Trends in Theoretical Computer Science 1994: 140-144
22 Tero Harju, Grzegorz Rozenberg: Decompostion of Infinite Labeled 2-Structures. Results and Trends in Theoretical Computer Science 1994: 145-158
21 Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Group Based Graph Transformations and Hierarchical Representations of Graphs. TAGT 1994: 502-520
20EEAndrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Incremental construction of 2-structures. Discrete Mathematics 128(1-3): 113-141 (1994)
19 Tero Harju, Grzegorz Rozenberg: Reductions for Primitive 2-Structures. Fundam. Inform. 20(1/2/3): 133-144 (1994)
18 Tero Harju, N. W. Keesmaat, H. C. M. Kleijn: The Intersection Problem for Alphabetic Vector Monoids. ITA 28(3-4): 295-301 (1994)
17 Tero Harju, H. C. M. Kleijn, Michel Latteux, Alain Terlutte: Representation of Rational Functions with Prefix and Suffix Codings. Theor. Comput. Sci. 134(2): 403-413 (1994)
1993
16 Tero Harju, H. C. M. Kleijn: Morphisms and rational tranducers. Bulletin of the EATCS 51: 168-180 (1993)
1992
15 Tero Harju, H. C. M. Kleijn, Michel Latteux: Deterministic Sequential Functions. Acta Inf. 29(6/7): 545-554 (1992)
14 Tero Harju, H. C. M. Kleijn, Michel Latteux: Compositional representation of rational functions. ITA 26: 243-256 (1992)
1991
13EEKarel Culik II, Tero Harju: Splicing semigroups of dominoes and DNA. Discrete Applied Mathematics 31(3): 261-277 (1991)
12EETero Harju, H. C. M. Kleijn: Decidability problems for unary output sequential transducers. Discrete Applied Mathematics 32(2): 131-140 (1991)
11 Tero Harju, Juhani Karhumäki: The Equivalence Problem of Multitape Finite Automata. Theor. Comput. Sci. 78(2): 347-355 (1991)
1990
10 Tero Harju, Juhani Karhumäki: Decidability of the Multiplicity Equivalence of Multitape Finite Automata STOC 1990: 477-481
1989
9EEKarel Culik II, Tero Harju: Dominoes and the Regularity of DNS Splicing Languages. ICALP 1989: 222-233
8 Tero Harju, H. C. M. Kleijn: Cardinality Problems of Composition of Morphisms and Inverse Morphisms. Mathematical Systems Theory 22(3): 151-159 (1989)
1986
7 Tero Harju, Matti Linna: On the Periodicity of Morphisms on Free Monoids. ITA 20(1): 47-54 (1986)
1984
6EEKarel Culik II, Tero Harju: The omega-Sequence Problem for DOL Systems Is Decidable. J. ACM 31(2): 282-298 (1984)
5 Tero Harju, Matti Linna: The Equations h(w)=w-n in Binary Alphabets. Theor. Comput. Sci. 33: 327-329 (1984)
1982
4 Karel Culik II, Tero Harju: Dominoes Over a Free Monoid. Theor. Comput. Sci. 18: 279-300 (1982)
1981
3 Karel Culik II, Tero Harju: The omega-Sequence Equivalence Problem for DOL Systems Is Decidable STOC 1981: 1-6
1979
2 Tero Harju: A Simulation Result for the Auxiliary Pushdown Automata. J. Comput. Syst. Sci. 19(2): 119-132 (1979)
1977
1 Tero Harju: A Polynomial Recognition Algorithm for the EDTOL Languages. Elektronische Informationsverarbeitung und Kybernetik 13(4/5): 169-177 (1977)

Coauthor Index

1Paul Bell [113]
2Christian Choffrut [29]
3Karel Culik II [3] [4] [6] [9] [13]
4Jean-Pierre Duval [115]
5Andrzej Ehrenfeucht [20] [21] [25] [30] [34] [37] [38] [45] [52] [53] [54] [63] [75] [80] [95] [99] [107]
6Joost Engelfriet [27]
7Jurriaan Hage [36] [38] [45] [47] [59] [64] [72] [80] [95]
8Vesa Halava [31] [40] [41] [42] [43] [44] [46] [48] [51] [55] [60] [65] [69] [88] [89] [96] [97] [102] [103] [104] [106] [111] [112] [113] [114] [118]
9Mika Hirvensalo [43] [46] [55] [97] [106] [112]
10Hendrik Jan Hoogeboom [23] [69]
11Oscar H. Ibarra [49] [56]
12Lucian Ilie [31] [32] [35] [44]
13Juhani Karhumäki [10] [11] [24] [28] [29] [33] [49] [56] [65] [71] [86] [96] [102] [104] [108] [110] [112] [113]
14Tomi Kärki [103] [111] [114] [118]
15N. W. Keesmaat [18]
16Jetty Kleijn (H. C. M. Kleijn) [8] [12] [14] [15] [16] [17] [18] [23]
17Daniel Krob [28]
18Michel Latteux [14] [15] [17] [69] [88] [89] [104]
19Arto Lepistö [84] [108]
20Chang Li [82] [94] [101] [109] [116]
21Matti Linna [5] [7]
22Marjo Lipponen [26]
23Maurice Margenstern [81]
24Alexandru Mateescu [26] [39]
25Dirk Nowotka [57] [62] [66] [68] [70] [73] [74] [78] [84] [85] [87] [93] [98] [105] [115]
26Paulien ten Pas [37]
27Ion Petre [52] [53] [58] [63] [67] [76] [77] [79] [82] [83] [91] [94] [100] [101] [109] [116] [117]
28Mario Petrich [33]
29Wojciech Plandowski [24]
30Igor Potapov [113]
31David M. Prescott [63]
32Andrzej Proskurowski [27]
33Antonio Restivo [86]
34Vladimir Rogojin [91] [117]
35Grzegorz Rozenberg [19] [20] [21] [22] [25] [27] [30] [34] [37] [38] [45] [52] [53] [54] [58] [61] [63] [67] [75] [76] [77] [79] [80] [82] [83] [91] [94] [95] [99] [100] [101] [107] [117]
36Arto Salomaa [39] [49] [56]
37Patrice Séébold [118]
38Alain Terlutte [17]
39Emo Welzl [59] [64]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)