Ruohonen, Keijo

name

• Ruohonen, Keijo

Authored works

• A note on Permutational variants of post's correspondence problem
• Algoritmimatematiikka
• An effective Cauchy-Peano Existence Theorem for unique solutions
• Decidability and complexity of event detection problems for ODEs
• Deciding equivalence of recurrent sequences in free monoids and metabelian groups by polynomial manipulation
• Designing sundials by MATLAB and MAPLE
• Event detection for ODEs and nonrecursive hierarchies
• Graafiteoria
• Koodaus- ja informaatioteoria
• Kryptologia
• Laadunvalvonnan ja tarkastusotannan suunnittelu MAPLE-ohjelmistolla
• Laadunvalvonta ja tarkastusotanta
• Luotettavuus, käytettävyys, huollettavuus
• Matemaattinen kryptologia
• Noncommutative recurrences
• Osittaisdifferentiaaliyhtälöt
• Otanta, laadunvalvonta ja kokeiden suunnittelu
• Some combinatorial mappings of words
• Stokastiset prosessit
• Symbolinen analyysi
• Test sets for iterated morphisms
• Tilastollinen kokeiden suunnittelu ja otanta
• Tilastollinen laadunvalvonta
• Turing machine simulation by ODEs
• Undecidability of event detection for ODEs
• Undecidable event detection problems for ODEs of low dimension

Works contributed to

• Laaja tilastomatematiikka
• Laaja vektorianalyysi
• Partial differential equations with Maple
• Structurally restricted maximal solutions of language equations involving morphisms

Works about Ruohonen, Keijo