Juhani Karhumäki

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 ScienceTheoretical Computer Science
Developments in Language Theory Juhani Karhumäki, Aleksi Saarela
(2008)
- International Journal of Algebra and ComputationTheory of Computing Systems
Bell P, Halava V, Harju T, Karhumaki J, Potapov I
Post Correspondence Problem for short wordsSpecial issue - Developments in language theory (DLT 2007) - Preface (2008)
- Information Processing Letters
Halava V, Harju T, Hirvensalo M, Karhumaki J
Extension of the decidability of the marked PCP to instances with unique blocks (2008)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and ApplicationsDiscrete Applied MathematicsTheoretical Computer Science
Berstel J, Harju T, Karhumaki J
(2008)
- International Journal of Foundations of Computer Science
Harju T, Karhumaki J
Undecidability in omega-regular languages (2007)
- Theoretical Computer Science
Halava V, Harju T, Karhumaki J, Latteux M
Combinatorics on words - Preface (2007)
- Theory of Computing Systems
Halava V, Harju T, Karhumaki J
(2006)
- Fundamenta Informaticae
Halava V, Harju T, Karhumaki J
(2005)
- Theoretical Computer Science
Harju T, Karhumaki J, Restivo A
Commutation with codes (2005)
Karhumäki Juhani, Latteux Michel, Petre Ion
The commutation with ternary sets of wordsTwo problems on commutation of languages (2005)
Karhumäki Juhani, Latteux Michel, Petre Ion
Many aspects of defect theorems (2004)
- Theoretical Computer Science
Harju T, Karhumaki J
The commutation with codes and ternary sets of words (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)
Halava V, Harju T, Karhumaki J
(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)
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