EDBT 2026 Demo / reviewers in the wild / expert
Keijo Ruohonen
dblp:62/2970
· DBLP profile ↗
21ranked-venue papers
15as first author
0since 2021 · last 2011
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 17 · 15 first-authorDatabases, data management, data science and information retrieval · 3 · 3 first-authorApplied, interdisciplinary, general and emerging computing · 3Artificial intelligence and machine learning · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
3 papers |
Automata and formal languages · 83% Computational complexity · 12% Logic in computer science · 5% |
Topics — the 7 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages › formal language operations
complementation |
0.0 | 1 | 1981 | A Morphic Representation of Complements of Recursively Enumerable Sets · J. ACM 1981 |
Automata and formal languages › formal language operations
language equations |
0.0 | 1 | 1981 | A Morphic Representation of Complements of Recursively Enumerable Sets · J. ACM 1981 |
Automata and formal languages › formal language operations
morphisms |
0.0 | 1 | 1981 | A Morphic Representation of Complements of Recursively Enumerable Sets · J. ACM 1981 |
Automata and formal languages › formal language classes
recursively enumerable languages |
0.0 | 1 | 1981 | A Morphic Representation of Complements of Recursively Enumerable Sets · J. ACM 1981 |
Computational complexity
decidability |
0.0 | 1 | 1979 | On the Decidability of the OL-DOL Equivalence Problem · Inf. Control. 1979 |
Automata and formal languages
l systems |
0.0 | 1 | 1979 | On the Decidability of the OL-DOL Equivalence Problem · Inf. Control. 1979 |
Logic in computer science › logic programming › answer set programming
loop formulas |
0.0 | 1 | 1981 | A Morphic Representation of Complements of Recursively Enumerable Sets · J. ACM 1981 |
Methods — techniques the papers use, named apart from their topics
morphic representation · 0.0AFL closure · 0.0formal language theory · 0.0decidability proof · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2011 | Computational study of noise in a large signal transduction networkabstractBACKGROUND: Biochemical systems are inherently noisy due to the discrete reaction events that occur in a random manner. Although noise is often perceived as a disturbing factor, the system might actually benefit from it. In order to understand the role of noise better, its quality must be studied in a quantitative manner. Computational analysis and modeling play an essential role in this demanding endeavor. RESULTS: We implemented a large nonlinear signal transduction network combining protein kinase C, mitogen-activated protein kinase, phospholipase A2, and β isoform of phospholipase C networks. We simulated the network in 300 different cellular volumes using the exact Gillespie stochastic simulation algorithm and analyzed the results in both the time and frequency domain. In order to perform simulations in a reasonable time, we used modern parallel computing techniques. The analysis revealed that time and frequency domain characteristics depend on the system volume. The simulation results also indicated that there are several kinds of noise processes in the network, all of them representing different kinds of low-frequency fluctuations. In the simulations, the power of noise decreased on all frequencies when the system volume was increased. CONCLUSIONS: We concluded that basic frequency domain techniques can be applied to the analysis of simulation results produced by the Gillespie stochastic simulation algorithm. This approach is suited not only to the study of fluctuations but also to the study of pure noise processes. Noise seems to have an important role in biochemical systems and its properties can be numerically studied by simulating the reacting system in different cellular volumes. Parallel computing techniques make it possible to run massive simulations in hundreds of volumes and, as a result, accurate statistics can be obtained from computational studies. Jukka Intosalmi, Tiina Manninen, Keijo Ruohonen, Marja-Leena Linne |
BMC Bioinform. | 3 |
| 2006 | A novel approach to model neuronal signal transduction using stochastic differential equations
Tiina Manninen, Marja-Leena Linne, Keijo Ruohonen |
Neurocomputing | 3 |
| 2005 | Explicit test sets for iterated morphisms in free monoids and metabelian groupsabstractFor checking equivalence of any two word morphisms, restricted on a subset (language), it suffices to do this for a finite subset of the language, the so-called finite test set. A way of effectively obtaining a finite test set for a special class of languages, the so-called iterated morphisms, is presented here together with an explicit upper bound for its size. The method can be extended to free metabelian groups, and to certain other metabelian groups. Keijo Ruohonen |
Theor. Comput. Sci. | 1 |
| 2004 | Chomskian Hierarchies of Families of Sets of Piecewise Continuous Functions
Keijo Ruohonen |
Theory Comput. Syst. | 1 |
| 2001 | A three-year follow-up of Finnish telemedicine programsabstractThe objective of the paper is to follow-up the success of Finnish telemedicine programs identified in 1996 in a nation-wide survey. The methods used are questionnaires sent to those in charge of a total of 40 telemedicine programs identified in 1996. Of the results of the programs responding to the survey (36 out of 40, i.e., 90%), 69% were still operative at the time of the follow-up in 1999. According to the respondents, one-third of the programs were deemed to have had an impact on the working process of the organization. The majority of the programs lacked a clear effect in this respect. In only four cases out of 36, the telemedicine program was deemed to have achieved savings, three of the programs had brought about extra costs, and four were cost neutral. However, in the majority of the cases, the respondents were not able to assess the financial impart of the program. The average duration of the programs still in progress was 4.2 years and those terminated was 2.5 years. The average number of patients treated in the programs still in progress was 370, i.e., approximately 88 patients per year. Of the telemedicine programs identified three years earlier, two-thirds were still in progress during the repeat survey. The average number of patients treated per year in these programs was relatively small, suggesting that telemedicine was not very successful in replacing traditional ways of delivering patient care. In line with this, only a minority of the programs were deemed to have had an effect on the working process of the organization, and cost savings were achieved in only a handful of cases. Hannu Lamminen, V. Sernberg, Keijo Ruohonen, R. Roine |
IEEE Trans. Inf. Technol. Biomed. | 3 |
| 1999 | Solving Equivalence of Recurrent Sequences in Groups by Polynomial ManipulationabstractMethods are described for reducing the equivalence problem for sequences defined by recurrence equations in various finitely generated groups to polynomial Gröbner basis constructions. The methods are simple enough to allow a straigthforward implemen Keijo Ruohonen |
Fundam. Informaticae | 1 |
| 1985 | A morphic representation of EOL languages and other ETOL languages
Andrzej Ehrenfeucht, Grzegorz Rozenberg, Keijo Ruohonen |
Discret. Appl. Math. | 3 |
| 1985 | On Equality of Multiplicity Sets of Regular Languages
Keijo Ruohonen |
Theor. Comput. Sci. | 1 |
| 1984 | A note on off-line machines with 'brownian' input heads
Keijo Ruohonen |
Discret. Appl. Math. | 1 |
| 1983 | On Some Variants of Post's Correspondence Problem
Keijo Ruohonen |
Acta Informatica | 1 |
| 1981 | On a variant of a method of Berstel's and Nielsen's
Keijo Ruohonen |
Fundam. Informaticae | 1 |
| 1981 | A Morphic Representation of Complements of Recursively Enumerable SetsabstractAfter extending two word morphismsfand g to languages, an equationf(X) = g(X) can be written and ItS language soluUons investigated.An elementary characterization of the famdy of all solutions of the equation is ~ven, and it is used to mvesttgate the maximal solution which is the mum subject of this paper.It turns out that going through all propagating morphismsf and g, the family of maximal solutions obtained equals the famdy of complements of recurslvely enumerable languages after intersecting with regular languages and mapping with propagating morphisms.In the general case (of arbitrary morphismsf and g) the corresponding family is larger and includes the full-AFL closure of the family of complements of recursively enumerable languages. Andrzej Ehrenfeucht, Grzegorz Rozenberg, Keijo Ruohonen |
J. ACM | 3 |
| 1981 | The Decidability of the D0L-DT0L Equivalence Problem
Keijo Ruohonen |
J. Comput. Syst. Sci. | 1 |
| 1979 | On the Decidability of the OL-DOL Equivalence Problem
Keijo Ruohonen |
Inf. Control. | 1 |
| 1979 | The Decidability of the F0L-D0L Equivalence Problem
Keijo Ruohonen |
Inf. Process. Lett. | 1 |
| 1979 | On Some Decidability Problems for HD0L Systems with Nonsingular Parikh Matrices
Keijo Ruohonen |
Theor. Comput. Sci. | 1 |
| 1978 | A Note on Language Equations Involving Morphisms
Keijo Ruohonen |
Inf. Process. Lett. | 1 |
| 1978 | Isomorphism, Form Equivalence and Sequence Equivalence of PD0L Forms
Karel Culík II, Hermann A. Maurer, Thomas Ottmann, Keijo Ruohonen, Arto Salomaa |
Theor. Comput. Sci. | 4 |
| 1976 | Zeros of Z -Rational Functions and D0L Equivalence
Keijo Ruohonen |
Theor. Comput. Sci. | 1 |
| 1975 | Developmental Systems with Interaction and Fragmentation
Keijo Ruohonen |
Inf. Control. | 1 |
| 1975 | Three Results of Comparison Between L Languages with and without Interaction
Keijo Ruohonen |
Inf. Process. Lett. | 1 |