| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Juhani Karhumäki, Svetlana Puzynina |
Locally catenative sequences and Turtle graphics.  |
RAIRO - Theor. Inf. and Applic.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Aleksi Saarela |
The Unique Decipherability in the Monoid of Regular Languages is Undecidable. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut, Juhani Karhumäki |
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Turo Sallinen |
Weighted Finite Automata: Computing with Different Topologies. |
UC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mari Huova, Juhani Karhumäki, Aleksi Saarela, Kalle Saari |
Local Squares, Periodicity and Finite Automata. |
Rainbow of Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin |
On stateless multihead automata: Hierarchies and the emptiness problem. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Yury Lifshits, Wojciech Rytter |
Tiling Periodicity. |
Discrete Mathematics & Theoretical Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Aleksi Saarela |
Noneffective Regularity of Equality Languages and Bounded Delay Morphisms. |
Discrete Mathematics & Theoretical Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Michal Kunc, Alexander Okhotin |
Computational power of two stacks with restricted communication. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cassaigne, Juhani Karhumäki, Petri Salmela |
Conjugacy of finite biprefix codes. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
On the Power of Cooperating Morphisms via Reachability Problems. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut, Juhani Karhumäki |
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
Unique decipherability, finite automata, regular languages |
| 1 | Vesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki |
Post Correspondence Problem for short words. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Jarkko Kari, Joachim Kupke |
Binary operations on automatic functions. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Berstel, Tero Harju, Juhani Karhumäki |
Preface. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Bell, Vesa Halava, Tero Harju, Juhani Karhumäki, Igor Potapov |
Matrix Equations and Hilbert's Tenth Problem. |
IJAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Juhani Karhumäki |
Preface. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
Reachability via Cooperating Morphisms. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin |
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. |
LATIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Aleksi Saarela |
An Analysis and a Reproof of Hmelevskii's Theorem. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong (eds.) |
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy |
IFIP TCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková (eds.) |
SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings |
SOFSEM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková (eds.) |
SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Volume II - Student Research Forum |
SOFSEM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Juhani Karhumäki, Michel Latteux |
Extension of the decidability of the marked PCP to instances with unique blocks. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Czeizler, Stepan Holub, Juhani Karhumäki, Markku Laine |
Intricacies of Simple Word Equations: an Example. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Czeizler, Juhani Karhumäki |
On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Juhani Karhumäki |
The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.) |
Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings |
Developments in Language Theory |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Yury Lifshits, Wojciech Rytter |
Tiling Periodicity. |
CPM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Zoltán Ésik, Juhani Karhumäki |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Michal Kunc, Alexander Okhotin |
Computing by commuting. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Juhani Karhumäki |
Undecidability in omega-Regular Languages. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Michal Kunc, Alexander Okhotin |
Communication of Two Stacks and Rewriting. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki (eds.) |
Finite-State Methods and Natural Language Processing, 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers |
FSMNLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Josep Díaz, Juhani Karhumäki |
Preface. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Juhani Karhumäki, Antonio Restivo |
Preface. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
On the complexity of decidable cases of the commutation problem of languages. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Michel Latteux, Ion Petre |
Commutation with codes. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Grzegorz Rozenberg |
Preface: Insightful Theory. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut, Juhani Karhumäki |
Some decision problems on integer matrices. |
ITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Michel Latteux, Ion Petre |
Commutation with Ternary Sets of Words. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Jeffrey Shallit |
Polynomial versus exponential growth in repetition-free binary words. |
J. Comb. Theory, Ser. A |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Juhani Karhumäki |
Many aspects of defect theorems. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.) |
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings |
ICALP |
2004 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki |
Finite Sets of Words and Computing. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg (eds.) |
Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday |
Theory Is Forever |
2004 |
DBLP BibTeX RDF |
|
| 1 | Karel Culik II, Juhani Karhumäki, Petri Salmela |
Fixed Point Approach to Commutation of Languages. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Ján Manuch, Wojciech Plandowski |
A defect theorem for bi-infinite words. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Leonid P. Lisovik |
The Equivalence Problem of Finite Substitutions on ab*c, with Applications. |
Int. J. Found. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Leonid P. Lisovik |
A simple undecidable problem: the inclusion problem for finite substitutions on ab*c. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Jeffrey Shallit |
Polynomial versus Exponential Growth in Repetition-Free Binary Words |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jean Berstel, Juhani Karhumäki |
Combinatorics on words: a tutorial. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
The complexity of compressing subsegments of images described by finite automata. |
Discrete Applied Mathematics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Juhani Karhumäki |
Decidability of the binary infinite Post Correspondence Problem. |
Discrete Applied Mathematics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Michel Latteux, Ion Petre |
The Commutation with Codes and Ternary Sets of Words. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
Automata on Words. |
CIAA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Arto Lepistö, Wojciech Plandowski |
Locally Periodic Versus Globally Periodic Infinite Words. |
J. Comb. Theory, Ser. A |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Ion Petre |
Conway's problem for three-word sets. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut, Juhani Karhumäki, Nicolas Ollinger |
The commutation of finite sets: a challenging problem. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Ján Manuch |
Multiple factorizations of words and defect effect. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Karel Culik II, Juhani Karhumäki, Jarkko Kari |
A Note on Synchronized Automata and Road Coloring Problem. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juraj Hromkovic, Sebastian Seibert, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger |
Communication Complexity Method for Measuring Nondeterminism in Finite Automata. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa |
Some Decision Problems Concerning Semilinearity and Commutation. |
J. Comput. Syst. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Leonid P. Lisovik |
The Equivalence Problem of Finite Substitutions on ab*c, with Applications. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Hirvensalo, Juhani Karhumäki |
Computing Partial Information out of Intractable One - The First Digit of 2 n at Base 3 as an Example. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
Applications of Finite Automata. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Ion Petre |
The Branching Point Approach to Conway's Problem. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa (eds.) |
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] |
Formal and Natural Computing |
2002 |
DBLP BibTeX RDF |
|
| 1 | Julien Cassaigne, Juhani Karhumäki, Ján Manuch |
On Conjugacy of Languages. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Ion Petre |
Conway's Problem and the Communication of Languages. |
Bulletin of the EATCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa |
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
Reversal-bounded counters, commutation of languages, context-free languages, combinatorics on words, morphisms |
| 1 | Juhani Karhumäki, Leonid P. Lisovik |
A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
Combinatorial and Computational Problems on Finite Sets of Words. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
Challenges of Commutation. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
On the Complexity of Decidable Cases of Commutation Problem for Languages. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Karel Culik II, Juhani Karhumäki, Jarkko Kari |
A Note on Synchronized Automata and Road Coloring Problem. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut, Juhani Karhumäki |
On Fatou properties of rational languages. |
Where Mathematics, Computer Science, Linguistics and Biology Meet |
2001 |
DBLP BibTeX RDF |
|
| 1 | Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert |
Measures of Nondeterminism in Finite Automata |
Electronic Colloquium on Computational Complexity (ECCC) |
2000 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Filippo Mignosi, Wojciech Plandowski |
The expressibility of languages and relations by word equations. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
word equations |
| 1 | Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
Pattern-Matching Problems for Two-Dimensional Images Described by Finite Automata. |
Nord. J. Comput. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert |
Measures of Nondeterminism in Finite Automata. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
limited ambiguity, communication complexity, finite automata, nondeterminism, descriptional complexity |
| 1 | Juhani Karhumäki, Ion Petre |
On the Centralizer of a Finite Set. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
Generalized Factorizations of Words and Their Algorithmic Properties. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki |
A Short Biography of Arto Salomaa. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Sabrina Mantaci |
Defect Theorems for Trees. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Sabrina Mantaci |
Defect theorems for trees. |
Developments in Language Theory |
1999 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski |
On the complexity of computing the order of repetition of a string. |
Developments in Language Theory |
1999 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
The Compression of Subsegments of Images Described by Finite Automata. |
CPM |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Leonid P. Lisovik |
On the Equivalence of Finite Substitutions and Transducers. |
Jewels are Forever |
1999 |
DBLP BibTeX RDF |
|
| 1 | Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg (eds.) |
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa |
Jewels are Forever |
1999 |
DBLP BibTeX RDF |
|
| 1 | Julien Cassaigne, Juhani Karhumäki |
Examples of Undecidable Problems for 2-Generator Matrix Semigroups. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Arto Lepistö, Wojciech Plandowski |
Locally Periodic Infinite Words and a Chaotic Behaviour. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Ján Manuch, Wojciech Plandowski |
On Defect Effect of Bi-Infinite Words. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut, Tero Harju, Juhani Karhumäki |
A Note on Decidability Questions on Presentations of Word Semigroups. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cassaigne, Juhani Karhumäki |
Toeplitz Words, Generalized Periodicity and Periodically Iterated Morphisms. |
Eur. J. Comb. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski, Filippo Mignosi |
The Expressibility of Languages and Relations by Word Equations. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter |
Pattern-Matching Problems for 2-Dimensional Images Described by Finite Automata. |
FCT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Wojciech Plandowski, Filippo Mignosi |
A lower bound for a constant in Shallit's conjecture. |
Developments in Language Theory |
1997 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Juhani Karhumäki, Mario Petrich |
Compactness of Systems of Equations on Completely Regular Semigroups. |
Structures in Logic and Computer Science |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")