List of Publications

"Construction of the Automaton Mapping" (in Russian)
Aplikace Matematiky 10, 459-468 (1965).

" Relation Represented by n-tape Automata" (in Czech)
Kybernetika 3, 321-345 (1967).

"Sequential Machines with Several Input and Output Tapes"
Kybernetika 3, 540-559 (1967).

"SIS - Programming Language for Simulation" (with J.Culik and J.Vogel)
Information Processing Machines 14, 119-152 (1968).

"Languages Represented by n-tape Automata"
Information Processing Machines 14, 83-100 (1968).

"A Contribution to Top-down Analysis of Context-Free Languages"
Kybernetika 4, 422-431 (1968).

"N-ary Grammars and the Description of Mapping of Languages"
Kybernetika 6, 99-117 (1970).

"Classification of Non-Counting Events" (with J.A.Brzozowski and A.Gabrielian)
JCSS 5, 41-53 (1971).

"Formal Schemes for Language Translations" (with C.J.W.Morey)
International J. of Comp. Math. (Section A) 3, 17-48 (1971).

"Abstract Families of Relations"
JCSS 5, 596-605 (1971).

"LR-regular Grammars - An Extension of LR(k) Grammars" (with R.Cohen)
JCSS 7, 66-96, (1973).

"A Model for the Formal Definition of Programming Languages"
International J. of Computer Math. (Section A) 3, 315-345 (1973).

"On Some Families of Languages Related to Development Systems"
International J. of Computer Math. (Section A) 4, 31-42 (1974).

"Literal Homomorphisms of OL-Languages" (with J.Opatrny)
International J. of Comp. Math. (Section A) 4, 247-267 (1974).

"Macro OL-Systems" (with J.Opatrny)
International J. of Comp. Math. (Section A) 4, 327-342 (1975).

"Parallel Rewriting on Graphs and Multidimensional Development" (with A.Lindenmayer)
Int. Journal of General Systems 3, 53-66 (1976).

"On the Decidability of the Sequence Equivalence Problem for DOL-systems"
Theoretical Computer Science 3, 75-84 (1977).

"The Decidability of the Equivalence Problem for DOL-systems" (with I.Fris)
Information and Control 35, 20-39 (1977).

"Tree Controlled Grammars" (with H.A.Maurer)
Computing 19, 129-139 (1977).

"Linearizing Selector-graphs and Applications Thereof" (with H.A.Maurer)
Angewandte Informatik 9, 386-394 (1977).

"The Decidability of v-Local Catenativity and of Other Properties of DOL Systems"
Information Processing Letters 7, 33-35 (1978).

"String Representation of Graphs" (with H.A.Maurer)
Int. J. of Comp. Math. (Section A) 6, 273-301 (1978).

"Propagating Chain-free Normal Forms for EOL Systems" (with H.A.Maurer)
Information and Control 36, 309-319 (1978).

"On Two-symbol Complete EOL Forms" (with H.A.Maurer and Th.Ottmann)
Theoretical Computer Science 6, 69-92 (1978).

"Isomorphism, Form Equivalence and Sequence Equivalence of PDOL Forms" (with H.A.Maurer, Th.Ottmann, K.Ruohonen and A.Salomaa)
Theoretical Computer Science 6, 143-173 (1978).

"The Ultimate Equivalence Problem for DOL Systems"
Acta Informatica 10, 69-84 (1978).

"Speed-Varying OL-Systems" (with D.Wood)
Information Sciences 14, 161-170 (1978).

"On the Decidability of Homomorphism equivalence for Languages" (with A.Salomaa)
JCSS 17, 163-175 (1978).

"Double Deterministic Tabled OL Systems" (with D.Wood)
Int. J. of Computer and Inf. Science 8, 335-347 (1979).

"Growing Cellular Systems: Generation of Graphs by Parallel Rewriting" (with A.Lindenmayer)
Int. J. General Systems 5, 45-55 (1979).

"A Purely Homomorphic Characterization of Recursively Enumerable Sets"
JACM 26, 345-350 (1979).

"Some Decidability Results about Regular and Push Down Translations"
Information Processing Letters 8, 5-8 (1979).

