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))
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))
On the number of frames in binary words (2011)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Finite Orbits of Language Operations (2011)
Lecture Notes in 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))
A new proof for the decidability of D0L ultimate periodicity (2011)
Electronic Proceedings in Theoretical Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Weinbaum factorizations of primitive words (2010)
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))ON THE NUMBER OF SQUARES IN PARTIAL WORDS (2010)
RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(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))