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
On n-permutation Post Correspondence Problem (2013)
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))New proof for the undecidability of the circular PCP (2013)
Acta Informatica
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Square-free words generated by applying permutations to a prefix (2012)
TUCS Lecture Notes
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
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))
Pivots, determinants, and perfect matchings of graphs (2012)
Theoretical Computer Science
(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))
Simple gene assembly as a rewriting of directed overlap-inclusion graphs (2012)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
New Proof for the Undecidability of the Circular PCP (2012)
TUCS Publication Series
(Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys (D4))