Juhani Karhumäki
karhumak@utu.fi +358 40 589 6305 Vesilinnantie 5 Turku |
Julkaisut 
4/5
- 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ä ) - The commutation with ternary sets of words (2005)
- Theory of Computing Systems
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Many aspects of defect theorems (2004)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Two problems on commutation of languages (2004) Current trends in Theoretical Computer Science (The Challenge of the New Century) Karhumäki Juhani, Petre Ion
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa) - Decidability of the binary infinite post correspondence problem (2003)
- Discrete Applied Mathematics
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - 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
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Conway's Problem for three word sets (2002)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Some decision problems concerning semilinearity and commutation (2002)
- Journal of Computer and System Sciences
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - The branching point approach to Conway Problem (2002) Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg Karhumäki Juhani, Petre Ion
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa) - Conway problem and the commutation of languages (2001) Karhumäki Juhani, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Decision questions concerning semilinearity, morphisms, and commutation of languages (2001)
- Lecture Notes in Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Turun yliopiston Tutkimustietojärjestelmän portaali