dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Juhani Karhumäki Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMari Huova, Juhani Karhumäki, Aleksi Saarela, Kalle Saari: Local Squares, Periodicity and Finite Automata. Rainbow of Computer Science 2011: 90-101
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Turo Sallinen: Weighted Finite Automata: Computing with Different Topologies. UC 2011: 14-33
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Preface. Fundam. Inform. 110(1-4): (2011)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Aleksi Saarela: The Unique Decipherability in the Monoid of Regular Languages is Undecidable. Fundam. Inform. 110(1-4): 197-200 (2011)
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Svetlana Puzynina: Locally catenative sequences and Turtle graphics. RAIRO - Theor. Inf. and Applic. 45(3): 311-330 (2011)
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Choffrut, Juhani Karhumäki: Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. Theory Comput. Syst. 49(2): 355-364 (2011)
2010
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Yury Lifshits, Wojciech Rytter: Tiling Periodicity. Discrete Mathematics & Theoretical Computer Science 12(2): 237-248 (2010)
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Aleksi Saarela: Noneffective Regularity of Equality Languages and Bounded Delay Morphisms. Discrete Mathematics & Theoretical Computer Science 12(4): 9-18 (2010)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Michal Kunc, Alexander Okhotin: Computational power of two stacks with restricted communication. Inf. Comput. 208(9): 1060-1089 (2010)
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin: On stateless multihead automata: Hierarchies and the emptiness problem. Theor. Comput. Sci. 411(3): 581-593 (2010)
2009
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Choffrut, Juhani Karhumäki: Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. CSR 2009: 71-79
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: On the Power of Cooperating Morphisms via Reachability Problems. Int. J. Found. Comput. Sci. 20(5): 803-818 (2009)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Cassaigne, Juhani Karhumäki, Petri Salmela: Conjugacy of finite biprefix codes. Theor. Comput. Sci. 410(24-25): 2345-2351 (2009)
2008
155no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková: 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 Safarik University, Kosice, Slovakia 2008
154no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong: 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 Springer 2008
153no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková: 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 Springer 2008
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Aleksi Saarela: An Analysis and a Reproof of Hmelevskii's Theorem. Developments in Language Theory 2008: 467-478
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar H. Ibarra, Juhani Karhumäki, Alexander Okhotin: On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. LATIN 2008: 94-105
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Reachability via Cooperating Morphisms. Electr. Notes Theor. Comput. Sci. 223: 15-27 (2008)
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Bell, Vesa Halava, Tero Harju, Juhani Karhumäki, Igor Potapov: Matrix Equations and Hilbert's Tenth Problem. IJAC 18(8): 1231-1241 (2008)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Jarkko Kari, Joachim Kupke: Binary operations on automatic functions. ITA 42(2): 217-236 (2008)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Berstel, Tero Harju, Juhani Karhumäki: Preface. ITA 42(4): 657 (2008)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki: Post Correspondence Problem for short words. Inf. Process. Lett. 108(3): 115-118 (2008)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki: Preface. Int. J. Found. Comput. Sci. 19(3): 495-496 (2008)
2007
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki, Arto Lepistö: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings Springer 2007
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Yury Lifshits, Wojciech Rytter: Tiling Periodicity. CPM 2007: 295-306
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElena Czeizler, Juhani Karhumäki: On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns. Int. J. Found. Comput. Sci. 18(4): 873-897 (2007)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElena Czeizler, Stepan Holub, Juhani Karhumäki, Markku Laine: Intricacies of Simple Word Equations: an Example. Int. J. Found. Comput. Sci. 18(6): 1167-1175 (2007)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVesa Halava, Tero Harju, Juhani Karhumäki, Michel Latteux: Extension of the decidability of the marked PCP to instances with unique blocks. Theor. Comput. Sci. 380(3): 355-362 (2007)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVesa Halava, Tero Harju, Juhani Karhumäki: The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems. Theory Comput. Syst. 40(1): 43-54 (2007)
2006
138no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki: Finite-State Methods and Natural Language Processing, 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers Springer 2006
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Michal Kunc, Alexander Okhotin: Communication of Two Stacks and Rewriting. ICALP (2) 2006: 468-479
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVesa Halava, Tero Harju, Juhani Karhumäki: Undecidability in omega-Regular Languages. Fundam. Inform. 73(1-2): 119-125 (2006)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Zoltán Ésik, Juhani Karhumäki: Preface. Theor. Comput. Sci. 356(1-2): 1-5 (2006)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Michal Kunc, Alexander Okhotin: Computing by commuting. Theor. Comput. Sci. 356(1-2): 200-211 (2006)
2005
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Choffrut, Juhani Karhumäki: Some decision problems on integer matrices. ITA 39(1): 125-131 (2005)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Grzegorz Rozenberg: Preface: Insightful Theory. Theor. Comput. Sci. 330(1): 1 (2005)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: On the complexity of decidable cases of the commutation problem of languages. Theor. Comput. Sci. 337(1-3): 105-118 (2005)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki, Antonio Restivo: Preface. Theor. Comput. Sci. 339(1): 1-2 (2005)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Michel Latteux, Ion Petre: Commutation with codes. Theor. Comput. Sci. 340(1): 322-333 (2005)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosep Díaz, Juhani Karhumäki: Preface. Theor. Comput. Sci. 348(2-3): 129 (2005)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Michel Latteux, Ion Petre: Commutation with Ternary Sets of Words. Theory Comput. Syst. 38(2): 161-169 (2005)
2004
126no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg: Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday Springer 2004
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings Springer 2004
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki, Petri Salmela: Fixed Point Approach to Commutation of Languages. Aspects of Molecular Computing 2004: 119-131
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Finite Sets of Words and Computing. MCU 2004: 36-49
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Jeffrey Shallit: Polynomial versus exponential growth in repetition-free binary words. J. Comb. Theory, Ser. A 105(2): 335-347 (2004)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki: Many aspects of defect theorems. Theor. Comput. Sci. 324(1): 35-54 (2004)
2003
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Automata on Words. CIAA 2003: 3-10
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Michel Latteux, Ion Petre: The Commutation with Codes and Ternary Sets of Words. STACS 2003: 74-84
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Berstel, Juhani Karhumäki: Combinatorics on words: a tutorial. Bulletin of the EATCS 79: 178- (2003)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Jeffrey Shallit: Polynomial versus Exponential Growth in Repetition-Free Binary Words CoRR math.CO/0304095: (2003)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: The complexity of compressing subsegments of images described by finite automata. Discrete Applied Mathematics 125(2-3): 235-254 (2003)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVesa Halava, Tero Harju, Juhani Karhumäki: Decidability of the binary infinite Post Correspondence Problem. Discrete Applied Mathematics 130(3): 521-526 (2003)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Leonid P. Lisovik: A simple undecidable problem: the inclusion problem for finite substitutions on ab*c. Inf. Comput. 187(1): 40-48 (2003)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Leonid P. Lisovik: The Equivalence Problem of Finite Substitutions on ab*c, with Applications. Int. J. Found. Comput. Sci. 14(4): 699- (2003)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Ján Manuch, Wojciech Plandowski: A defect theorem for bi-infinite words. Theor. Comput. Sci. 292(1): 237-243 (2003)
2002
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa: Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] Springer 2002
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Ion Petre: The Branching Point Approach to Conway's Problem. Formal and Natural Computing 2002: 69-76
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Leonid P. Lisovik: The Equivalence Problem of Finite Substitutions on ab*c, with Applications. ICALP 2002: 812-820
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika 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: 319-327
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Applications of Finite Automata. MFCS 2002: 40-58
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Sebastian Seibert, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger: Communication Complexity Method for Measuring Nondeterminism in Finite Automata. Inf. Comput. 172(2): 202-217 (2002)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki, Jarkko Kari: A Note on Synchronized Automata and Road Coloring Problem. Int. J. Found. Comput. Sci. 13(3): 459-471 (2002)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Arto Lepistö, Wojciech Plandowski: Locally Periodic Versus Globally Periodic Infinite Words. J. Comb. Theory, Ser. A 100(2): 250-264 (2002)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Some Decision Problems Concerning Semilinearity and Commutation. J. Comput. Syst. Sci. 65(2): 278-294 (2002)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Choffrut, Juhani Karhumäki, Nicolas Ollinger: The commutation of finite sets: a challenging problem. Theor. Comput. Sci. 273(1-2): 69-79 (2002)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Ján Manuch: Multiple factorizations of words and defect effect. Theor. Comput. Sci. 273(1-2): 81-97 (2002)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Ion Petre: Conway's problem for three-word sets. Theor. Comput. Sci. 289(1): 705-725 (2002)
2001
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki, Jarkko Kari: A Note on Synchronized Automata and Road Coloring Problem. Developments in Language Theory 2001: 175-185
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Challenges of Commutation. FCT 2001: 15-23
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: On the Complexity of Decidable Cases of Commutation Problem for Languages. FCT 2001: 193-203
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ICALP 2001: 579-590
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Combinatorial and Computational Problems on Finite Sets of Words. MCU 2001: 69-81
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Leonid P. Lisovik: A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c. STACS 2001: 388-395
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Choffrut, Juhani Karhumäki: On Fatou properties of rational languages. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 227-235
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Ion Petre: Conway's Problem and the Communication of Languages. Bulletin of the EATCS 74: 171-189 (2001)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Cassaigne, Juhani Karhumäki, Ján Manuch: On Conjugacy of Languages. ITA 35(6): 535-550 (2001)
2000
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert: Measures of Nondeterminism in Finite Automata. ICALP 2000: 199-210
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Ion Petre: On the Centralizer of a Finite Set. ICALP 2000: 536-546
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert: Measures of Nondeterminism in Finite Automata Electronic Colloquium on Computational Complexity (ECCC) 7(76): (2000)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Filippo Mignosi, Wojciech Plandowski: The expressibility of languages and relations by word equations. J. ACM 47(3): 483-505 (2000)
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: Pattern-Matching Problems for Two-Dimensional Images Described by Finite Automata. Nord. J. Comput. 7(1): 1-13 (2000)
1999
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg: Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa Springer 1999
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: The Compression of Subsegments of Images Described by Finite Automata. CPM 1999: 186-195
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Sabrina Mantaci: Defect theorems for trees. Developments in Language Theory 1999: 164-177
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski: On the complexity of computing the order of repetition of a string. Developments in Language Theory 1999: 178-184
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Leonid P. Lisovik: On the Equivalence of Finite Substitutions and Transducers. Jewels are Forever 1999: 97-108
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Sabrina Mantaci: Defect Theorems for Trees. Fundam. Inform. 38(1-2): 119-133 (1999)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: Generalized Factorizations of Words and Their Algorithmic Properties. Theor. Comput. Sci. 218(1): 123-133 (1999)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: A Short Biography of Arto Salomaa. Theor. Comput. Sci. 226(1-2): 3-5 (1999)
1998
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Arto Lepistö, Wojciech Plandowski: Locally Periodic Infinite Words and a Chaotic Behaviour. ICALP 1998: 421-430
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Ján Manuch, Wojciech Plandowski: On Defect Effect of Bi-Infinite Words. MFCS 1998: 674-682
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Cassaigne, Juhani Karhumäki: Examples of Undecidable Problems for 2-Generator Matrix Semigroups. Theor. Comput. Sci. 204(1-2): 29-34 (1998)
1997
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Filippo Mignosi: A lower bound for a constant in Shallit's conjecture. Developments in Language Theory 1997: 103-118
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: Pattern-Matching Problems for 2-Dimensional Images Described by Finite Automata. FCT 1997: 245-256
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Filippo Mignosi: The Expressibility of Languages and Relations by Word Equations. ICALP 1997: 98-109
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Juhani Karhumäki: Two Lower Bounds on Computational Complexity of Infinite Words. New Trends in Formal Languages 1997: 366-376
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki, Mario Petrich: Compactness of Systems of Equations on Completely Regular Semigroups. Structures in Logic and Computer Science 1997: 268-280
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Cassaigne, Juhani Karhumäki: Toeplitz Words, Generalized Periodicity and Periodically Iterated Morphisms. Eur. J. Comb. 18(5): 497-510 (1997)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Choffrut, Tero Harju, Juhani Karhumäki: A Note on Decidability Questions on Presentations of Word Semigroups. Theor. Comput. Sci. 183(1): 83-92 (1997)
1996
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki, Daniel Krob: Remarks on Generalized Post Correspondence Problem. STACS 1996: 39-48
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Derencourt, Juhani Karhumäki, Michel Latteux, Alain Terlutte: On Computational Power of Weighted Finite Automata. Fundam. Inform. 25(3): 285-293 (1996)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski: On the Size of Independent Systems of Equations in Semigroups. Theor. Comput. Sci. 168(1): 105-119 (1996)
1995
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Cassaigne, Juhani Karhumäki: Toeplitz Words, Generalized Periodicity and Periodically Iterated Morphisms (Extended Abstract). COCOON 1995: 244-253
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki, Wojciech Plandowski: Compactness of Systems of Equations in Semigroups. ICALP 1995: 444-454
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: Polynomial Size Test Sets for Context-Free Languages. J. Comput. Syst. Sci. 50(1): 11-19 (1995)
1994
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg: Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings Springer 1994
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Juhani Karhumäki: Two Lower Bounds on Computational Complexity of Infinite Word Generation. IFIP Congress (1) 1994: 479-484
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski: On the Size of Independent Systems of Equations in Semigroups. MFCS 1994: 443-452
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Juhani Karhumäki, Arto Lepistö: Comparing Descriptional and Computational Complexity of Infinite Words. Results and Trends in Theoretical Computer Science 1994: 169-182
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Derencourt, Juhani Karhumäki, Michel Latteux, Alain Terlutte: On Continuous Functions Computed by Finite Automata. ITA 28(3-4): 387-403 (1994)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Iterative Devices Generating Infinite Words. Int. J. Found. Comput. Sci. 5(1): 69-97 (1994)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Finite Automata Computing Real Functions. SIAM J. Comput. 23(4): 789-814 (1994)
1993
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Equations Over Finite Sets of Words and Equivalence Problems in Automata Theory. Theor. Comput. Sci. 108(1): 103-118 (1993)
1992
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Plandowski, Wojciech Rytter: Polynomial Size Test Sets for Context-Free Languages. ICALP 1992: 53-64
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Derencourt, Juhani Karhumäki, Michel Latteux, Alain Terlutte: On Computational Power of Weighted Finite Automata. MFCS 1992: 236-245
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Iterative Devices Generating Infinite Words. STACS 1992: 531-543
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Multiplicities: A Deterministsic View of Nondeterminism. Theor. Comput. Sci. 98(1): 15-25 (1992)
1991
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Wojciech Rytter, Stefan Jarominek: Efficient Constructions of Test Sets for Regular and Context-Free Languages. MFCS 1991: 249-258
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová: On the power of synchronization in parallel computations. Discrete Applied Mathematics 32(2): 155-182 (1991)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki: The Equivalence Problem of Multitape Finite Automata. Theor. Comput. Sci. 78(2): 347-355 (1991)
1990
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Systems of Equations over a Finite Set of Words and Automata Theory. IWWERT 1990: 247-249
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Juhani Karhumäki: Decidability of the Multiplicity Equivalence of Multitape Finite Automata STOC 1990: 477-481
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Loops in automata and HDTOL relations. ITA 24: 327-338 (1990)
1989
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dassow, Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová: On the Power of Synchronization in Parallel Computations. MFCS 1989: 196-206
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: On the Equivalence Problem for Deterministic Multitape Automata and Transducers. STACS 1989: 468-479
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: HDTOL Matching of Computations of Multitape Automata. Acta Inf. 27(2): 179-191 (1989)
1988
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Juhani Karhumäki: The Formal Language Theory Column. Bulletin of the EATCS 34: 82-96 (1988)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: On Totalistic Systolic Networks. Inf. Process. Lett. 26(5): 231-236 (1988)
1987
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: On Recent Trends in Formal Language Theory. ICALP 1987: 136-162
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: The Ehrenfeucht Conjecture for Transducers. Elektronische Informationsverarbeitung und Kybernetik 23(8/9): 389-401 (1987)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSándor Horváth, Juhani Karhumäki, Jetty Kleijn: Results Concerning Palindromicity. Elektronische Informationsverarbeitung und Kybernetik 23(8/9): 441-451 (1987)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDT0L Languages) is Decidable. SIAM J. Comput. 16(2): 221-230 (1987)
1986
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: The equivalence of mappings on languages. IMYCS 1986: 26-38
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable. MFCS 1986: 264-272
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Synchronizable Deterministic Pushdown Automata and the Decidability of their Equivalence. Acta Inf. 23(5): 597-605 (1986)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Yael Maon: A Simple Undecidable Problem: Existential Agreement of Inverses of Two Morphisms on a Regular Language. J. Comput. Syst. Sci. 32(3): 315-322 (1986)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: The Equivalence of Finite Valued Transducers (On HDT0L Languages) is Decidable. Theor. Comput. Sci. 47(3): 71-84 (1986)
1985
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Decision problems solved with the help of the Ehrenfeucht conjecture. Bulletin of the EATCS 27: 30-34 (1985)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, H. C. M. Kleijn: On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages. ITA 19(3): 203-211 (1985)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: On Three-Element Codes. Theor. Comput. Sci. 40: 3-11 (1985)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: A Property of Three-Element Codes. Theor. Comput. Sci. 41: 215-222 (1985)
1984
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: On Three-Element Codes. ICALP 1984: 292-302
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, H. C. M. Kleijn: On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages. MFCS 1984: 355-363
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: A Property of Three-Element Codes. STACS 1984: 305-313
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Derick Wood: Inverse Morphic Equivalence on Languages. Inf. Process. Lett. 19(5): 213-218 (1984)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: The Ehrenfeucht Conjecutre: A Compactness Claim for Finitely Generated Free Monoids. Theor. Comput. Sci. 29: 285-308 (1984)
1983
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Choffrut, Juhani Karhumäki: Test Sets for Morphisms with Bounded Delay. ICALP 1983: 118-127
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: A Note on Intersections of Free Submonoids of a Free Monoid. ICALP 1983: 397-407
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Systems of equations over a free monoid and Ehrenfeucht's conjecture. Discrete Mathematics 43(2-3): 139-153 (1983)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: On the Ehrenfeucht Conjecture for DOL Languages. ITA 17(3): 205-230 (1983)
1982
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: On the Equivalence Problem for Binary DOL Systems. ICALP 1982: 339-347
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Albert, Karel Culik II, Juhani Karhumäki: Test Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid Information and Control 52(2): 172-186 (1982)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Ehrenfeucht, Juhani Karhumäki, Grzegorz Rozenberg: The (Generalized) Post Correspondence Problem with Lists Consisting of two Words is Decidable. Theor. Comput. Sci. 21: 119-144 (1982)
1981
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: On Strongly Cube-Free Omega-Words Generated by Binary Morphisms. FCT 1981: 182-189
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Generalized Parikh Mappings and Homomorphisms. ICALP 1981: 324-332
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: On the Equivalence Problem for Binary DOL Systems Information and Control 50(3): 276-284 (1981)
1980
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: On the Equality Sets for Homomorphisms on Free Monoids with Two Generators. ITA 14(4): 349-369 (1980)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Generalized Parikh Mappings and Homomorphisms Information and Control 47(3): 155-165 (1980)
1979
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Interactive L Systems with Almost Interactionless Behaviour. MFCS 1979: 246-257
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Juhani Karhumäki: Interactive L Systems with Almost Interactionless Behaviour Information and Control 43(1): 83-100 (1979)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: On Commutative DT0L Systems. Theor. Comput. Sci. 9: 207-220 (1979)
1977
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: The Decidability of the Equivalence Problem for Polynomially Bounded DOL Sequences. ITA 11(1): 17-28 (1977)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Remarks on Commutative N -Rational Series. Theor. Comput. Sci. 5(2): 211-217 (1977)
1976
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Two Theorems Concerning Recognizable N-Subsets of sigma*. Theor. Comput. Sci. 1(4): 317-323 (1976)
1974
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: Some Growth Functions of Context-Dependent L-Systems. L Systems 1974: 127-135
1973
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki: An Example of a PD2L-System with the Growth Type 2½. Inf. Process. Lett. 2(5): 131-134 (1973)

