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
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))
New proof for the undecidability of the circular PCP (2013)
Acta Informatica
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Square-free words obtained from prefixes by permutations (2012)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Kuratowski closure operations on languages (2012)
TUCS Lecture Notes
(Vertaisarvioimaton konferenssijulkaisu (B3))
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))