Juhani Karhumäki

- Professor,
Mathematics (Department of Mathematics and Statistics)

karhumak@utu.fi

+358 40 589 6305

Vesilinnantie 5

Turku

4 of 5

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
The commutation with ternary sets of words (2005)
- Theory of Computing Systems
Karhumäki Juhani, Latteux Michel, Petre Ion
Many aspects of defect theorems (2004)
- Theoretical Computer Science
Harju T, Karhumaki J
Two problems on commutation of languages (2004) Current trends in Theoretical Computer Science (The Challenge of the New Century) Karhumäki Juhani, Petre Ion
Decidability of the binary infinite post correspondence problem (2003)
- Discrete Applied Mathematics
Halava V, Harju T, Karhumaki J
The commutation with codes and ternary sets of words (2003) Proceedings of 21st International Symposium on Theoretical Aspects of Computer Science STACS 2003 Karhumäki Juhani, Latteux Michel, Petre Ion
Conway's Problem for three word sets (2002)
- Theoretical Computer Science
Karhumäki Juhani, Petre Ion
Some decision problems concerning semilinearity and commutation (2002)
- Journal of Computer and System Sciences
Harju T, Ibarra O, Karhumaki J, Salomaa A
The branching point approach to Conway Problem (2002) Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg Karhumäki Juhani, Petre Ion
Conway problem and the commutation of languages (2001) Karhumäki Juhani, Petre Ion
Decision questions concerning semilinearity, morphisms, and commutation of languages (2001)
- Lecture Notes in Computer Science
Harju T, Ibarra O, Karhumaki J, Salomaa A