Juhani Karhumäki

From MaRDI portal
Revision as of 11:00, 9 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Juhani Karhumäki to Juhani Karhumäki: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:223814

Available identifiers

zbMath Open karhumaki.juhaniDBLPk/JuhaniKarhumakiWikidataQ11867474 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

This page was built for person: Juhani Karhumäki