Tero
Harju
matematiikka
Professor emeritus
Linkit
Asiantuntijuusalueet
Matematiikan professori
Tutkimus
diskreetti matematiikka, sanojen kombinatoriikka, graafiteoria, automaattien teoria, ratkeavuus
Julkaisut
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))The Number of Positions Starting a Square in Binary Words (2011)
The Electronic Journal of Combinatorics
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
A new proof for the decidability of D0L ultimate periodicity (2011)
Electronic Proceedings in Theoretical Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Finite Orbits of Language Operations (2011)
Lecture Notes in Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On the number of frames in binary words (2011)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Directed Overlap-inclusion Graphs as Representations of Ciliate Genes (2011)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On the Periodicity of Morphic Words (2010)
Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Cyclically repetition-free words on small alphabets (2010)
Information Processing Letters
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))