Juhani Karhumäki
karhumak@utu.fi +358 40 589 6305 Vesilinnantie 5 Turku |
Julkaisut 
7/9
- An Analysis and a Reproof of Hmelevskii's Theorem (Extended Abstract) (2008)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM (2008)
- International Journal of Algebra and Computation
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Post Correspondence Problem for short words (2008)
- Information Processing Letters
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - RAIRO - Theoretical Informatics and Application Preface (2008)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Special issue - Developments in language theory (DLT 2007) - Preface (2008)
- International Journal of Foundations of Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Extension of the decidability of the marked PCP to instances with unique blocks (2007)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - The structure of infinite solutions of marked and binary post correspondence problems (2007)
- Theory of Computing Systems
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Undecidability in omega-regular languages (2006)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Combinatorics on words - Preface (2005)
- Theoretical Computer Science
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä ) - Commutation with codes (2005)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Turun yliopiston Tutkimustietojärjestelmän portaali