Edit Profile Ruohonen, Keijo Compute Distance To: Compute Author ID: ruohonen.keijo Published as: Ruohonen, K.; Ruohonen, Keijo Documents Indexed: 42 Publications since 1972 all top 5 Co-Authors 33 single-authored 3 Rozenberg, Grzegorz 2 Ehrenfeucht, Andrzej 2 Salomaa, Arto Kustaa 1 Culik, Karel II 1 Elomaa, Tapio 1 Grove, D. J. 1 Hammerstein, A. 1 Honkala, Juha 1 King, J. W. 1 Linne, Marja-Leena 1 Manninen, Tiina 1 Maurer, Hermann A. 1 Niemi, Jari 1 Ottmann, Thomas A. 1 Ruotsalainen, Ulla 1 Saarela, Matti 1 Saarinen, Antti all top 5 Serials 5 Theoretical Computer Science 4 Elektronische Informationsverarbeitung und Kybernetik 3 Information Processing Letters 3 International Journal of Computer Mathematics 2 Discrete Applied Mathematics 2 Information and Control 1 Acta Informatica 1 Arkhimedes 1 Bulletin of Mathematical Biology 1 Annales Academiae Scientiarum Fennicae. Series A I. Mathematica 1 Journal of the Association for Computing Machinery 1 Journal of Computer and System Sciences 1 Normat 1 RAIRO, Informatique Théorique 1 Annales Societatis Mathematicae Polonae. Series IV 1 Journal of Information Processing and Cybernetics 1 International Journal of Algebra and Computation 1 International Journal of Foundations of Computer Science 1 RAIRO. Informatique Théorique et Applications 1 Theory of Computing Systems 1 Journal of Automata, Languages and Combinatorics 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Computational Biology and Chemistry 1 Annales Academiæ Scientiarum Fennicæ. Series A I. Mathematica. Dissertationes 1 Annales Universitatis Turkuensis. Ser. A I 1 Journal of Theoretical Biology all top 5 Fields 35 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 5 Biology and other natural sciences (92-XX) 3 Number theory (11-XX) 3 Numerical analysis (65-XX) 2 Group theory and generalizations (20-XX) 2 Ordinary differential equations (34-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 32 Publications have been cited 137 times in 93 Documents Cited by ▼ Year ▼ Reversible machines and Post’s correspondence problem for biprefix morphisms. Zbl 0604.68057Ruohonen, Keijo 21 1985 Equivalence problems for regular sets of word morphisms. Zbl 0612.68052Ruohonen, Keijo 11 1986 Developing Itô stochastic differential equation models for neuronal signal transduction pathways. Zbl 1098.92035Manninen, Tiina; Linne, Marja-Leena; Ruohonen, Keijo 6 2006 An effective Cauchy-Peano exististence theorem for unique solutions. Zbl 0854.34010Ruohonen, Keijo 6 1996 The inclusion problem for DOL languages. Zbl 0428.68081Ruohonen, Keijo 6 1979 Explicit test sets for iterated morphisms in free monoids and metabelian groups. Zbl 1078.68094Ruohonen, Keijo 5 2005 On some variants of Post’s correspondence problem. Zbl 0537.68080Ruohonen, Keijo 5 1983 The decidability of the DOL-DTOL equivalence problem. Zbl 0491.68048Ruohonen, Keijo 5 1981 Isomorphism, form equivalence and sequence equivalence of PDOL forms. Zbl 0368.68072Čulik, Karel II; Maurer, H. A.; Ottmann, Th.; Ruohonen, K.; Salomaa, A. 5 1978 On the synthesis of DOL growth. Zbl 0326.68054Ruohonen, Keijo 5 1975 On the images of \(\mathbb N\)-rational sequences counting multiplicities. Zbl 1103.68579Honkala, Juha; Ruohonen, Keijo 4 2003 On equality of multiplicity sets of regular languages. Zbl 0611.68049Ruohonen, Keijo 4 1985 A morphic representation of complements of recursively enumerable sets. Zbl 0491.68078Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K. 4 1981 On a variant of a method of Berstel’s and Nielsen’s. Zbl 0475.68044Ruohonen, Keijo 4 1981 On the decidability of the OL-DOL equivalence problem. Zbl 0412.68062Ruohonen, Keijo 4 1979 The decidability of the FOL-DOL equivalence problem. Zbl 0403.68068Ruohonen, Keijo 4 1979 A note on language equations involving morphisms. Zbl 0385.68058Ruohonen, Keijo 4 1978 D0L sequence equivalence is in P for fixed alphabets. Zbl 1144.68037Ruohonen, Keijo 3 2008 A morphic representation of EOL languages and other ETOL languages. Zbl 0579.68046Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K. 3 1985 On machine characterization of nonrecursive hierarchies. Zbl 0562.03023Ruohonen, Keijo 3 1984 On circular words and \((\omega^*+\omega)\)-powers of words. Zbl 0365.68081Ruohonen, Keijo 3 1977 Zeros of Z-rational functions and DOL equivalence. Zbl 0355.68057Ruohonen, Keijo 3 1977 Some combinatorial mappings of words. Zbl 0332.68052Ruohonen, Keijo 3 1976 Developmental systems with interaction and fragmentation. Zbl 0305.68062Ruohonen, K. 3 1975 Solving equivalence of recurrent sequences in groups by polynomial manipulation. Zbl 0935.68134Ruohonen, Keijo 2 1999 Undecidable event detection problems for ODEs of dimension one and two. Zbl 0878.68062Ruohonen, Keijo 2 1997 Undecidability of event detection for ODEs. Zbl 0771.65035Ruohonen, Keijo 2 1993 On some decidability problems for HDOL systems with nonsingular Parikh matrices. Zbl 0414.68044Ruohonen, Keijo 2 1979 Three results of comparison between L languages with and without interaction. Zbl 0312.68044Ruohonen, Keijo 2 1975 A note on off-line machines with ’Brownian’ input heads. Zbl 0553.03026Ruohonen, Keijo 1 1984 Developmental systems with fragmentation. Zbl 0343.68040Rozenberg, G.; Ruohonen, K.; Salomaa, A. 1 1976 JL systems with non-fragmented axioms: The hierarchy. Zbl 0334.68047Ruohonen, Keijo 1 1975 D0L sequence equivalence is in P for fixed alphabets. Zbl 1144.68037Ruohonen, Keijo 3 2008 Developing Itô stochastic differential equation models for neuronal signal transduction pathways. Zbl 1098.92035Manninen, Tiina; Linne, Marja-Leena; Ruohonen, Keijo 6 2006 Explicit test sets for iterated morphisms in free monoids and metabelian groups. Zbl 1078.68094Ruohonen, Keijo 5 2005 On the images of \(\mathbb N\)-rational sequences counting multiplicities. Zbl 1103.68579Honkala, Juha; Ruohonen, Keijo 4 2003 Solving equivalence of recurrent sequences in groups by polynomial manipulation. Zbl 0935.68134Ruohonen, Keijo 2 1999 Undecidable event detection problems for ODEs of dimension one and two. Zbl 0878.68062Ruohonen, Keijo 2 1997 An effective Cauchy-Peano exististence theorem for unique solutions. Zbl 0854.34010Ruohonen, Keijo 6 1996 Undecidability of event detection for ODEs. Zbl 0771.65035Ruohonen, Keijo 2 1993 Equivalence problems for regular sets of word morphisms. Zbl 0612.68052Ruohonen, Keijo 11 1986 Reversible machines and Post’s correspondence problem for biprefix morphisms. Zbl 0604.68057Ruohonen, Keijo 21 1985 On equality of multiplicity sets of regular languages. Zbl 0611.68049Ruohonen, Keijo 4 1985 A morphic representation of EOL languages and other ETOL languages. Zbl 0579.68046Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K. 3 1985 On machine characterization of nonrecursive hierarchies. Zbl 0562.03023Ruohonen, Keijo 3 1984 A note on off-line machines with ’Brownian’ input heads. Zbl 0553.03026Ruohonen, Keijo 1 1984 On some variants of Post’s correspondence problem. Zbl 0537.68080Ruohonen, Keijo 5 1983 The decidability of the DOL-DTOL equivalence problem. Zbl 0491.68048Ruohonen, Keijo 5 1981 A morphic representation of complements of recursively enumerable sets. Zbl 0491.68078Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K. 4 1981 On a variant of a method of Berstel’s and Nielsen’s. Zbl 0475.68044Ruohonen, Keijo 4 1981 The inclusion problem for DOL languages. Zbl 0428.68081Ruohonen, Keijo 6 1979 On the decidability of the OL-DOL equivalence problem. Zbl 0412.68062Ruohonen, Keijo 4 1979 The decidability of the FOL-DOL equivalence problem. Zbl 0403.68068Ruohonen, Keijo 4 1979 On some decidability problems for HDOL systems with nonsingular Parikh matrices. Zbl 0414.68044Ruohonen, Keijo 2 1979 Isomorphism, form equivalence and sequence equivalence of PDOL forms. Zbl 0368.68072Čulik, Karel II; Maurer, H. A.; Ottmann, Th.; Ruohonen, K.; Salomaa, A. 5 1978 A note on language equations involving morphisms. Zbl 0385.68058Ruohonen, Keijo 4 1978 On circular words and \((\omega^*+\omega)\)-powers of words. Zbl 0365.68081Ruohonen, Keijo 3 1977 Zeros of Z-rational functions and DOL equivalence. Zbl 0355.68057Ruohonen, Keijo 3 1977 Some combinatorial mappings of words. Zbl 0332.68052Ruohonen, Keijo 3 1976 Developmental systems with fragmentation. Zbl 0343.68040Rozenberg, G.; Ruohonen, K.; Salomaa, A. 1 1976 On the synthesis of DOL growth. Zbl 0326.68054Ruohonen, Keijo 5 1975 Developmental systems with interaction and fragmentation. Zbl 0305.68062Ruohonen, K. 3 1975 Three results of comparison between L languages with and without interaction. Zbl 0312.68044Ruohonen, Keijo 2 1975 JL systems with non-fragmented axioms: The hierarchy. Zbl 0334.68047Ruohonen, Keijo 1 1975 all cited Publications top 5 cited Publications all top 5 Cited by 86 Authors 19 Honkala, Juha 11 Halava, Vesa 11 Ruohonen, Keijo 10 Harju, Tero 6 Karhumaki, Juhani 6 Salomaa, Arto Kustaa 4 Graça, Daniel Silva 4 Rozenberg, Grzegorz 3 Ehrenfeucht, Andrzej 3 Maurer, Hermann A. 3 Ottmann, Thomas A. 3 Wood, Derick 2 Blondel, Vincent D. 2 Collins, Peter J. 2 Culik, Karel II 2 Dassow, Jürgen 2 Kløve, Torleiv 2 Latteux, Michel 2 Niskanen, Reino 2 Potapov, Igor 2 Pouly, Amaury 2 Soittola, Matti 2 Zhong, Ning 1 Abdulla, Parosh Aziz 1 Allen, Linda J. S. 1 Anderson, David Frederick 1 Angelova, Maia N. 1 Bournez, Olivier 1 Brandenburg, Franz-Josef 1 Brandstädt, Andreas 1 Brough, Tara 1 Bucher, Walter 1 Buescu, Jorge 1 Buser, Peter 1 Cain, Alan J. 1 Choffrut, Christian 1 Dana, Saswati 1 de Wolf, Ronald Michiel 1 Dong, Jing 1 Drewes, Frank 1 Ekanayake, Amy J. 1 Engelfriet, Joost 1 Ernvall, Mari 1 Fijalkow, Nathanaël 1 Finkel, Olivier 1 Hagauer, Johann 1 Haspolat, E. 1 Haussler, David 1 Higham, Desmond J. 1 Hirvensalo, Mika 1 Huard, Benjamin 1 Hule, Harald 1 Ito, Masami 1 Jilkine, Alexandra 1 Jonsson, Bengt 1 Kalantzis, Georgios 1 Kang, Hye-Won 1 Kim, Changwook 1 Kirsten, Daniel 1 Kozhevnikov, A. A. 1 Lange, Klaus-Jörn 1 Leite, Saul C. 1 Leupold, Peter 1 Liu, Qinghui 1 Manea, Florin 1 Marcinkowski, Jerzy 1 Mayr, Richard M. 1 McCune, David 1 Mitrana, Victor 1 Nikolenko, Sergey I. 1 Ouellette, Diane Valerie 1 Păun, Gheorghe 1 Pighizzini, Giovanni 1 Portier, Natacha 1 Raha, Soumyendu 1 Reutenauer, Christophe 1 Rigo, Michel 1 Riveros, Cristian 1 Sahla, Esa 1 Scarpellini, Bruno 1 Sun, Shuming 1 Tsitsiklis, John N. 1 Welzl, Emo 1 Williams, Ruth J. 1 Worrell, James B. 1 Xu, Bin all top 5 Cited in 32 Serials 28 Theoretical Computer Science 7 Information Processing Letters 6 Journal of Computer and System Sciences 5 Discrete Applied Mathematics 5 Information and Computation 3 Acta Informatica 3 International Journal of Computer Mathematics 2 Bulletin of Mathematical Biology 2 RAIRO, Informatique Théorique 2 Linear Algebra and its Applications 2 RAIRO. Informatique Théorique et Applications 2 RAIRO. Theoretical Informatics and Applications 1 Discrete Mathematics 1 Journal of Computational Physics 1 Problems of Information Transmission 1 Automatica 1 Information Sciences 1 Semigroup Forum 1 Transactions of the American Mathematical Society 1 Stochastic Analysis and Applications 1 Annals of Pure and Applied Logic 1 Journal of Complexity 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Multiscale Modeling & Simulation 1 Computational Biology and Chemistry 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 Groups, Geometry, and Dynamics 1 RAIRO. Theoretical Informatics and Applications 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge 1 ACM Transactions on Computation Theory all top 5 Cited in 18 Fields 77 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 8 Group theory and generalizations (20-XX) 7 Biology and other natural sciences (92-XX) 5 Numerical analysis (65-XX) 4 Probability theory and stochastic processes (60-XX) 3 Ordinary differential equations (34-XX) 3 Systems theory; control (93-XX) 2 Number theory (11-XX) 2 Associative rings and algebras (16-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year