Juhani Karhumäki

From MaRDI portal
Person:223814

Available identifiers

zbMath Open karhumaki.juhaniWikidataQ11867474 ScholiaQ11867474MaRDI QIDQ223814

List of research outcomes

PublicationDate of PublicationType
Comparing descriptional and computational complexity of infinite words2024-01-29Paper
Toeplitz words, generalized periodicity and periodically iterated morphisms2023-12-12Paper
Systems of equations over a finite set of words and automata theory2023-08-14Paper
Regularity of k-Abelian Equivalence Classes of Fixed Cardinality2023-06-30Paper
Pattern-matching problems for 2-dimensional images described by finite automata2022-12-09Paper
Iterative devices generating infinite words2022-08-18Paper
On computational power of weighted finite automata2022-08-18Paper
On the size of independent systems of equations in semigroups2022-08-18Paper
On the equivalence problem for deterministic multitape automata and transducers2022-08-16Paper
Finite transducers and rational transductions2022-02-04Paper
Finite automata, image manipulation, and automatic real functions2021-11-12Paper
Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata2021-05-20Paper
On Abelian Closures of Infinite Non-binary Words2020-12-29Paper
A compactness property of the \(k\)-abelian monoids2020-08-17Paper
On abelian saturated infinite words2019-10-07Paper
Compactness of systems of equations in semigroups2019-01-10Paper
On abelian subshifts2018-11-22Paper
Degrees of Infinite Words, Polynomials and Atoms2018-09-20Paper
The expressibility of languages and relations by word equations2018-07-04Paper
On \(k\)-abelian palindromes2018-05-30Paper
k-Abelian Equivalence and Rationality2018-01-19Paper
Remarks on generalized Post Correspondence Problem2017-11-16Paper
On growth and fluctuation of \(k\)-abelian complexity2017-08-31Paper
Variations of the Morse-Hedlund Theorem for k-Abelian Equivalence2017-08-25Paper
On cardinalities of \(k\)-abelian equivalence classes2016-12-19Paper
k-Abelian Equivalence and Rationality2016-08-30Paper
Degrees of Infinite Words, Polynomials and Atoms2016-08-30Paper
On Growth and Fluctuation of k-Abelian Complexity2015-10-20Paper
On the Determinization Blowup for Finite Automata Recognizing Equal-Length Languages2015-09-08Paper
Reachability via Cooperating Morphisms2015-03-23Paper
On k-Abelian Palindromic Rich and Poor Words2014-10-14Paper
Variations of the Morse-Hedlund Theorem for k-Abelian Equivalence2014-10-14Paper
On maximal chains of systems of word equations2014-08-04Paper
FINE AND WILF'S THEOREM FOR k-ABELIAN PERIODS2014-08-04Paper
https://portal.mardi4nfdi.de/entity/Q54145452014-05-06Paper
https://portal.mardi4nfdi.de/entity/Q54042892014-03-24Paper
On a generalization of abelian equivalence and complexity of infinite words2014-01-06Paper
On \(k\)-abelian avoidability2013-11-04Paper
Fine and Wilf’s Theorem for k-Abelian Periods2012-11-02Paper
Equations in the Partial Semigroup of Words with Overlapping Products2012-11-01Paper
Problems in between words and abelian words: \(k\)-abelian avoidability2012-10-11Paper
On abelian versions of critical factorization theorem2012-08-31Paper
Preface2012-05-30Paper
https://portal.mardi4nfdi.de/entity/Q31009202011-11-22Paper
The Unique Decipherability in the Monoid of Regular Languages is Undecidable2011-11-22Paper
Locally catenative sequences and Turtle graphics2011-10-28Paper
Unique decipherability in the monoid of languages: an application of rational relations2011-10-11Paper
Weighted Finite Automata: Computing with Different Topologies2011-06-17Paper
Local Squares, Periodicity and Finite Automata2011-05-27Paper
Observations and Problems on k-abelian avoidability2011-04-21Paper
Computational power of two stacks with restricted communication2010-10-07Paper
https://portal.mardi4nfdi.de/entity/Q35754852010-07-27Paper
Post correspondence problem for short words2010-06-09Paper
Automata on Words2010-05-07Paper
On stateless multihead automata: hierarchies and the emptiness problem2010-02-05Paper
INTRICACIES OF SIMPLE WORD EQUATIONS: AN EXAMPLE2010-01-29Paper
Computing partial information out of intractable: powers of algebraic numbers as an example2010-01-08Paper
ON THE POWER OF COOPERATING MORPHISMS VIA REACHABILITY PROBLEMS2009-11-19Paper
https://portal.mardi4nfdi.de/entity/Q33959632009-09-15Paper
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations2009-08-18Paper
Conjugacy of finite biprefix codes2009-06-04Paper
Aspects of Molecular Computing2009-05-14Paper
MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM2009-02-10Paper
An Analysis and a Reproof of Hmelevskii’s Theorem2008-10-30Paper
Binary operations on automatic functions2008-07-29Paper
Tiling Periodicity2008-06-17Paper
ON NON-PERIODIC SOLUTIONS OF INDEPENDENT SYSTEMS OF WORD EQUATIONS OVER THREE UNKNOWNS2008-05-20Paper
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem2008-04-15Paper
Communication of Two Stacks and Rewriting2007-09-11Paper
Extension of the decidability of the marked PCP to instances with unique blocks2007-07-16Paper
The structure of infinite solutions of marked and binary Post correspondence problems2007-02-14Paper
https://portal.mardi4nfdi.de/entity/Q34099822006-11-21Paper
Computing by commuting.2006-05-18Paper
Machines, Computations, and Universality2005-12-08Paper
The Equivalence Problem of Finite Substitutions on ab*c, with Applications2005-10-19Paper
Commutation with codes2005-08-01Paper
https://portal.mardi4nfdi.de/entity/Q30248082005-07-04Paper
On the complexity of decidable cases of the commutation problem of languages2005-06-30Paper
A NOTE ON SYNCHRONIZED AUTOMATA AND ROAD COLORING PROBLEM2005-06-22Paper
Some decision problems on integer matrices2005-06-07Paper
Commutation with ternary sets of words2005-04-19Paper
https://portal.mardi4nfdi.de/entity/Q46657422005-04-11Paper
https://portal.mardi4nfdi.de/entity/Q46657432005-04-11Paper
https://portal.mardi4nfdi.de/entity/Q46620282005-03-30Paper
https://portal.mardi4nfdi.de/entity/Q46628402005-03-30Paper
A simple undecidable problem: the inclusion problem for finite substitutions on \(ab^* c\)2004-11-23Paper
Many aspects of defect theorems2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q47372102004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47379052004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47382892004-08-11Paper
Polynomial versus exponential growth in repetition-free binary words2004-08-06Paper
Decidability of the binary infinite Post Correspondence Problem2003-09-22Paper
https://portal.mardi4nfdi.de/entity/Q44186382003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q27089612003-07-09Paper
https://portal.mardi4nfdi.de/entity/Q27089622003-06-26Paper
The expressibility of languages and relations by word equations2003-06-25Paper
https://portal.mardi4nfdi.de/entity/Q47085572003-06-18Paper
https://portal.mardi4nfdi.de/entity/Q47085802003-06-18Paper
Some decision problems concerning semilinearity and commutation.2003-05-14Paper
https://portal.mardi4nfdi.de/entity/Q47821102003-05-12Paper
Locally periodic versus globally periodic infinite words2003-03-26Paper
The complexity of compressing subsegments of images described by finite automata2003-03-09Paper
https://portal.mardi4nfdi.de/entity/Q27436892003-02-04Paper
A defect theorem for bi-infinite words.2003-01-22Paper
Conway's problem for three-word sets.2003-01-21Paper
Communication complexity method for measuring nondeterminism in finite automata2003-01-14Paper
A short biography of Arto Salomaa2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q47826932002-12-02Paper
https://portal.mardi4nfdi.de/entity/Q47827092002-12-02Paper
On Conjugacy of Languages2002-09-18Paper
The commutation of finite sets: A challenging problem2002-07-15Paper
Multiple factorizations of words and defect effect2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q45350492002-06-12Paper
https://portal.mardi4nfdi.de/entity/Q45299912002-05-07Paper
On the expressibility of languages by word equations with a bounded number of variables2002-01-14Paper
https://portal.mardi4nfdi.de/entity/Q27625202002-01-09Paper
https://portal.mardi4nfdi.de/entity/Q27541742001-12-06Paper
https://portal.mardi4nfdi.de/entity/Q27541442001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27425792001-09-23Paper
https://portal.mardi4nfdi.de/entity/Q45008422001-04-19Paper
ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS2000-11-07Paper
https://portal.mardi4nfdi.de/entity/Q45107942000-10-30Paper
A short biography of Arto Salomaa2000-08-23Paper
https://portal.mardi4nfdi.de/entity/Q49411412000-04-03Paper
https://portal.mardi4nfdi.de/entity/Q49411512000-02-29Paper
https://portal.mardi4nfdi.de/entity/Q42656171999-11-23Paper
https://portal.mardi4nfdi.de/entity/Q42656291999-09-22Paper
Generalized factorizations of words and their algorithmic properties1999-06-21Paper
https://portal.mardi4nfdi.de/entity/Q42181451999-06-21Paper
Examples of undecidable problems for 2-generator matrix semigroups1999-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42190371998-11-15Paper
https://portal.mardi4nfdi.de/entity/Q43627351998-11-03Paper
ITERATIVE DEVICES GENERATING INFINITE WORDS1998-11-02Paper
A note on decidability questions on presentations of word semigroups1998-07-22Paper
Compactness of Systems of Equations in Semigroups1998-02-25Paper
https://portal.mardi4nfdi.de/entity/Q43479661997-11-24Paper
On continuous functions computed by finite automata1997-10-30Paper
Toeplitz words, generalized periodicity and periodically iterated morphisms1997-08-07Paper
On the size of independent systems of equations in semigroups1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q48746571996-08-22Paper
Polynomial size test sets for context-free languages1996-03-18Paper
Finite Automata Computing Real Functions1994-10-17Paper
Efficient constructions of test sets for regular and context-free languages1993-10-25Paper
Equations over finite sets of words and equivalence problems in automata theory1993-10-17Paper
https://portal.mardi4nfdi.de/entity/Q40352471993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40367601993-05-18Paper
Multiplicities: A deterministic view of nondeterminism1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q39751411992-06-26Paper
The equivalence problem of multitape finite automata1991-01-01Paper
On the power of synchronization in parallel computations1991-01-01Paper
Loops in automata and HDTOL relations1990-01-01Paper
HDTOL matching of computations of multitape automata1989-01-01Paper
On totalistic systolic networks1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37937511988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38176181988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37699821987-01-01Paper
The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37733691987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37774871987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37828121987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37828191987-01-01Paper
On morphic generation of regular languages1986-01-01Paper
A note on the equivalence problem of rational formal power series1986-01-01Paper
On the defect theorem and simplifiability1986-01-01Paper
The equivalence of finite valued transducers (on HDT0L languages) is decidable1986-01-01Paper
A simple undecidable problem: Existential agreement of inverses of two morphisms on a regular language1986-01-01Paper
Synchronizable deterministic pushdown automata and the decidability of their equivalence1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37117701986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47282631986-01-01Paper
On three-element codes1985-01-01Paper
Test sets for morphisms with bounded delay1985-01-01Paper
A property of three-element codes1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37369161985-01-01Paper
A note on intersections of free submonoids of a free monoid1984-01-01Paper
The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids1984-01-01Paper
Inverse morphic equivalence on languages1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32176281984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32191101984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33401781984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33434631984-01-01Paper
Systems of equations over a free monoid and Ehrenfeucht's conjecture1983-01-01Paper
On binary equality sets and a solution to the test set conjecture in the binary case1983-01-01Paper
A note on morphic characterization of languages1983-01-01Paper
On cube-free \(\omega\)-words generated by binary morphisms1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30414251983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33340931983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33419321983-01-01Paper
The (generalized) Post correspondence problem with lists consisting of two words is decidable1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33250601982-01-01Paper
Test sets for context free languages and algebraic systems of equations over a free monoid1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39456041982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39456051982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39120491981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39120501981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39337761981-01-01Paper
On the equivalence problem for binary DOL systems1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39017011980-01-01Paper
Generalized Parikh mappings and homomorphisms1980-01-01Paper
On commutative DTOL systems1979-01-01Paper
Interactive L systems with almost interactionless behaviour1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39064441979-01-01Paper
Remarks on commutative N-rational series1978-01-01Paper
A note on DOL length sets1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41316891977-01-01Paper
Two theorems concerning recognizable \(N\)-subsets of \(\sigma^*\)1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41280311976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40546791974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40552221974-01-01Paper
An example of a PD2L-system with the growth type 2\({1 \over 2}\)1973-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Juhani Karhumäki