TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. Julkaistu

    Requirements for Successful Self-care Technology Products for the Elderly

    Värri, A., 2014, RCITD 2014, Proceedings in research conference in technical disciplines, November 17-21, 2014, Zilina, Slovakia. Mokrys, M. & Badura, S. (toim.). EDIS - Publishing Institution of the University of Zilina, s. 86-90 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    e-Health ohjelmistot ja uuden lääkelaitedirektiivin vaikutukset

    Värri, A., 2010, The 15th Finnish National conference on Telemedicine and eHealth, MS Viking Mariella, Helsinki - Stockholm, 8-10 April 2010. s. 65-66

    Tutkimustuotos

  3. Julkaistu

    Balancing Expectations to the Health Software Production Process Standard

    Värri, A., 2015, The 3rd International Virtual Research Conference In Technical Disciplines. (RCITD - Proceedings in Research Conference in Technical Disciplines).

    Tutkimustuotosvertaisarvioitu

  4. Julkaistu

    Transatlantic collection of health informatics competencies

    Värri, A., Blake, R., Roberts, J., Fenton, S., Cleary, M., Zacks, S., Datta, G., Kaye, R., Parker, J., Nguyen, C., Dougherty, M., Barry, N. & Cunningham, F., 23 toukokuuta 2016, julkaisussa : Finnish Journal of eHealth and eWelfare. 8, 2-3, s. 127-136 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    IEC 62304 Ed. 2: Software Life Cycle Standard for Health Software

    Värri, A., Kranz-Zuppan, P. & de la Cruz, R., 23 elokuuta 2019, Medinfo 2019: Proceedings of the 17th World Congress on Medical and Health Informatics. Ohno-Machado, L. & Séroussi, B. (toim.). IOP Press, s. 868-872 5 Sivumäärä (Studies in Health Technology and Informatics; painos 264).

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Process assessment in very small entities

    Varkoi, T., 2010, Proceedings, Seventh International Conference on the Quality of Information and Communications Technology QUATIC, 29 September - 2 October 2010, Porto, Portugal. Abreu, F. B. E. & de Faria, J. P. (toim.). s. 436-440

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Toward nuclear SPICE - integrating IEC 61508, IEC 60880 and SPICE

    Varkoi, T., Nevalainen, R. & Mäkinen, T., 2013, julkaisussa : Journal of Software: Evolution and Process. 5 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    A process assessment model for very small software entities

    Varkoi, T. & Mäkinen, T., 2010, Process Improvement and Capability Determination in Software, Systems Engineering and Service Management, Proceedings of: 10th International SPICE Conference 2010, Pisa, Italy 18-20 May, 2010. Rout, T., Lami, G. & Fabbrini, F. (toim.). s. 105-113 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  9. Julkaistu

    Towards systematic compliance evaluation using safety-oriented process lines and evidence mapping

    Varkoi, T., Mäkinen, T., Gallina, B., Cameron, F. & Nevalainen, R., 2017, Systems, Software and Services Process Improvement - 24th European Conference, EuroSPI 2017, Proceedings. Springer Verlag, s. 83-95 13 Sivumäärä (Communications in Computer and Information Science; painos 748).

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Validating Effectiveness of Compliance Evaluation in Safety-Critical Process Assessment

    Varkoi, T., Mäkinen, T., Cameron, F. & Nevalainen, R., 2018, Systems, Software and Services Process Improvement - 25th European Conference, EuroSPI 2018, Proceedings. Springer Verlag, s. 181-192 12 Sivumäärä (Communications in Computer and Information Science; painos 896).

    Tutkimustuotosvertaisarvioitu

  11. Julkaistu

    Validating effectiveness of safety requirements' compliance evaluation in process assessments

    Varkoi, T., Mäkinen, T., Cameron, F. & Nevalainen, R., 2020, julkaisussa : Journal of Software: Evolution and Process. 32, 3, 16 Sivumäärä, e2177.

    Tutkimustuotosvertaisarvioitu

  12. Julkaistu

    Ripple thermostat: Affecting the emotional experience through interactive force feedback and shape change

    Van Oosterhout, A., Alonso, M. B. & Jumisko-Pyykkö, S., 20 huhtikuuta 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems . ACM, 655

    Tutkimustuotosvertaisarvioitu

  13. Julkaistu

    Counteract or Assist?: Influence of Dynamic Force-feedback on Emotions

    van Oosterhout, A., Jumisko-Pyykkö, S. & Alonso, M. B., joulukuuta 2016, Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia. New York, NY, USA: ACM, s. 241-247 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  14. Julkaistu

    Business Model of Long-term Browser-based Games - Income without Game Packages

    Vanhatupa, J-M., 2011, 7th International Conference on Next Generation Web Services Practices NWeSP 2011, 19-21, October 2011, Salamanca, Spain. Piscataway, NJ: IEEE, s. 369-372 (International Conference on Next Generation Web Services Practices NWeSP).

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Browser games: The new frontier of social gaming

    Vanhatupa, J-M., 2010, Recent Trends in Wireless and Mobile Networks, Second International Networks, WiMo 2010, Ankara, Turkey, June 2010. Communications in Computer and Information Science. Özcan, A., Chaki, N. & Nagalamai, D. (toim.). s. 349-355

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    On the Development of Browser Games - Technologies of an Emerging Genre

    Vanhatupa, J-M., 2011, 7th International Conference on Next Generation Web Services Practices NWeSP 2011, 19-21, October 2011, Salamanca, Spain. Piscataway, NJ: IEEE, s. 363-368 (International Conference on Next Generation Web Services Practices NWeSP).

    Tutkimustuotosvertaisarvioitu

  17. Julkaistu

    Organizing and evaluating course on embedded programming

    Vanhatupa, J-M., Salminen, A. & Järvinen, H-M., 2010, Koli Calling '10, Proceedings of the 10th Koli Calling International Conference on Computing Education Research, October 28th to 31st, 2010, Koli National Park, Finland. s. 1-6 6 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  18. Julkaistu

    On the Development of Browser Games - Current Technologies and the Future

    Vanhatupa, J-M., 2012, julkaisussa : International Journal of Computer Information Systems and Industrial Management Applications. 5, s. 60-68

    Tutkimustuotosvertaisarvioitu

  19. Julkaistu

    Towards extensible and personalized computer role-playing game fantasy worlds

    Vanhatupa, J-M., 2012, 4th Computer science and Electronic Engineering Conference, CEEC 2012, 12th-13th September 2012, Colchester, Essex, UK. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, s. 187-190 (Computer Science and Electronic Engineering Conference).

    Tutkimustuotosvertaisarvioitu

  20. Julkaistu

    Game Engines in Game Programming Education – Experiences from Use of the CAGE Game Engine

    Vanhatupa, J-M., 2011, 11th Koli Calling International Conference on Computing Education Research, November 17th to 20th, 2011, Koli National Park, Finland. ACM, s. 118-119 (Koli Calling International Conference on Computing Education Research).

    Tutkimustuotosvertaisarvioitu

  21. Julkaistu

    Browser games for online communities

    Vanhatupa, J-M., 2010, julkaisussa : International Journal of Wireless and Mobile Networks. 2, 3, s. 39-47

    Tutkimustuotosvertaisarvioitu

  22. Julkaistu

    Personalized Side-Quest Generation for Computer Role-Playing Games

    Vanhatupa, J-M., 2011, SPLST'11 12th Symposium on Programming Languages and Software Tools, Tallinn, Estonia, October 5-7, 2011. Penjam, J. (toim.). Tallinn: TUT Press, Institute of Cybernetics at Tallinn University of Technology, s. 196-206 (Symposium on Programming Languages and Software Tools SPLST).

    Tutkimustuotosvertaisarvioitu

  23. Julkaistu

    Business Model of Long-term Browser-based Games - Income without Game Packages

    Vanhatupa, J-M., 2012, julkaisussa : International Journal of Computer Information Systems and Industrial Management Applications. 5, s. 195-202

    Tutkimustuotosvertaisarvioitu

  24. Julkaistu

    Guidelines for Personalizing the Player Experience in Computer Role-Playing Games

    Vanhatupa, J-M., 2011, Proceedings of the 6th International Conference on the Foundations of Digital Games FDG'11, Bordeaux, France, June 29th-July 1st, 2011. ACM International Conference Proceedings Series. New York, NY: ACM, s. 46-52 (International Conference on the Foundations of Digital Games FDG).

    Tutkimustuotosvertaisarvioitu

  25. Julkaistu

    Tool support for computer role-playing game programming : foundations, guidelines and applications

    Vanhatupa, J-M., 17 lokakuuta 2014, Tampere: Tampere University of Technology. 76 Sivumäärä (Tampere University of Techology. Publication; painos 1237)

    Tutkimustuotos

  26. Julkaistu

    Utilizing knowledge networks in virtual or augmented reality solution creation

    Vanhalakka, J., Ilvonen, I. & Väätäjä, H., 2017, Proceedings of the 18th European Conference on knowledge Management ECKM 2017: 7-8 September 2017, Barcelona, Spain. Marimon, F., Mas-Machuca, M., Berbegal-Mirabent, J. & Bastida, R. (toim.). Academic Conferences and Publishing International, s. 1008-1014 7 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  27. Julkaistu

    All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs

    Valmari, A., 2012, CONCUR 2012 - Concurrency Theory. 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science. Berlin: Springer, s. 162-176 (International Conference on Concurrency Theory; painos 7454).

    Tutkimustuotosvertaisarvioitu

  28. Julkaistu

    Can stubborn sets be optimal?

    Valmari, A. & Hansen, H., 2010, julkaisussa : Lecture Notes in Computer Science. 6128, s. 43-62

    Tutkimustuotosvertaisarvioitu

  29. Julkaistu

    Simple O (m log n) time Markov chain lumping

    Valmari, A. & Franceschinis, G., 2010, julkaisussa : Lecture Notes in Computer Science. 6015, s. 38-52

    Tutkimustuotosvertaisarvioitu

  30. Julkaistu

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, julkaisussa : Acta Cybernetica. 21, 3, s. 307-330 24 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  31. Julkaistu

    Simple bisimilarity minimization in O(m log n) time

    Valmari, A., 2011, julkaisussa : Fundamenta Informaticae. 105, 3, s. 319-339

    Tutkimustuotosvertaisarvioitu

  32. Julkaistu

    Does the Shannon bound really apply to all data structures

    Valmari, A., 2013, julkaisussa : Proceedings of the Estonian Academy of Sciences. 62, 1, s. 47-58 12 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  33. Julkaistu

    Opiskelijan myyttiset 1 600 tuntia

    Valmari, A., 2005, julkaisussa : Tietojenkäsittelytiede. 24, s. 4-7

    Tutkimustuotosvertaisarvioitu

  34. Julkaistu

    Sizes of Up-To-n Halting Testers

    Valmari, A., 2012, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, RuFiDiM II, 25-28 September, Turku, Finland. TUCS Lecture Notes. Halava, V., Karhumäki, J. & Matiyasevich, Y. (toim.). Turku, Finland: TURKU CENTRE FOR COMPUTER SCIENCE, s. 176-183 (Russian Finnish Symposium on Discrete Mathematics; painos 17).

    Tutkimustuotosvertaisarvioitu

  35. Julkaistu

    All Linear-Time Congruences for Familiar Operators

    Valmari, A., 2013, julkaisussa : Logical Methods in Computer Science. 9, 4, s. 1-34 34 Sivumäärä, 11.

    Tutkimustuotosvertaisarvioitu

  36. Julkaistu

    All Linear-Time Congruences for Finite LTSs and Familiar Operators

    Valmari, A., 2012, Proceedings of the 12th International Conference on Application of Concurrency to System Design, ACSD 2012, 27-29 June 2012, Hamburg, Germany. Los Alamitos, CA: IEEE Computer Society, s. 12-21 12909180. (Application of Concurrency to System Design).

    Tutkimustuotosvertaisarvioitu

  37. Julkaistu

    Does the Shannon Bound Really Apply to Data Structures?

    Valmari, A., 2011, SPLST'11 12th Symposium on Programming Languages and Software Tools, Tallinn, Estonia, October 5-7, 2011. Penjam, J. (toim.). Tallinn: TUT Press, Institute of Cybernetics at Tallinn University of Technology, s. 174-184 (Symposium on Programming Languages and Software Tools SPLST).

    Tutkimustuotosvertaisarvioitu

  38. Julkaistu

    Old and New Algorithms for Minimal Coverability Sets

    Valmari, A. & Hansen, H., 2012, Application and Theory of Petri Nets. 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science. Berlin: Springer, s. 208-227 (International Conference on Application and Theory of Petri Nets and Concurrency; painos 7347).

    Tutkimustuotosvertaisarvioitu

  39. Julkaistu

    Kuinka kiltti mutta tarpeeton pikku algoritmi sai tärkeän tehtävän

    Valmari, A., 2010, julkaisussa : Tietojenkäsittelytiede. 30, s. 33-55

    Tutkimustuotosvertaisarvioitu

  40. Julkaistu

    Fast brief practical DFA minimization

    Valmari, A., 2012, julkaisussa : Information Processing Letters. 112, 6, s. 213-217

    Tutkimustuotosvertaisarvioitu

  41. Julkaistu

    The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2013, SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Kiss, A. (toim.). Szeged, Hungary: University of Szeged, s. 170-184 15 Sivumäärä (Symposium on Programming Languages and Software Tools).

    Tutkimustuotosvertaisarvioitu

  42. Julkaistu

    Ovatko kaikki lottorivit satunnaisia?

    Valmari, A., 2012, julkaisussa : Liaani. 5, s. 6-7

    Tutkimustuotos

  43. Julkaistu

    A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem

    Valmari, A., 2014, julkaisussa : Electronic Proceedings in Theoretical Computer Science. 151, s. 355-369 15 Sivumäärä, 25.

    Tutkimustuotosvertaisarvioitu

  44. Julkaistu

    Can Stubborn Sets be Optimal?

    Valmari, A. & Hansen, H., 2011, julkaisussa : Fundamenta Informaticae. 113, 3-4, s. 377-397

    Tutkimustuotosvertaisarvioitu

  45. Julkaistu

    External Behaviour of Systems of State Machines with Variables

    Valmari, A., 2013, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Jensen, K., van der Aalst, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (toim.). Berlin, Heidelberg: Springer, s. 255-299 45 Sivumäärä (Lecture Notes in Computer Science; painos 7480).

    Tutkimustuotosvertaisarvioitu

  46. Julkaistu

    Stop It, and Be Stubborn!

    Valmari, A., 21 kesäkuuta 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (toim.). IEEE Computer Society, s. 10-19 10 Sivumäärä 2

    Tutkimustuotosvertaisarvioitu

  47. Julkaistu

    A State Space Tool for Concurrent System Models Expressed In C++

    Valmari, A., 14 joulukuuta 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 91-105 15 Sivumäärä 7. (CEUR Workshop Proceedings; painos 1525).

    Tutkimustuotosvertaisarvioitu

  48. Julkaistu

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer Verlag, s. 225-243 19 Sivumäärä (Lecture Notes in Computer Science; painos 9641).

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    Stubborn Set Intuition Explained

    Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (toim.). CEUR-WS, s. 213-232 20 Sivumäärä (CEUR Workshop Proceedings; painos 1591).

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

    MathCheck: a tool for checking math solutions in detail

    Valmari, A. & Kaarakka, T., syyskuuta 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFI

    Tutkimustuotosvertaisarvioitu

Lataa lista Rajaa hakutulokset 1 000 tai pienemmäksi jotta voit ladata.