Tampere University of Technology

TUTCRIS Research Portal

Department of Mathematics

Research unit: Department

  1. Published

    Social Approach for Context Analysis: Modelling and Predicting Social Network Evolution using Homophily

    Rivero-Rodriguez, A., Pileggi, P. P. & Nykänen, O. A., 2015, Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, Novemer 2-6,2015. Proceedings. Springer International Publishing, p. 513-519 7 p. (Lecture Notes in Artificial Intelligence; vol. 9405).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  2. Published

    Mobile Context-Aware Systems: Technologies, Resources and Applications

    Rivero-Rodriguez, A., Pileggi, P. & Nykänen, O. A., 2016, In : International Journal of Interactive Mobile Technologies. 10, 2, p. 25-32 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    Context Awareness for Semantic Mobile Computing

    Rivero-Rodriguez, A. & Nykänen, O., 2017, Multi-Technology Positioning. Nurmi, J., Lohan, E-S., Wymeersch, H., Seco-Granados, G. & Nykänen, O. (eds.). Cham: Springer International Publishing, p. 251-267 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  4. Published

    Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

    Rodriguez, J. T., Turunen, E., Ruan, D. & Montero, J., 2014, In : Fuzzy Sets and Systems. 242, p. 132-147 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Alumni Network Analysis

    Rubens, N., Russell, M. G., Perez, R., Huhtamäki, J., Still, K., Kaplan, D. & Okamoto, T., 2011, 2011 IEEE 2nd Global Engineering Education Conference EDUCON, 4-6 April 2011, Amman, Jordan. Piscataway, NJ: IEEE, p. 606-611 (IEEE Global Engineering Education Conference EDUCON).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. Published

    Undecidability of Event Detection for ODEs

    Ruohonen, K., 1993, In : Journal of Information Processing and Cybernetics EIK. 29, 2, p. 101-113

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    On Equality of Multiplicity Sets of Regular Languages

    Ruohonen, K., 1985, In : Theoretical Computer Science. 36, p. 113-117

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    Luotettavuus, käytettävyys, huollettavuus

    Ruohonen, K., 1996, Tampere: Tampereen teknillinen korkeakoulu. 118 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 186)

    Research output: Book/ReportBookProfessional

  9. Published

    Matemaattinen kryptologia

    Ruohonen, K., 2005, Tampere: Unknown Publisher. 131 p. (Tampereen teknillinen yliopisto. Opintomoniste; vol. 3)

    Research output: Book/ReportBookProfessional

  10. Published

    Undecidable Event Detection Problems for ODEs of Dimension One and Two

    Ruohonen, K., 1997, In : Informatique theorique et Applications / Theoretical Informatics and Applications. 31, 1, p. 67-79

    Research output: Contribution to journalArticleScientificpeer-review

  11. Published

    Tilastomatematiikka

    Ruohonen, K., 2007, Unknown Publisher. 88 p.

    Research output: Book/ReportBookProfessional

  12. Published

    Equivalence problems for regular sets of word morphisms

    Ruohonen, K., 1986, The book of L. Rozenberg, G. & Salomaa, A. (eds.). Berlin: Springer Verlag, p. 393-401

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  13. Published

    An Effective Cauchy-Peano Existence Theorem for Unique Solutions

    Ruohonen, K., 1996, In : International Journal of Foundations of Computer Science. 7, 2, p. 151-160

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

    Graafiteoria

    Ruohonen, K., 2000, Tampere: Tampereen teknillinen korkeakoulu. 95 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 220)

    Research output: Book/ReportBookProfessional

  15. Published

    Undecidable Event Detection Problems for ODEs of Low Dimension

    Ruohonen, K., 1995, Tampere: Tampere University of Technology. 12 p. (Tampere University of Technology, Department of Information Technolog Mathematics, Report; no. 67)

    Research output: Book/ReportCommissioned reportProfessional

  16. Published

    Designing Sundials by MATLAB and MAPLE

    Ruohonen, K., 1995, Tampere: Tampere University of Technology. 66 p. (Tampere University of Technology, Department of Information Technolog Mathematics, Software Report; no. 9)

    Research output: Book/ReportCommissioned reportProfessional

  17. Published

    Stokastiset prosessit

    Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. 108 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 135)

    Research output: Book/ReportCommissioned reportProfessional

  18. Published

    An Effective Cauchy-Peano Existence Theorem for Unique Solutions

    Ruohonen, K., 1993, Tampere: Tampere University of Technology. 9 p. (Tampere University of Technology, Department of Information Technology, Mathematics, Report; no. 63)

    Research output: Book/ReportCommissioned reportProfessional

  19. Published

    Tilastollinen kokeiden suunnittelu ja otanta

    Ruohonen, K., 1999, Tampereen teknillinen korkeakoulu. 96 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 215)

    Research output: Book/ReportBookProfessional

  20. Published

    Noncommutative Recurrences

    Ruohonen, K., 1987, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka, Raportti; no. 53)

    Research output: Book/ReportCommissioned reportProfessional

  21. Published

    A Note on Permutational Variants of Post`s Correspondense Problem

    Ruohonen, K., 1984, Tampere: Tampere University of Technology. (Tampere University of Technology, Dept of Electr. Eng., Mathematics, Report; no. 46)

    Research output: Book/ReportCommissioned reportProfessional

  22. Published

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1997, In : Complexity. 2, 6, p. 41-53

    Research output: Contribution to journalArticleScientificpeer-review

  23. Published

    Otanta, laadunvalvonta ja kokeiden suunnittelu

    Ruohonen, K., 1991, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 145)

    Research output: Book/ReportCommissioned reportProfessional

  24. Published

    A Note on Off-line Machines with "Brownian" Input Heads

    Ruohonen, K., 1984, In : Discrete Applied Mathematics. 9, p. 69-75

    Research output: Contribution to journalArticleScientificpeer-review

  25. Published

    Chomskian hierarchies of families of sets of piecewise continuous functions

    Ruohonen, K., 2004, In : Theory of Computing Systems. 37, p. 609-638

    Research output: Contribution to journalArticleScientificpeer-review

  26. Published

    Laadunvalvonnan ja tarkastusotannan suunnittelu MAPLE-ohjelmistolla

    Ruohonen, K., 1992, Tampere: Tampereen teknillinen korkeakoulu. 60 p. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto. Matematiikan ohjelmistoraportti; no. 6)

    Research output: Book/ReportCommissioned reportProfessional

  27. Published

    Graafiteoria

    Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 136)

    Research output: Book/ReportCommissioned reportProfessional

  28. Published

    Sundials and Mathematical Surfaces

    Ruohonen, K., 2001, In : The Compendium. Journal of the North American Sundial Society. 8, 1, p. 1-9 9 p.

    Research output: Contribution to journalArticleScientific

  29. Published

    Deciding Equivalence of Recurrent Sequences in Free Monoids and Metabelian Groups by Polynomial Manipulation

    Ruohonen, K., 1994, Tampere: Tampere University of Technology. 22 p. (Tampere University of Technology, Department of Information Technology, Mathematics, Report; no. 65)

    Research output: Book/ReportCommissioned reportProfessional

  30. Published

    On Machine Characterization of Nonrecursive Hierarchies

    Ruohonen, K., 1984, Annales Universitatis Turkuensis, Series A. p. 87-101

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  31. Published

    Koodaus- ja informaatioteoria

    Ruohonen, K., 1993, Tampere: Tampereen teknillinen korkeakoulu. 132 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 168)

    Research output: Book/ReportCommissioned reportProfessional

  32. Published

    Kryptologia

    Ruohonen, K., 1999, Tampere: TTKK. 116 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 211)

    Research output: Book/ReportBookProfessional

  33. Published

    Graafiteoria

    Ruohonen, K., 2004, Unknown Publisher. 96 p. (Tampereen teknillinen yliopisto. Opintomoniste; no. 1)

    Research output: Book/ReportBookProfessional

  34. Published

    Kryptologia

    Ruohonen, K., 2002, Tampereen teknillinen korkeakoulu. 110 p. (TTKK, Opintomoniste; no. 230)

    Research output: Book/ReportBookProfessional

  35. Published

    Formal languages

    Ruohonen, K., 2009, Unknown Publisher. 97 p.

    Research output: Book/ReportBookProfessional

  36. Published

    Event Detection for ODEs and Nonrecursive Hierarchies

    Ruohonen, K., 1994, Lecture Notes in C Science. Karhumäki, J., Mauer, H. & Rozenberg, G. (eds.). p. 358-371

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  37. Published

    Formaalit kielet

    Ruohonen, K., 2005, Unknown Publisher.

    Research output: Book/ReportBookProfessional

  38. Published

    Symbolinen analyysi

    Ruohonen, K., 2000, Tampere: Tampereen teknillinen korkeakoulu. 129 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 221)

    Research output: Book/ReportBookProfessional

  39. Published

    Graph Theory

    Ruohonen, K., Tamminen, J., Lee, K-C. & Piche, R., 2006, Unknown Publisher. 97 p.

    Research output: Book/ReportBookProfessional

  40. Published

    Laadunvalvonta ja tarkastusotanta

    Ruohonen, K., 2002, Tampereen teknillinen korkeakoulu. 80 p. (TTKK, Opintomoniste; no. 229)

    Research output: Book/ReportBookProfessional

  41. Published

    Algoritmimatematiikka

    Ruohonen, K., 1990, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 137)

    Research output: Book/ReportCommissioned reportProfessional

  42. Published

    Event Detection for ODEs and Nonrecursive Hierarchies

    Ruohonen, K., 1992, Tampere: Tampereen teknillinen korkeakoulu. 15 p. (Tampereen teknillinen korkeakoulu, Department of Electrical Engineering, Math ematics, Report; no. 61)

    Research output: Book/ReportCommissioned reportProfessional

  43. Published

    Designing Sundials by Matlab and Maple

    Ruohonen, K., 2003, Glastonbury,Ct, USA: North American Sundial Society. 67 p. (North American Sundial Society Repository CD)

    Research output: Book/ReportBookProfessional

  44. Published

    Mathematical cryptology

    Ruohonen, K., Kangas, J. & Coughlan, P., 2006, Unknown Publisher. 133 p.

    Research output: Book/ReportBookProfessional

  45. Published

    Tilastollinen laadunvalvonta

    Ruohonen, K., 1999, Tampereen teknillinen korkeakoulu. 62 p. (TTKK:n opintomoniste; no. 214)

    Research output: Book/ReportBookProfessional

  46. Published

    Symbolinen analyysi

    Ruohonen, K., 1997, Tampere: Tampereen teknillinen korkeakoulu. 138 p. (Tampereen teknillinen korkeakoulu, Opintomoniste; no. 198)

    Research output: Book/ReportBookProfessional

  47. Published

    Turing Machine Simulation by ODEs

    Ruohonen, K., 1991, Tampere: Tampereen teknillinen korkeakoulu. 24 p. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka, Rapor tti; no. 59)

    Research output: Book/ReportCommissioned reportProfessional

  48. Published

    Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation

    Ruohonen, K., 1999, In : Fundamenta Informaticae. 38, p. 135-148

    Research output: Contribution to journalArticleScientificpeer-review

  49. Published

    Test sets for iterated morphisms

    Ruohonen, K., 1986, Tampere: Tampereen teknillinen korkeakoulu. (Tampereen teknillinen korkeakoulu, Sähkötekniikan osasto, Matematiikka, Raportti; no. 49)

    Research output: Book/ReportCommissioned reportProfessional

  50. Published

    Decidability and Complexity of Event Detection Problems for ODEs

    Ruohonen, K., 1996, Tampere: Tampere University of Technology. 28 p. (Tampere University of Technology, Department of Information Technology , Mathematics Report; no. 70)

    Research output: Book/ReportCommissioned reportProfessional

ID: 22096