 | 2008 |
|---|
| 31 |       | Keijo Ruohonen:
D0L sequence equivalence is in P for fixed alphabets.
ITA 42(2): 361-374 (2008) |
| 2006 |
|---|
| 30 | | Tiina Manninen,
Marja-Leena Linne,
Keijo Ruohonen:
Developing Itô stochastic differential equation models for neuronal signal transduction pathways.
Computational Biology and Chemistry 30(4): 280-291 (2006) |
| 29 | | Tiina Manninen,
Marja-Leena Linne,
Keijo Ruohonen:
A novel approach to model neuronal signal transduction using stochastic differential equations.
Neurocomputing 69(10-12): 1066-1069 (2006) |
| 2005 |
|---|
| 28 | | Keijo Ruohonen:
Explicit test sets for iterated morphisms in free monoids and metabelian groups.
Theor. Comput. Sci. 330(1): 171-191 (2005) |
| 2004 |
|---|
| 27 | | Keijo Ruohonen:
Chomskian Hierarchies of Families of Sets of Piecewise Continuous Functions.
Theory Comput. Syst. 37(5): 609-638 (2004) |
| 2003 |
|---|
| 26 | | Juha Honkala,
Keijo Ruohonen:
On the Images of N-Rational Sequences Counting Multiplicities.
IJAC 13(3): 303-321 (2003) |
| 2001 |
|---|
| 25 | | Hannu Lamminen,
Keijo Ruohonen,
H. Uusitalo:
Visual tests for measuring the picture quality of teleconsultations for medical purposes.
Computer Methods and Programs in Biomedicine 65(2): 95-110 (2001) |
| 24 |  | Hannu Lamminen,
V. Sernberg,
Keijo Ruohonen,
R. Roine:
A three-year follow-up of Finnish telemedicine programs.
IEEE Transactions on Information Technology in Biomedicine 5(2): 174-177 (2001) |
| 1999 |
|---|
| 23 | | Keijo Ruohonen:
Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation.
Fundam. Inform. 38(1-2): 135-148 (1999) |
| 1997 |
|---|
| 22 | | Keijo Ruohonen:
Undecidable Event Detection Problems for Odes of Dimension One and Two.
ITA 31(1): 67-79 (1997) |
| 1996 |
|---|
| 21 | | Keijo Ruohonen:
An Effective Cauchy-Peano Existence Theorem for Unique Solutions.
Int. J. Found. Comput. Sci. 7(2): 151-160 (1996) |
| 1994 |
|---|
| 20 | | Keijo Ruohonen:
Event Detection for ODEs and Nonrecursive Hierarchies.
Results and Trends in Theoretical Computer Science 1994: 358-371 |
| 1993 |
|---|
| 19 | | Keijo Ruohonen:
Undecidability of Event Detection for ODEs.
Elektronische Informationsverarbeitung und Kybernetik 29(2): 101-113 (1993) |
| 1985 |
|---|
| 18 | | Keijo Ruohonen:
Reversible Machines and Post's Correspondence Problem for Biprefix Morphisms.
Elektronische Informationsverarbeitung und Kybernetik 21(12): 579-595 (1985) |
| 17 | | Keijo Ruohonen:
On Equality of Multiplicity Sets of Regular Languages.
Theor. Comput. Sci. 36: 113-117 (1985) |
| 1983 |
|---|
| 16 | | Keijo Ruohonen:
On Some Variants of Post's Correspondence Problem.
Acta Inf. 19: 357-367 (1983) |
| 1981 |
|---|
| 15 | | Keijo Ruohonen:
On a variant of a method of Berstel's and Nielsen's.
Fundam. Inform. 4(2): 369-400 (1981) |
| 14 | | Andrzej Ehrenfeucht,
Grzegorz Rozenberg,
Keijo Ruohonen:
A Morphic Representation of Complements of Recursively Enumerable Sets.
J. ACM 28(4): 706-714 (1981) |
| 13 | | Keijo Ruohonen:
The Decidability of the D0L-DT0L Equivalence Problem.
J. Comput. Syst. Sci. 22(1): 42-52 (1981) |
| 1979 |
|---|
| 12 | | Keijo Ruohonen:
The Inclusion Problem for DOI Languages.
Elektronische Informationsverarbeitung und Kybernetik 15(11): 535-548 (1979) |
| 11 | | Keijo Ruohonen:
The Decidability of the F0L-D0L Equivalence Problem.
Inf. Process. Lett. 8(5): 257-260 (1979) |
| 10 | | Keijo Ruohonen:
On the Decidability of the OL-DOL Equivalence Problem
Information and Control 40(3): 301-318 (1979) |
| 9 | | Keijo Ruohonen:
On Some Decidability Problems for HD0L Systems with Nonsingular Parikh Matrices.
Theor. Comput. Sci. 9: 377-384 (1979) |
| 1978 |
|---|
| 8 | | Keijo Ruohonen:
Remarks on Locally Catenative Developmental Sequences.
Elektronische Informationsverarbeitung und Kybernetik 14(4): 171-180 (1978) |
| 7 | | Keijo Ruohonen:
A Note on Language Equations Involving Morphisms.
Inf. Process. Lett. 7(5): 209-212 (1978) |
| 6 | | Karel Culik II,
Hermann A. Maurer,
Thomas Ottmann,
Keijo Ruohonen,
Arto Salomaa:
Isomorphism, Form Equivalence and Sequence Equivalence of PD0L Forms.
Theor. Comput. Sci. 6: 143-173 (1978) |
| 1977 |
|---|
| 5 | | Keijo Ruohonen:
On Circular Words and (omega* + omega)-Powers of Words.
Elektronische Informationsverarbeitung und Kybernetik 13(1/2): 3-12 (1977) |
| 4 | | Keijo Ruohonen:
A Note on Equal Powers of Word Morphisms.
ITA 11(3): 207-211 (1977) |
| 1976 |
|---|
| 3 | | Keijo Ruohonen:
Zeros of Z -Rational Functions and D0L Equivalence.
Theor. Comput. Sci. 3(3): 283-292 (1976) |
| 1975 |
|---|
| 2 | | Keijo Ruohonen:
Three Results of Comparison Between L Languages with and without Interaction.
Inf. Process. Lett. 4(1): 7-10 (1975) |
| 1 | | Keijo Ruohonen:
Developmental Systems with Interaction and Fragmentation
Information and Control 28(2): 91-112 (1975) |