"Homomorphism Equivalence on ETOL Languages" (with J.L.Richier)
Int. J. of Computer Math. (Section A) 7, 43-51 (1979).

"A Mathematical Investigation of Parallel Graph OL Systems" (with D.Wood)
Inf. and Control 43, 50-82 (1979).

"On Simple Representations of Language Families" (with H.A.Maurer)
R.A.I.R.O. Informatique theoretique 13, 241-250 (1979).

"Secure Information Storage and Retrieval Using New Results in Cryptography" (with H.A.Maurer)
Inf. Processing Letters 8, 181-186 (1979).

"Interactive L-systems with Almost Interactionless Behavior" (with J. Karhumaki)
Inf. and Control 43, 83-100 (1979).

"A Homomorphic Characterization of Time and Space Complexity Classes of Languages" (with N.D. Diamond)
Int. J. of Computer Math. (Section A) 8, 207-222 (1980).

"Test Sets and Checking Words for Homomorphism Equivalence" (with A.Salomaa)
JCSS 20, 379-395 (1980).

"On the Equality Sets for Homomorphisms on Free Monoids with Two Generators" (with J.Karhumaki)
R.A.I.R.O. Theoretique Informatique 14, 349-369 (1980).

"Test Sets for Homomorphism Equivalence on Context Free Languages" (with J.Albert)
Inf. and Control 45, 273-284 (1980).

"Dense Multiway Trees" (with Th.Ottmann and D.Wood)
ACM Transactions on Database Systems 6, 486-512 (1981).

"Concise Description of Finite Languages" (with W.Bucher, H.A. Maurer and D.Wotschke)
Theoretical Computer Science 14, 227-246 (1981).

"Equivalence Problems for Mappings on Infinite Strings" (with J.Pachl)
Inf. and Control 49, 52-63 (1981).

"A Note on Recurrent Words" (with D.Wood)
Inf. and Control 51, 88-94 (1981).

"A Homomorphic Characterization of Regular Languages" (with F.E.Fich and A.Salomaa)
Applied Discrete Mathematics 4, 149-152 (1982).

"On Infinite Words Obtained by iterating Morphisms" (with A.Salomaa)
Theoretical Computer Science 19, 29-38 (1982).

"Dominoes Over a Free Monoid" (with T.Harju)
Theoretical Computer Science 18, 279-300 (1982).

"Tree Correspondence Problems" (with J.Albert)
JCSS 24, 167-179 (1982).

"Test Sets for Context-Free Languages and Systems of Equations over a Free Monoid" (with J.Albert and J.Karhumaki)
Inf. and Control 52, 172-186 (1982).

"A Note on Some Tree Similarity Measures" (with D.Wood)
Information Processing Letters 15, 39-42 (1982).

"Transductions and the Parallel Generation of Language" (with T.Head)
Inter. J. Comp. Math (Section A)13, 3-15 (1983).

"Properties of Finite and Pushdown Transducers" (with C.Choffrut)
SIAM J. on Comp. 12, 300-315 (1983).

"Systems of Equations over a Free Monoid and Ehrenfeucht Conjecture" (with J.Karhumaki)
Discrete Mathematics 43, 139-153 (1983).

"On a Family of L-languages Resulting from Systolic Tree Automata" (with J.Gruska and A.Salomaa)
Theoretical Computer Science 23, 231-242 (1983).

"Systolic Automata for VLSI on Balanced Trees" (with J.Gruska and A.Salomaa)
Acta Informatica 18, 335-344 (1983).

"On the Ehrenfeucht Conjecture for DOL Languages" (with J.Karhumaki)
RAIRO, Informatique Theoretique 17, 205-230 (1983).

"Folding of the Plane and the Design of Systolic Arrays" (with C.Choffrut)
Inform. Processing Letters 17, 149-153 (1983).

"Ambiguity and Decision Problems Concerning Number Systems" (with A. Salomaa)
Inf. and Control 56, 139-153 (1983).

