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

Tutkimusyhteisö tai tutkimusaihe
Discrete Mathematics: automata theory, combinatorics on words, graph theory

Biografia

users.utu.fi/harju



Tutkimus
diskreetti matematiikka, sanojen kombinatoriikka, graafiteoria, automaattien teoria, ratkeavuus

Julkaisut
  
null
  
null
  
1/10
  
null
  
null
  
  • A simple undecidable problem for free groups  (2024)  
    • Theoretical Computer Science
     Harju Tero
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • Decision Problems on Copying and Shuffling  (2024)  
    • Fundamenta Informaticae
     Halava, Vesa; Harju, Tero; Nowotka, Dirk; Sahla, Esa
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • A Note on Squares in Binary Words  (2023)  
    • International Journal of Foundations of Computer Science
     Harju Tero
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • Integer Weighted Automata on Infinite Words  (2023)  
    • International Journal of Foundations of Computer Science
     Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • On bi-infinite and conjugate post correspondence problems  (2023)  
    • RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
     Finkel Olivier, Halava Vesa, Harju Tero, Sahla Esa
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • Avoiding square-free words on free groups  (2022)  
    • Theoretical Computer Science
     Badkobeh Golnaz, Harju Tero, Ochem Pascal, Rosenfeld Matthieu
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • Critical factorisation in square-free words  (2022)  
    • RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
     Harju Tero
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • Disposability in square-free words  (2021)  
    • Theoretical Computer Science
     Tero Harju
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • Finite transducers and rational transductions  (2021)  Handbook of Automata Theory: Volume I. Theoretical Foundations Harju Tero, Karhumäki Juhani
    (    A3 Vertaisarvioitu kirjan tai muun kokoomateoksen osa)


  • Integer Weighted Automata on Infinite Words  (2021)  
    • Lecture Notes in Computer Science
    Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings Halava Vesa, Harju Tero, Niskanen Reino, Potapov Igor
    (    A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)


  •   (2020)  
    • Fundamenta Informaticae
     Halava Vesa, Harju Tero, Sahla Esa
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem  (2020)  
    • Acta Cybernetica
     Halava Vesa, Harju Tero
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  •   (2019)  
    • Theoretical Computer ScienceTheoretical Computer Science
     Harju T.
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  •   (2019)  
    • Theoretical Computer ScienceInformation and Computation
     Currie J., Harju T., Ochem P., Rampersad N.
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  •   (2018)  
    • Theoretical Computer ScienceEuropean Journal of Combinatorics
     Vesa Halava, Tero Harju, Esa Sahla
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  •   (2017)  
    • Fundamenta InformaticaeMonatshefte für Mathematik
     Halava V., Harju T., Sahla E.
    (    A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


  • Walks on tilings of polygons  (2017)  
       Halava V, Harju T
      (      A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


    • Weighted automata on infinite words in the context of Attacker-Defender games  (2017)  
         Halava V, Harju T, Niskanen R, Potapov I
        (        A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


      • Abelian bordered factors and periodicity  (2016)  
           Charlier E, Harju T, Puzynina S, Zamboni LQ
          (          A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )


        • On a question of Hof, Knill and Simon on palindromic substitutive systems  (2016)  
             Harju T, Vesti J, Zamboni LQ
            (            A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )



          Last updated on