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

Tero Harju Home Page Coauthor index pubzone.org

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

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

Coauthor Index

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page