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