Tero
Harju
Mathematics
Professor emeritus
Discrete Mathematics: automata theory, combinatorics on words, graph theory
Links
Areas of expertise
Professor in mathematics
Biography
users.utu.fi/harju
Research
discrete mathematics, combinatorics on words, graph theory, automata theory,
decidability
Publications
New proof for the undecidability of the circular PCP (2013)
Acta Informatica
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
A note on square-free shuffles of words (2013)
Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
On n-permutation Post Correspondence Problem (2013)
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))Composition and orbits of language operations: finiteness and upper bounds (2013)
International Journal of Computer Mathematics
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Word Problem for deterministic and reversible semi-Thue systems (2012)
TUCS Publication Series
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))
New Proof for the Undecidability of the Circular PCP (2012)
TUCS Publication Series
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))
Simple gene assembly as a rewriting of directed overlap-inclusion graphs (2012)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Computational gene assembly in ciliates (2012)
(Vertaisarvioitu artikkeli kokoomateoksessa (A3))Computational Nature of Gene Assembly in Ciliates (2012)
(Kirjan tai muun kokoomateoksen osa (B2))Square-free words generated by applying permutations to a prefix (2012)
TUCS Lecture Notes
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))