Juhani Karhumäki

karhumak@utu.fi

+358 40 589 6305

Vesilinnantie 5

Turku

7 of 9

An Analysis and a Reproof of Hmelevskii's Theorem (Extended Abstract) (2008)
- Lecture Notes in Computer Science
Developments in Language Theory Juhani Karhumäki, Aleksi Saarela
MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM (2008)
- International Journal of Algebra and Computation
Bell P, Halava V, Harju T, Karhumaki J, Potapov I
Post Correspondence Problem for short words (2008)
- Information Processing Letters
Halava V, Harju T, Hirvensalo M, Karhumaki J
RAIRO - Theoretical Informatics and Application Preface (2008)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
Berstel J, Harju T, Karhumaki J
Special issue - Developments in language theory (DLT 2007) - Preface (2008)
- International Journal of Foundations of Computer Science
Harju T, Karhumaki J
Extension of the decidability of the marked PCP to instances with unique blocks (2007)
- Theoretical Computer Science
Halava V, Harju T, Karhumaki J, Latteux M
The structure of infinite solutions of marked and binary post correspondence problems (2007)
- Theory of Computing Systems
Halava V, Harju T, Karhumaki J
Undecidability in omega-regular languages (2006)
- Fundamenta Informaticae
Halava V, Harju T, Karhumaki J
Combinatorics on words - Preface (2005)
- Theoretical Computer Science
Harju T, Karhumaki J, Restivo A
Commutation with codes (2005)
- Theoretical Computer Science
Karhumäki Juhani, Latteux Michel, Petre Ion