Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. Published

    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, p. 208-227 (International Conference on Application and Theory of Petri Nets and Concurrency; vol. 7347).

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

  2. Published

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

    Valmari, A., 2010, In : Tietojenkäsittelytiede. 30, p. 33-55

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    Fast brief practical DFA minimization

    Valmari, A., 2012, In : Information Processing Letters. 112, 6, p. 213-217

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    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. (ed.). Szeged, Hungary: University of Szeged, p. 170-184 15 p. (Symposium on Programming Languages and Software Tools).

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

  5. Published

    Ovatko kaikki lottorivit satunnaisia?

    Valmari, A., 2012, In : Liaani. 5, p. 6-7

    Research output: Contribution to journalArticleGeneral public

  6. Published

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

    Valmari, A., 2014, In : Electronic Proceedings in Theoretical Computer Science. 151, p. 355-369 15 p., 25.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Published

    Can Stubborn Sets be Optimal?

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

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    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. (eds.). Berlin, Heidelberg: Springer, p. 255-299 45 p. (Lecture Notes in Computer Science; vol. 7480).

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

  9. Published

    Stop It, and Be Stubborn!

    Valmari, A., 21 Jun 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (eds.). IEEE Computer Society, p. 10-19 10 p. 2

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

  10. Published

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

    Valmari, A., 14 Dec 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. (eds.). CEUR-WS.org, Vol. 1525. p. 91-105 15 p. 7. (CEUR Workshop Proceedings; vol. 1525).

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

  11. Published

    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, p. 225-243 19 p. (Lecture Notes in Computer Science; vol. 9641).

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

  12. Published

    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. (eds.). CEUR-WS, p. 213-232 20 p. (CEUR Workshop Proceedings; vol. 1591).

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

  13. Published

    MathCheck: a tool for checking math solutions in detail

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

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

  14. Published

    Stubborn sets with frozen actions

    Valmari, A., 2017, Reachability Problems - 11th International Workshop, RP 2017, Proceedings. Springer Verlag, p. 160-175 16 p. (Lecture Notes in Computer Science; vol. 10506).

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

  15. Published

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2018, In : International Journal on Software Tools for Technology Transfer. p. 589-610 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  16. Published

    Progress Checking for Dummies

    Valmari, A. & Hansen, H., 2018, Formal Methods for Industrial Critical Systems. Howar, F. & Barnat, J. (eds.). Springer International Publishing, Vol. 11119. p. 115-130 (Lecture Notes in Computer Science).

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

  17. Published

    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. (eds.). Academic Conferences and Publishing International, p. 1008-1014 7 p.

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

  18. Published

    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, p. 369-372 (International Conference on Next Generation Web Services Practices NWeSP).

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

  19. Published

    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. (eds.). p. 349-355

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

  20. Published

    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, p. 363-368 (International Conference on Next Generation Web Services Practices NWeSP).

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

  21. Published

    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. p. 1-6 6 p.

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

  22. Published

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  23. Published

    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, p. 187-190 (Computer Science and Electronic Engineering Conference).

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

  24. Published

    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, p. 118-119 (Koli Calling International Conference on Computing Education Research).

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

  25. Published

    Browser games for online communities

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

    Research output: Contribution to journalArticleScientificpeer-review

  26. Published

    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. (ed.). Tallinn: TUT Press, Institute of Cybernetics at Tallinn University of Technology, p. 196-206 (Symposium on Programming Languages and Software Tools SPLST).

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

  27. Published

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  28. Published

    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, p. 46-52 (International Conference on the Foundations of Digital Games FDG).

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

  29. Published

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

    Vanhatupa, J-M., 17 Oct 2014, Tampere: Tampere University of Technology. 76 p. (Tampere University of Techology. Publication; vol. 1237)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  30. Published

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

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

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

  31. Published

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

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

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

  32. Published

    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. (eds.). p. 436-440

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

  33. Published

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

    Varkoi, T., Nevalainen, R. & Mäkinen, T., 2013, In : Journal of Software: Evolution and Process. 5 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. Published

    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. (eds.). p. 105-113 9 p.

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

  35. Published

    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, p. 83-95 13 p. (Communications in Computer and Information Science; vol. 748).

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

  36. Published

    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, p. 181-192 12 p. (Communications in Computer and Information Science; vol. 896).

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

  37. Published

    Validating effectiveness of safety requirements' compliance evaluation in process assessments

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

    Research output: Contribution to journalArticleScientificpeer-review

  38. Published

    Interim report of EN 1064 SCP-ECG revision work within CEN/TC215/WGIV

    Värri, A., Rubel, P. & Schllögl, A., 2014, Japan: Unknown Publisher. 2 p.

    Research output: Book/ReportCommissioned reportProfessional

  39. Published

    Lääkintälaitteiden tietoturvariskit huomioitava

    Värri, A., 2013, In : PODIUM. 4, p. 50-50 1 p.

    Research output: Contribution to journalArticleProfessional

  40. Published

    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. (eds.). EDIS - Publishing Institution of the University of Zilina, p. 86-90 5 p.

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

  41. Published

    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. p. 65-66

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  42. Published

    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).

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

  43. Published

    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 May 2016, In : Finnish Journal of eHealth and eWelfare. 8, 2-3, p. 127-136 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  44. Published

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

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

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

  45. Published

    DrawUX: Web-Based Research Tool for Long-Term User Experience Evaluation

    Varsaluoma, J. & Kentta, V., 2012, Proceedings of the 7th Nordic Conference on Human-Computer Interaction, NordiCHI 2012, October 14-17, 2012, Copenhagen, Denmark. New York, NY: ACM, p. 769-770 (Nordic Conference on Human-Computer Interaction).

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

  46. Published

    The Fuzzy Front End of Experience Design: Eliciting and Communicating Experience Goals

    Varsaluoma, J., Väätäjä, H., Kaasinen, E., Karvonen, H. & Lu, Y., 2015, OzCHI '15 - Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction . ACM, p. 324-332 9 p.

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

  47. Published

    Getting started with the experience design process

    Varsaluoma, J., Väätäjä, H., Kaasinen, E., Karvonen, H. & Lu, Y., 2015, User Experience and Usability in Complex Systems - UXUS: FIMECC Publications Series No. 8, 2010-2015. p. 125-127 (FIMECC Publication series; vol. 8).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  48. Published

    Exploring motivational aspects and user experience of mobile mathematics learning service in south africa

    Varsaluoma, J., Väätäjä, H. & Walsh, T., 17 Oct 2016, Exploring Motivational Aspects and User Experience of Mobile Mathematics Learning Service in South Africa. ACM, p. 159-168 10 p.

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

  49. Published

    Usage Data Analytics for Human-Machine Interactions with Flexible Manufacturing Systems: Opportunities and Challenges

    Varsaluoma, J., Väätäjä, H., Heimonen, T., Tiitinen, K., Hakulinen, J., Turunen, M. & Nieminen, H., 1 Jul 2017, 2017 21st International Conference Information Visualisation (IV). IEEE, p. 427-434 8 p.

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

  50. Published

    Approaches to Improve User Experience in Product Development: UX Goals, Long-Term Evaluations and Usage Data Logging

    Varsaluoma, J., 2 Nov 2018, Tampere University of Technology. 92 p. (Tampere University of Technology. Publication; vol. 1585)

    Research output: Book/ReportDoctoral thesisCollection of Articles

Download list To download, please limit the number of search results to 1,000 or less.