×

zbMATH — the first resource for mathematics

Ruohonen, Keijo

Compute Distance To:
Author ID: ruohonen.keijo Recent zbMATH articles by "Ruohonen, Keijo"
Published as: Ruohonen, Keijo; Ruohonen, K.
Documents Indexed: 42 Publications since 1972

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 133 times in 91 Documents Cited by Year
Reversible machines and Post’s correspondence problem for biprefix morphisms. Zbl 0604.68057
Ruohonen, Keijo
21
1985
Equivalence problems for regular sets of word morphisms. Zbl 0612.68052
Ruohonen, Keijo
7
1986
An effective Cauchy-Peano exististence theorem for unique solutions. Zbl 0854.34010
Ruohonen, Keijo
6
1996
Developing Itô stochastic differential equation models for neuronal signal transduction pathways. Zbl 1098.92035
Manninen, Tiina; Linne, Marja-Leena; Ruohonen, Keijo
6
2006
The inclusion problem for DOL languages. Zbl 0428.68081
Ruohonen, Keijo
6
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
On equality of multiplicity sets of regular languages. Zbl 0611.68049
Ruohonen, Keijo
5
1985
The decidability of the DOL-DTOL equivalence problem. Zbl 0491.68048
Ruohonen, Keijo
5
1981
On some variants of Post’s correspondence problem. Zbl 0537.68080
Ruohonen, Keijo
5
1983
On the synthesis of DOL growth. Zbl 0326.68054
Ruohonen, Keijo
5
1975
Explicit test sets for iterated morphisms in free monoids and metabelian groups. Zbl 1078.68094
Ruohonen, Keijo
5
2005
On the images of \(\mathbb N\)-rational sequences counting multiplicities. Zbl 1103.68579
Honkala, Juha; Ruohonen, Keijo
4
2003
On a variant of a method of Berstel’s and Nielsen’s. Zbl 0475.68044
Ruohonen, Keijo
4
1981
A morphic representation of complements of recursively enumerable sets. Zbl 0491.68078
Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K.
4
1981
A note on language equations involving morphisms. Zbl 0385.68058
Ruohonen, Keijo
4
1978
The decidability of the FOL-DOL equivalence problem. Zbl 0403.68068
Ruohonen, Keijo
4
1979
On the decidability of the OL-DOL equivalence problem. Zbl 0412.68062
Ruohonen, Keijo
4
1979
On circular words and \((\omega^*+\omega)\)-powers of words. Zbl 0365.68081
Ruohonen, Keijo
3
1977
On machine characterization of nonrecursive hierarchies. Zbl 0562.03023
Ruohonen, Keijo
3
1984
A morphic representation of EOL languages and other ETOL languages. Zbl 0579.68046
Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K.
3
1985
Developmental systems with interaction and fragmentation. Zbl 0305.68062
Ruohonen, K.
3
1975
Zeros of Z-rational functions and DOL equivalence. Zbl 0355.68057
Ruohonen, Keijo
3
1977
D0L sequence equivalence is in P for fixed alphabets. Zbl 1144.68037
Ruohonen, Keijo
3
2008
Solving equivalence of recurrent sequences in groups by polynomial manipulation. Zbl 0935.68134
Ruohonen, Keijo
2
1999
Undecidability of event detection for ODEs. Zbl 0771.65035
Ruohonen, Keijo
2
1993
Undecidable event detection problems for ODEs of dimension one and two. Zbl 0878.68062
Ruohonen, Keijo
2
1997
On some decidability problems for HDOL systems with nonsingular Parikh matrices. Zbl 0414.68044
Ruohonen, Keijo
2
1979
Three results of comparison between L languages with and without interaction. Zbl 0312.68044
Ruohonen, Keijo
2
1975
Some combinatorial mappings of words. Zbl 0332.68052
Ruohonen, Keijo
2
1976
A note on off-line machines with ’Brownian’ input heads. Zbl 0553.03026
Ruohonen, Keijo
1
1984
JL systems with non-fragmented axioms: The hierarchy. Zbl 0334.68047
Ruohonen, Keijo
1
1975
Developmental systems with fragmentation. Zbl 0343.68040
Rozenberg, G.; Ruohonen, K.; Salomaa, A.
1
1976
D0L sequence equivalence is in P for fixed alphabets. Zbl 1144.68037
Ruohonen, Keijo
3
2008
Developing Itô stochastic differential equation models for neuronal signal transduction pathways. Zbl 1098.92035
Manninen, Tiina; Linne, Marja-Leena; Ruohonen, Keijo
6
2006
Explicit test sets for iterated morphisms in free monoids and metabelian groups. Zbl 1078.68094
Ruohonen, Keijo
5
2005
On the images of \(\mathbb N\)-rational sequences counting multiplicities. Zbl 1103.68579
Honkala, Juha; Ruohonen, Keijo
4
2003
Solving equivalence of recurrent sequences in groups by polynomial manipulation. Zbl 0935.68134
Ruohonen, Keijo
2
1999
Undecidable event detection problems for ODEs of dimension one and two. Zbl 0878.68062
Ruohonen, Keijo
2
1997
An effective Cauchy-Peano exististence theorem for unique solutions. Zbl 0854.34010
Ruohonen, Keijo
6
1996
Undecidability of event detection for ODEs. Zbl 0771.65035
Ruohonen, Keijo
2
1993
Equivalence problems for regular sets of word morphisms. Zbl 0612.68052
Ruohonen, Keijo
7
1986
Reversible machines and Post’s correspondence problem for biprefix morphisms. Zbl 0604.68057
Ruohonen, Keijo
21
1985
On equality of multiplicity sets of regular languages. Zbl 0611.68049
Ruohonen, Keijo
5
1985
A morphic representation of EOL languages and other ETOL languages. Zbl 0579.68046
Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K.
3
1985
On machine characterization of nonrecursive hierarchies. Zbl 0562.03023
Ruohonen, Keijo
3
1984
A note on off-line machines with ’Brownian’ input heads. Zbl 0553.03026
Ruohonen, Keijo
1
1984
On some variants of Post’s correspondence problem. Zbl 0537.68080
Ruohonen, Keijo
5
1983
The decidability of the DOL-DTOL equivalence problem. Zbl 0491.68048
Ruohonen, Keijo
5
1981
On a variant of a method of Berstel’s and Nielsen’s. Zbl 0475.68044
Ruohonen, Keijo
4
1981
A morphic representation of complements of recursively enumerable sets. Zbl 0491.68078
Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K.
4
1981
The inclusion problem for DOL languages. Zbl 0428.68081
Ruohonen, Keijo
6
1979
The decidability of the FOL-DOL equivalence problem. Zbl 0403.68068
Ruohonen, Keijo
4
1979
On the decidability of the OL-DOL equivalence problem. Zbl 0412.68062
Ruohonen, Keijo
4
1979
On some decidability problems for HDOL systems with nonsingular Parikh matrices. Zbl 0414.68044
Ruohonen, 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.68058
Ruohonen, Keijo
4
1978
On circular words and \((\omega^*+\omega)\)-powers of words. Zbl 0365.68081
Ruohonen, Keijo
3
1977
Zeros of Z-rational functions and DOL equivalence. Zbl 0355.68057
Ruohonen, Keijo
3
1977
Some combinatorial mappings of words. Zbl 0332.68052
Ruohonen, Keijo
2
1976
Developmental systems with fragmentation. Zbl 0343.68040
Rozenberg, G.; Ruohonen, K.; Salomaa, A.
1
1976
On the synthesis of DOL growth. Zbl 0326.68054
Ruohonen, Keijo
5
1975
Developmental systems with interaction and fragmentation. Zbl 0305.68062
Ruohonen, K.
3
1975
Three results of comparison between L languages with and without interaction. Zbl 0312.68044
Ruohonen, Keijo
2
1975
JL systems with non-fragmented axioms: The hierarchy. Zbl 0334.68047
Ruohonen, Keijo
1
1975
all top 5

Cited by 83 Authors

18 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 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 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 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

Citations by Year