| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tero Harju, Tomi Kärki |
On the number of frames in binary words.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Tomi Kärki, Dirk Nowotka |
The Number of Positions Starting a Square in Binary Words. |
Electr. J. Comb. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Vladimir Rogojin |
Directed Overlap-inclusion Graphs as Representations of Ciliate Genes. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki |
A new proof for the decidability of D0L ultimate periodicity |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju |
Square-free Walks on Labelled Graphs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emilie Charlier, Michael Domaratzki, Tero Harju, Jeffrey Shallit |
Finite Orbits of Language Operations |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emilie Charlier, Michael Domaratzki, Tero Harju, Jeffrey Shallit |
Finite Orbits of Language Operations. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Cyclically repetition-free words on small alphabets. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki |
On the number of squares in partial words. |
RAIRO - Theor. Inf. and Applic. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki, Michel Rigo |
On the Periodicity of Morphic Words. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki, Patrice Séébold |
Overlap-freeness in infinite partial words. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki |
The theorem of Fine and Wilf for relational periods. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju |
Post Correspondence Problem and Small Dimensional Matrices. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki |
Square-free partial words. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki |
Post Correspondence Problem for short words. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Berstel, Tero Harju, Juhani Karhumäki |
Preface. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Bell, Vesa Halava, Tero Harju, Juhani Karhumäki, Igor Potapov |
Matrix Equations and Hilbert's Tenth Problem. |
IJAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Chang Li, Ion Petre |
Parallel complexity of signed graphs for gene assembly in ciliates. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Gene assembly, Complexity, Parallelism, Graph model, Ciliates |
| 1 | Tero Harju, Juhani Karhumäki |
Preface. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Duval, Tero Harju, Dirk Nowotka |
Unbordered factors and Lyndon words. |
Discrete Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Kärki, Tero Harju, Vesa Halava |
Interaction Properties of Relational Periods. |
Discrete Mathematics & Theoretical Computer Science |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Bordered Conjugates of Words over Large Alphabets. |
Electr. J. Comb. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg |
Patterns of simple gene assembly in ciliates. |
Discrete Applied Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Chang Li, Ion Petre |
Graph theoretic approach to parallel gene assembly. |
Discrete Applied Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki |
Relational codes of words. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Juhani Karhumäki, Michel Latteux |
Extension of the decidability of the marked PCP to instances with unique blocks. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Mika Hirvensalo |
Undecidability Bounds for Integer Matrices Using Claus Instances. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Periodicity and unbordered words: A proof of the extended duval conjecture. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Duval's conjecture, unbordered words, periodicity, Combinatorics on words |
| 1 | Jurriaan Hage, Tero Harju |
Towards a characterization of bipartite switching classes by means of forbidden subgraphs. |
Discussiones Mathematicae Graph Theory |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Juhani Karhumäki |
The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg |
Finite metrics in switching classes. |
Discrete Applied Mathematics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.) |
Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings |
Developments in Language Theory |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg |
Parallelism in Gene Assembly. |
Natural Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
On unique factorizations of primitive words. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju |
Undecidability of infinite post correspondence problem for instances of Size 9. |
ITA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg |
Embedding linear orders in grids. |
Acta Inf. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Periods in Extensions of Words. |
Acta Inf. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Juhani Karhumäki |
Undecidability in omega-Regular Languages. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg |
The Embedding Problem for Switching Classes of Graphs. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Binary Words with Few Squares. |
Bulletin of the EATCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Mika Hirvensalo |
Positivity of second order linear recurrent sequences. |
Discrete Applied Mathematics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg |
Complexity Measures for Gene Assembly. |
KDECB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Modelling Simple Operations for Gene Assembly. |
Nanotechnology: Science and Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Michel Latteux |
Equality sets of prefix morphisms and regular star languages. |
Inf. Process. Lett. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Juhani Karhumäki, Antonio Restivo |
Preface. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Arto Lepistö, Dirk Nowotka |
A characterization of periodicity of bi-infinite words. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
On the equation in a free semigroup. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Counting bordered and primitive words with a fixed weight. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux |
Equality sets for recursively enumerable languages. |
ITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Michel Latteux |
Representation of Regular Languages by Equality Sets. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg |
Simple Operations for Gene Assembly. |
DNA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju |
Characterizations of Regularity. |
FSMNLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju |
Combinatorial Models of Gene Assembly. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Border correlation of binary words. |
J. Comb. Theory, Ser. A |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Juhani Karhumäki |
Many aspects of defect theorems. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Minimal Duval Extensions. |
Int. J. Found. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg |
Transitivity of local complementation and switching on graphs. |
Discrete Mathematics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Gene Assembly in Celiates. Part I. Molecular Operations (Column: Natural Computing). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jurriaan Hage, Tero Harju |
A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs. |
SIAM J. Discrete Math. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Tutorial on DNA Computing and Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg |
Embedding in Switching Classes with Skew Gains. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Maurice Margenstern |
Splicing Systems for Universal Turing Machines. |
DNA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg |
Parallelism in Gene Assembly. |
DNA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Periodicity and Unbordered Words: A Proof of Duval?s Conjecture. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Two Models for Gene Assembly in Ciliates. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg |
Formal systems for gene assembly in ciliates. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
On the independence of equations in three variables. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Hage, Tero Harju, Emo Welzl |
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Gene Assembly in Ciliates Part I. Molecular Operations. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Periodicity and Unbordered Segments of Words. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Juhani Karhumäki |
Decidability of the binary infinite Post Correspondence Problem. |
Discrete Applied Mathematics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux |
Languages Defined by Generalized Equality Sets. |
FCT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
About Duval's Conjecture. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg |
Gene assembly through cyclic graph decomposition. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Mika Hirvensalo |
Binary (generalized) Post Correspondence Problem. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Density of Critical Factorizations. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Ion Petre, Grzegorz Rozenberg |
Characterizing the Micronuclear Gene Patterns in Ciliates. |
Theory Comput. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa |
Some Decision Problems Concerning Semilinearity and Commutation. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Hage, Tero Harju, Emo Welzl |
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Grzegorz Rozenberg |
Computational Processes in Living Cells: Gene Assembly in Ciliates. |
Developments in Language Theory |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju |
Infinite Solutions of Marked Post Correspondence Problem. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju |
Some New Results on Post Correspondence Problem and Its Modifications. |
Bulletin of the EATCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Ion Petre, Grzegorz Rozenberg |
Patterns of Micronuclear Genes in ciliates. |
DNA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa |
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
Reversal-bounded counters, commutation of languages, context-free languages, combinatorics on words, morphisms |
| 1 | Tero Harju |
Decision Questions on Integer Matrices. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju |
An Undecidability Result Concerning Periodic Morphisms. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Lucian Ilie |
Forbidden subsequences and permutations sortable on two parallel stacks. |
Where Mathematics, Computer Science, Linguistics and Biology Meet |
2001 |
DBLP BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Lucian Ilie |
Periods and Binary Words. |
J. Comb. Theory, Ser. A |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg |
Pancyclicity in switching classes. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Mika Hirvensalo |
Generalized Post Correspondence Problem for Marked Morphisms. |
IJAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Hage, Tero Harju |
The size of switching classes with skew gains. |
Discrete Mathematics |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju |
Undecidability of the equivalence of finite substitutions on regular language. |
ITA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju |
Undecidability in Integer Weighted Finite Automata. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg |
The Theory of 2-Structures - A Framework for Decomposition and Transformation of Graphs. |
|
1999 |
RDF |
|
| 1 | Vesa Halava, Tero Harju, Mika Hirvensalo |
Generalized PCP Is Decidable for Marked Morphisms. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju |
Languages Accepted by Integer Weighted Finite Automata. |
Jewels are Forever |
1999 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Lucian Ilie |
On Quasi Orders of Words and the Confluence Property. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")