BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Greece
1 × Japan
2 × Germany
2 × Hungary
2 × Italy
2 × Spain
3 × USA
Collaborated with:
G.Rozenberg A.Ehrenfeucht J.Karhumäki K.C.II J.Hage V.Halava I.Petre D.Nowotka E.Welzl W.Plandowski E.Charlier M.Domaratzki J.Shallit T.Kärki M.Rigo O.H.Ibarra A.Salomaa
Talks about:
graph (9) transform (4) comput (4) languag (3) switch (3) structur (2) question (2) morphism (2) problem (2) equival (2)

Person: Tero Harju

DBLP DBLP: Harju:Tero

Facilitated 2 volumes:

DLT 2007Ed
DLT 2007Ed

Contributed to:

LATA 20112011
DLT 20102010
DLT 20092009
ICGT 20042004
DLT 20032003
DLT 20022002
ICGT 20022002
DLT 20012001
ICALP 20012001
TAGT 19981998
Handbook of Graph Grammars 19971997
ICALP 19951995
TAGT 19941994
STOC 19901990
ICALP 19891989
STOC 19811981

Wrote 20 papers:

LATA-2011-CharlierDHS #finite
Finite Orbits of Language Operations (EC, MD, TH, JS), pp. 204–215.
DLT-2010-HalavaHKR #on the #word
On the Periodicity of Morphic Words (VH, TH, TK, MR), pp. 209–217.
DLT-2009-Harju #matrix #problem
Post Correspondence Problem and Small Dimensional Matrices (TH), pp. 39–46.
Embedding in Switching Classes with Skew Gains (AE, JH, TH, GR), pp. 257–270.
ICGT-2004-HarjuPR #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation (TH, IP, GR), pp. 434–436.
About Duval’s Conjecture (TH, DN), pp. 316–324.
DLT-2002-HarjuR #assembly #process
Computational Processes in Living Cells: Gene Assembly in Ciliates (TH, GR), pp. 1–20.
ICGT-2002-HageHW #graph
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes (JH, TH, EW), pp. 148–160.
ICGT-2002-HarjuPR #assembly #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
DLT-2001-HalavaH #morphism
An Undecidability Result Concerning Periodic Morphisms (VH, TH), pp. 304–310.
DLT-2001-Harju #integer #matrix
Decision Questions on Integer Matrices (TH), pp. 57–68.
ICALP-2001-HarjuIKS #morphism
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages (TH, OHI, JK, AS), pp. 579–590.
TAGT-1998-EhrenfeuchtHHR #complexity #graph
Complexity Issues in Switching of Graphs (AE, JH, TH, GR), pp. 59–70.
GG-Handbook-Vol1-EhrenfeuchtHR #composition #framework #graph #named
2-Structures — A Framework For Decomposition And Transformation Of Graphs (AE, TH, GR), pp. 401–478.
Theory of 2-Structures (AE, TH, GR), pp. 1–14.
ICALP-1995-HarjuKP #equation
Compactness of Systems of Equations in Semigroups (TH, JK, WP), pp. 444–454.
TAGT-1994-EhrenfeuchtHR #graph #graph transformation
Group Based Graph Transformations and Hierarchical Representations of Graphs (AE, TH, GR), pp. 502–520.
STOC-1990-HarjuK #automaton #decidability #equivalence #finite #multi
Decidability of the Multiplicity Equivalence of Multitape Finite Automata (TH, JK), pp. 477–481.
Dominoes and the Regularity of DNS Splicing Languages (KCI, TH), pp. 222–233.
STOC-1981-CulikH #decidability #equivalence #problem
The ω-Sequence Equivalence Problem for DOL Systems Is Decidable (KCI, TH), pp. 1–6.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.