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 (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))
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))
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))
Square-free words obtained from prefixes by permutations (2012)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))