TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

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

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

  3. Julkaistu

    Fast brief practical DFA minimization

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

    Tutkimustuotosvertaisarvioitu

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

  5. Julkaistu

    Ovatko kaikki lottorivit satunnaisia?

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

    Tutkimustuotos

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

  7. Julkaistu

    Can Stubborn Sets be Optimal?

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

    Tutkimustuotosvertaisarvioitu

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

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

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

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

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

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

  14. Julkaistu

    Stubborn sets with frozen actions

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

    Tutkimustuotosvertaisarvioitu

  15. Julkaistu

    Fair testing and stubborn sets

    Valmari, A. & Vogler, W., 2018, julkaisussa : International Journal on Software Tools for Technology Transfer. s. 589-610 22 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  16. Julkaistu

    Progress Checking for Dummies

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

    Tutkimustuotosvertaisarvioitu

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

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

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

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

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

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

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

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

  25. Julkaistu

    Browser games for online communities

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

    Tutkimustuotosvertaisarvioitu

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

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

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

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

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

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

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

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

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

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

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

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

  38. Julkaistu

    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 Sivumäärä

    Tutkimustuotos

  39. Julkaistu

    Lääkintälaitteiden tietoturvariskit huomioitava

    Värri, A., 2013, julkaisussa : PODIUM. 4, s. 50-50 1 Sivumäärä

    Tutkimustuotos

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

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

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

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

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

  45. Julkaistu

    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, s. 769-770 (Nordic Conference on Human-Computer Interaction).

    Tutkimustuotosvertaisarvioitu

  46. Julkaistu

    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, s. 324-332 9 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  47. Julkaistu

    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. s. 125-127 (FIMECC Publication series; painos 8).

    Tutkimustuotos

  48. Julkaistu

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

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

    Tutkimustuotosvertaisarvioitu

  49. Julkaistu

    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 heinäkuuta 2017, 2017 21st International Conference Information Visualisation (IV). IEEE, s. 427-434 8 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  50. Julkaistu

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

    Varsaluoma, J., 2 marraskuuta 2018, Tampere University of Technology. 92 Sivumäärä (Tampere University of Technology. Publication; painos 1585)

    Tutkimustuotos

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