Coauthor Index

1J. Albert [15]
2Giorgio Ausiello [154]
3Paul Bell (Paul C. Bell) [149]
4Jean Berstel [118] [147]
5Alberto Bertoni [135] [153] [155]
6Mária Bieliková [153] [155]
7Wilfried Brauer [111]
8Julien Cassaigne [64] [69] [75] [91] [156]
9Christian Choffrut [20] [68] [93] [102] [133] [158] [163]
10Karel Culik II [7] [8] [10] [15] [17] [18] [29] [30] [32] [33] [35] [39] [41] [42] [44] [51] [55] [56] [99] [105] [124]
11Elena Czeizler (Elena Petre) [141] [142]
12Jürgen Dassow [43]
13Denis Derencourt [52] [57] [66]
14Josep Díaz [125] [128]
15Andrzej Ehrenfeucht [14]
16Hartmut Ehrig [111]
17Zoltán Ésik [135]
18Viliam Geffert [153] [155]
19Vesa Halava [115] [136] [139] [140] [146] [149]
20Tero Harju [45] [47] [63] [67] [68] [70] [96] [103] [115] [121] [130] [136] [139] [140] [144] [145] [146] [147] [149]
21Mika Hirvensalo [108] [146]
22Stepan Holub [141]
23Sándor Horváth [36]
24Juraj Hromkovic [43] [48] [58] [60] [71] [88] [90] [106]
25Mari Huova [168]
26Oscar H. Ibarra [96] [103] [151] [159]
27Stefan Jarominek [49]
28Jarkko Kari [99] [105] [148]
29Lauri Karttunen [138]
30Hartmut Klauck [88] [90] [106]
31Jetty Kleijn (H. C. M. Kleijn) [24] [28] [36]
32Daniel Krob [67]
33Michal Kunc [134] [137] [160]
34Joachim Kupke [148]
35Markku Laine [141]
36Michel Latteux [52] [57] [66] [119] [127] [129] [140]
37Arto Lepistö [58] [77] [104] [125] [144]
38Yury Lifshits [143] [162]
39Leonid P. Lisovik [81] [94] [109] [113] [114]
40Sabrina Mantaci [80] [83]
41Ján Manuch [76] [91] [101] [112]
42Yael Maon [31]
43Hermann A. Maurer [61] [85] [126]
44Giancarlo Mauri [154]
45Filippo Mignosi [72] [74] [87]
46Pavol Návrat [153] [155]
47Alexander Okhotin [134] [137] [151] [159] [160]
48Nicolas Ollinger [102]
49C.-H. Luke Ong [154]
50Gheorghe Paun [85] [126] [166]
51Ion Petre [89] [92] [100] [110] [119] [127] [129]
52Mario Petrich [70]
53Wojciech Plandowski [53] [59] [62] [63] [65] [72] [73] [74] [76] [77] [79] [82] [84] [86] [87] [97] [104] [112] [116] [131]
54Igor Potapov [149]
55Bart Preneel [153] [155]
56Svetlana Puzynina (S. A. Puzynina) [164]
57Antonio Restivo [130]
58Branislav Rovan [43] [48]
59Grzegorz Rozenberg [14] [61] [85] [126] [132] [166]
60Wojciech Rytter [49] [53] [62] [73] [79] [84] [86] [97] [116] [131] [143] [162]
61Aleksi Saarela [152] [161] [165] [168]
62Kalle Saari [168]
63Turo Sallinen [167]
64Petri Salmela [124] [156]
65Arto Salomaa [40] [96] [103] [111] [166]
66Donald Sannella [125]
67Georg Schnitger [88] [90] [106]
68Sebastian Seibert [88] [90] [106]
69Jeffrey Shallit (Jeffrey O. Shallit) [117] [122]
70Anna Slobodová [43] [48]
71Alain Terlutte [52] [57] [66]
72Derick Wood [22]
73Anssi Yli-Jyrä [138]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page