Concepedia

Juhani Karhumäki

JK

54

Publications

1.9K

Citations

27

H-Index

1980

Active since

Affiliations

University of Turku(Current)

Turku Centre for Computer Science

University of Waterloo

Leiden University

Institut de Mathématiques de Marseille

Juhani Karhumäki is an author at University of Turku specializing in engineering, linguistics, and computer science.

Top concepts

EngineeringLinguisticsFormal MethodsComputer ScienceDiscrete MathematicsLanguageAutomated ReasoningComputational ComplexityComputational LinguisticsFormal Verification

Publications per year

1980–2015

54

Publications

54

The equivalence problem of multitape finite automata

Tero Harju, Juhani Karhumäki · Theoretical Computer Science · 1991 · 124 citations

Multitape Finite Automata, Engineering, Logical Automaton +5

The (generalized) post correspondence problem with lists consisting of two words is decidable

Andrzej Ehrenfeucht, Juhani Karhumäki, Grzegorz Rozenberg · Theoretical Computer Science · 1982 · 83 citations

Combinatorics On Word, Engineering, Automated Reasoning +10

Communication Complexity Method for Measuring Nondeterminism in Finite Automata

Juraj Hromkovič, Sebastian Seibert, Juhani Karhumäki et al. · Information and Computation · 2002 · 80 citations

Engineering, Communication Complexity Method, Formal Methods +6

On cube-free ω-words generated by binary morphisms

Juhani Karhumäki · Discrete Applied Mathematics · 1983 · 79 citations

Combinatorics On Word, Linguistics, Universal Algebra +3

Finite Automata Computing Real Functions

Karel Čulík, Juhani Karhumäki · SIAM Journal on Computing · 1994 · 77 citations

New Application, Logical Automaton, Engineering +11

Rows per page

1–5 of 54