"Programmable Finite Automata for VLSI" (with H.J\"{u}rgensen)
Int. J. Comp. Math. (Section A) 14, 259-275 (1983).

"Context-free Complexity of Finite Language" (with W.Bucher and H.A.Maurer)
Theoretical Computer Science 28, 277-286 (1984).

"The Omega-Sequence Equivalence Problem for DOL Systems is Decidable" (with T.Harju)
JACM 31 282-298 (1984).

"Systolic Tree Acceptors" (with A.Salomaa and D.Wood)
RAIRO, Informatique Theoretique 18, 53-69 (1984).

"Systolic Trellis Automata, Part I" (with J.Gruska and A.Salomaa)
Inter. J. of Computer Math. (Section A) 15, 195-212 (1984).

"Systolic Trellis Automata, Part II" (with J.Gruska and A.Salomaa)
Inter. J. of Computer Math. (Section A) 16, 3-22 (1984).

"On Real Time and Linear Time Cellular Automata" (with W.Bucher)
RAIRO, Informatique Theoretique 18, 307-325 (1984).

"On Extendibility of Unavoidable Sets" (with C.Choffrut)
Discrete Mathematics 9, 125-137 (1984).

"Iterative Tree Automata" (with Sheng Yu)
Theoretical Computer Science 32, 227-247 (1984).

"On Real-Time Cellular Automata and Trellis Automata" (with C.Choffrut)
Acta Informatica 21, 393-407 (1984).

"Topological Transformations as a Tool in The Design of Systolic Networks" (with I.Fris)
Theoretical Computer Science 37, 183-216 (1985).

"Synchronizable Deterministic Pushdown Automata and the Decidability of Their Equivalence" (with J.Karhumaki)
Acta Informatica 23, 597-605 (1986).

"Systolic Trellis Automata: Stability, Decidability and Complexity" (with J.Gruska and A.Salomaa)
Information and Control 71, 218-230 (1986).

"A Note on the Equivalence Problem of Rational Formal Power Series" (with J.Karhumaki)
Inform. Processing Letters 23, 29-31 (1986).

"Iterative Tree Arrays with Logarithmic Depth" (with O.H. Ibarra and Sheng Yu)
Intern. J. of Computer Math. (Section A) 20, 187-204 (1986).

"Real Time, Pseudo Real Time and Linear Time ITA" (with Sheng Yu)
Theoretical Computer Science 47, 15-26 (1986).

"The Equivalence Problem of Finite-valued Finite Transducers (on HDTOL Languages) is Decidable" (with J. Karhumaki)
Theoretical Computer Science 47, 71-84 (1986).

"The Equivalence Problem for Single-Valued Two-Way Transducers is Decidable" (with J. Karhumaki)
SIAM J. on Comput. 16, 221-230 (1987).

"Fault-Tolerant Schemes for Some Systolic Systems" (with Sheng Yu)
Intern. J. on Comp. Math. (Section A) 22, 13-42 (1987).

"A Simple Universal Cellular Automaton and its One-Way and Totalistic Version" (with J.Albert)
J. Complex Systems 1, 1-16 (1987).

"Systolic Tree Architecture for Some Standard Functions" (with H.J\"{u}rgensen and K.Mak)
Computers and Artificial Intelligence 6, 243-261 (1987).

"On Totalistic Systolic Networks" (with J.Karhumaki)
Inform. Processing Letters 26, 213-236 (1987/88).

"On Invertible Cellular Automata"
Complex Systems 1, 1035-1044 (1987).

"Undecidability of CA Classification Schemes" (with Sheng Yu)
Complex Systems 2, 177-190 (1988).

"Variations of the Firing Squad Problem and Applications"
Information Processing Letters 30, 153-157 (1989).

"On the Limit Sets of Cellular Automata" (with J.Pachl and Sheng Yu)
SIAM J. on Computing 18, 831-842 (1989).

"HDTOL Matching of Computations of multitape automata" (with J.Karhumaki)
Acta Informatica 27, 179-191 (1989).

"Fractal and Recurrent Behavior of Cellular Automata" (with S.Dube)
Complex Systems 3, 253-267 (1989).

"New Techniques for Proving the Decidability of Equivalence Problems"
Theoretical Computer Science 71, 29-45 (1990).

"Formal Languages and Global Cellular Automata Behavior" (with L.P.Hurd and Sheng Yu)
Physica D 45, 396-403 (1990).

"Computation Theoretic Aspect of Cellular Automata" (with L.P.Hurd and Sheng Yu)
Physica D 45, 357-378 (1990).

"Loops in Automata and HDTOL Relations" (with J.Karhumaki)
R.A.I.R.O. Informatique Th\'{e}orique 24, 327-336 (1990).

"Dominoes, Splicing Semigroups and DNA" (with T.Harju)
Discrete Applied Mathematics 31, 261-277 (1991).

"Cellular Automata, $\omega\omega$-Regular Sets, and Sofic Systems" (with Sheng Yu)
Discrete Applied Mathematics 32, 85-102 (1991).

"An Efficient Solution to the Firing Mob Problem" (with S.Dube)
Theor.Comp.Science 91, 57-69 (1991).

"The Topological Entropy of Cellular Automata is Uncomputable" (with L.Hurd, J.Kari)
Ergodic Theory and Dynamical Systems 12, 255-265 (1992).

"Rational and Affine Expressions for Image Description" (with S.Dube)
Discrete Applied Mathematics 41, 85-120 (1993).

"Image Compression Using Weighted Finite Automata" (with J.Kari)
Computer and Graphics 17, 3, 305-313 (1993).

"L-systems and Mutually Recursive Function Systems" (with S.Dube)
Acta Informatica 30, 279-302 (1993).

"Affine Automata and Related Techniques for Generation of Complex Images" (with S.Dube)
Theoretical Computer Science 116, 373-398 (1993).

"Balancing Order and Chaos in Image Generation" (with S.Dube)
Computer and Graphics 17, 4, 465-486 (1993).

"Encoding Images as Words and Languages" (with S.Dube)
Int.J. of Algebra and Computation 3, 2, 211-236 (1993).

"Parametrized Recurrent Systems for Image Generation" (with J.Kari)
Inf. Proc. Letters 48, 267-274 (1993).

"Mechanisms for Pattern Generation" (with J.Kari)
Complex Systems 7, 347-365 (1993).

"Iterative Devices Generating Infinite words" (with J.Karhumaki)
Int.J. of Foundations of Computer Science 5, 1, 69-97 (1994).

"Finite Automata Computing Real Functions" (with J.Karhumaki)
SIAM J. on Computing 23, 4, 789-814 (1994).

"Image-data Compression Using Edge-Optimizing Algorithm for WFA Inference" (with J.Kari)
Journal of Information Processing and Management 30, 6, 829-838 (1994).

"On the Power of L-systems in Image Generation" (with J.Kari)
Acta Informatica 31, 761-773 (1994).

"Weighted Finite Transducers in Image Processing" (with I.Fris)
Discrete Applied Mathematics 58, 223-237 (1995).

"Iterative Weighted Finite Transductions" (with P.Rajcani)
Acta Informatica 327, 681-203 (1995).

"An aperiodic set of Wang cubes" (with J.Kari)
Journal of Universal Computer Science 1, 675-686 (1995).

"Computational Fractal Geometry with WFA" (with J.Kari)
Acta Informatica, .

"Finite-State Transformations of Images" (with J.Kari)
Computer and Graphics 34, 151-166 (1997).

"An aperiodic set of 13 Wang tiles"
Discrete Applied Mathematics 160, 245-251 (1996).

"Global Cellular Automata"
Complex Systems 9, 251-266 (1995).

"Implementing Daubechies Wavelet Transform with Weighted Finite Automata" (with S.Dube)
Acta Informatica 34, 347-366 (1997).

"Finite Automata Based Compression of Bi-Level and Simple Color Images" (with V.Valenta)
Computer and Graphics 21, 61-68 (1997).

"Generalized Finite Automata and Transducers" (with V.Valenta)
Journal of Automata, Languages and Combinatorics 2, 3-17 (1997).

"Compression of Silhouette-like Images based on WFA" (with J. Kari and V. Valenta)
Journal of Universal Computer Science 3, 1100-1113 (1997).

"Generalized Weighted Finite Automata Based Image Compression" (with P. C. von Rosenberg)
Journal of Universal Computer Science 5, 227-242 (1999).

"A Note on Synchronized Automata and Road Coloring Problem" (with J.Kari and J. Karhumaki)
Inter. J. Foundation Computer Science 3, 459-471 (2002).