Tero Harju
Professor emeritus
Department of Mathematics and Statistics harju@utu.fi +358 29 450 4305 +358 50 320 7954 Vesilinnantie 5 Turku ORCID-tunniste: https://orcid.org/0000-0002-9640-6309 |
Asiantuntijuusalueet
Matematiikan professori
Matematiikan professori
Tutkimusyhteisö tai tutkimusaihe
Discrete Mathematics: automata theory, combinatorics on words, graph theory
Discrete Mathematics: automata theory, combinatorics on words, graph theory
Tutkimus
diskreetti matematiikka, sanojen kombinatoriikka, graafiteoria, automaattien teoria, ratkeavuus
diskreetti matematiikka, sanojen kombinatoriikka, graafiteoria, automaattien teoria, ratkeavuus
Julkaisut 
2/4
- Similarity relations on words (2016) Combinatorics, Words and Symbolic Dynamics Vesa Halava, Tero Harju, Tomi Kärki
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa) - A note on short palindromes in square-free words (2015)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On generating binary words palindromically (2015)
- Journal of Combinatorial Theory, Series A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On the n-permutation Post Correspondence Problem (2015)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Square-free shuffles of words (2015)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2015)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Minimal Similarity Relations for Square-Free Words (2014) Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005) T. Harju, T. Kärki
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa) - Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata (2014)
- TUCS Publication Series
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä ) - Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (2014)
- TUCS Publication Series
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä ) - Word problem for deterministic and reversible semi-Thue systems (2014)
- Semigroup Forum
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - A note on square-free shuffles of words (2013)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Composition and orbits of language operations: finiteness and upper bounds (2013)
- International Journal of Computer Mathematics
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - New proof for the undecidability of the circular PCP (2013)
- Acta Informatica
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - On n-permutation Post Correspondence Problem (2013) Vesa Halava, Tero Harju, Mari Huova
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys ) - Computational gene assembly in ciliates (2012) Brijder Robert, Daley Mark, Harju Tero, Jonoska Natasha, Petre Ion, Rozenberg Grzegorz
(A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa) - Computational Nature of Gene Assembly in Ciliates (2012) Handbook of Natural Computing, volume 2 (Molecular Computation) Brijder Robert, Harju Tero, Jonoska Natasha, Petre Ion, Rozenberg Grzegorz
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa) - Kuratowski closure operations on languages (2012)
- TUCS Lecture Notes
(B3 Vertaisarvioimaton artikkeli konferenssijulkaisussa) - New Proof for the Undecidability of the Circular PCP (2012)
- TUCS Publication Series
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys ) - Pivots, determinants, and perfect matchings of graphs (2012)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Simple gene assembly as a rewriting of directed overlap-inclusion graphs (2012)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Turun yliopiston Tutkimustietojärjestelmän portaali