Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. Published

    Circular deformation estimation for a flexible link

    Vihonen, J., Mäkinen, P., Mattila, J. & Visa, A., 25 Dec 2017, 2017 IEEE SENSORS. IEEE

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

  2. Published

    Delay-based Congestion Control Mechanism for Video Services: Mechanism including Backward Loading and Real-time Modes

    Vihervaara, J. & Loula, P., 2014, Webist 2014, Proceedings of the 10th International Conference on Web Information Systems and Technologies. Monfort, V. & Krempels, K-H. (eds.). SCITEPRESS - Science and Technology Publications, p. 127-134 8 p. (WEBIST 2014, 10th International Conference on Web Information Systems and Technologies, 3-5 April, 2014, Barcelona, Spain).

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

  3. Published

    Dual-Mode Congestion Control Mechanism for Video Service

    Vihervaara, J. & Loula, P., 21 Dec 2015, ICIMT 2015, 7th International Conference on Information and Multimedia Technology, December 21-22, 2015 in Barcelona, Spain . IEEE Computer Society, Conference Publishing Services, CPS, p. 50-56 7 p. (Journal of Media and Mass Communication; vol. 1, no. 2).

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

  4. Published

    Dual-Mode Congestion Control Mechanism for Video Services

    Vihervaara, J. & Loula, P., Dec 2015, In : Journal of Media and Mass Communication. 1, 2, p. 50-56

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Performance gains from web performance optimization: Case including the optimization of webpage resources in a comprehensive way

    Vihervaara, J., Loula, P. & Tuominen, T., 2016, WEBIST 2016 - Proceedings of the 12th International Conference on Web Information Systems and Technologies: Rome; Italy; 23 April 2016 through 25 April 2016. SCITEPRESS, p. 188-193 6 p.

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

  6. Published

    Dual-priority congestion control mechanism for video services: Real network tests of cvihis

    Vihervaara, J., Loula, P. & Alapaholuoma, T., 2016, Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management ; : IC3K 2016, November 9-11, 2016, in Porto, Portugal. SCITEPRESS - Science and Technology Publications, Vol. 3. p. 51-59 9 p.

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

  7. Published

    Internet of Things: Opportunities for vocational education and training: Presentation of the pilot project

    Vihervaara, J. & Alapaholuoma, T., 2017, CSEDU 2017 - Proceedings of the 9th International Conference on Computer Supported Education. SCITEPRESS, p. 476-480 5 p.

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

  8. Published

    The Impact of HTTP/2 on the Service Efficiency of E-commerce Websites

    Vihervaara, J. & Alapaholuoma, T., 2018, MIPRO 2018, Proceedings of the 41th International Convention on Information and Communication Technology, Electronics and Microelectronic. IEEE, 5 p.

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

  9. Published

    We want more: Human-computer collaboration in mobile social video remixing of music concerts

    Vihavainen, S., Mate, S., Seppälä, L., Cricri, F. & Curcio, I. D. D., 2011, 29th Annual CHI Conference on Human Factors in Computing Systems, CHI 2011, Vancouver, BC, Canada, 7.-12.5.2011. New York, NY: ACM, p. 287-296 (Annual CHI Conference on Human Factors in Computing Systems).

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

  10. Published

    Microarray analysis of differentially expressed genes in ovarian and fallopian tube epithelium from risk-reducing salpingo-oophorectomies

    Veskimäe, K., Staff, S., Tabaro, F., Nykter, M., Isola, J. & Mäenpää, J., 1 May 2015, In : Genes Chromosomes and Cancer. 54, 5, p. 276-287 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  11. E-pub ahead of print

    A basin-free spherical shape as an outcome of a giant impact on asteroid Hygiea

    Vernazza, P., Jorda, L., Ševeček, P., Brož, M., Viikinkoski, M., Hanuš, J., Carry, B., Drouard, A., Ferrais, M., Marsset, M., Marchis, F., Birlan, M., Podlewska-Gaca, E., Jehin, E., Bartczak, P., Dudzinski, G., Berthier, J., Castillo-Rogez, J., Cipriani, F., Colas, F., DeMeo, F., Dumas, C., Durech, J., Fetick, R., Fusco, T., Grice, J., Kaasalainen, M., Kryszczynska, A., Lamy, P., Le Coroller, H., Marciniak, A., Michalowski, T., Michel, P., Rambaux, N., Santana-Ros, T., Tanga, P., Vachier, F., Vigan, A., Witasse, O., Yang, B., Gillon, M., Benkhaldoun, Z., Szakats, R., Hirsch, R., Duffard, R., Chapman, A. & Maestre, J. L., 2019, In : Nature Astronomy. 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    User experience evaluation methods: Current state and development needs

    Vermeeren, A. P. O. S., Lai-Chong Law, E., Roto, V., Obrist, M., Hoonhout, J. & Väänänen-Vainio-Mattila, K., 2010, 6th Nordic Conference on Human Computer Interaction NordiCHI 2010, October 15-19, 2010, Reykjavik, Iceland. p. 1-10 10 p.

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

  13. Published

    Design-inclusive UX research: design as a part of doing user experience research

    Vermeeren, A. P. O. S., Roto, V. & Väänänen, K., 2 Jan 2016, In : Behaviour and Information Technology. 35, 1, p. 21-37 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. Published

    Arkkitehtuurinäkymät turvallisuuteen liittyvien järjestelmien kehityksessä

    Vepsäläinen, T. & Kuikka, S., 2013, Proceedings of Automaatio XX-seminaari, Automation and systems without borders - beyond future, 21.-22.5.2013, Helsinki. Vilkko, M. (ed.). Suomen Automaatioseura ry, p. 1-6 6 p. (SAS julkaisusarja; no. 42).

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

  15. Published

    Design Pattern Support for Model-Driven Development

    Vepsäläinen, T. & Kuikka, S., 2014, 9th International Conference on Software Engineering and Applications, ICSOFT-EA 2014, 29-31, August 2014, Vienna, Austria. Holzinger, A., Libourel, T., Maciaszek, L. & Mellor, S. (eds.). SCITEPRESS - Science and Technology Publications, p. 277-286 10 p.

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

  16. Published

    Safety Patterns in Model-Driven Development

    Vepsäläinen, T. & Kuikka, S., 2014, ICSEA 2014, The Ninth International Conference on Software Engineering Advances, October 12-16, 2014, Nice, France. Mannaert, H., Lavazza, L., Oberhauser, R., Kajko-Mattsson, M. & Gebhart, M. (eds.). IARIA, p. 233-239 7 p.

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

  17. Published

    Software Architecture Knowledge Management for Safety Systems

    Vepsäläinen, T., Eloranta, V-P. & Kuikka, S., 2012, Proceedings of ETFA 2012, 17th IEEE International Conference on Emerging Technology & Factory Automation, 17-21 September, 2012, Krakow, Poland. Piscataway, NJ: IEEE, p. 1-8 8 p. (IEEE International Conference on Emerging Technology and Factory Automation).

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

  18. Published

    Integrated model-in-the-loop simulations to model-driven development in industrial control

    Vepsäläinen, T. & Kuikka, S., 2014, In : Simulation: Transactions of the Society for Modeling and Simulation International. 90, 12, p. 1295-1311 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  19. Published

    Design Patterns for Model-Driven Development

    Vepsäläinen, T. & Kuikka, S., 2015, In : Communications in Computer and Information Science. 555, p. 21-38 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  20. Published

    Emotional Reactions to Point-Light Display Animations

    Venesvirta, H., Surakka, V., Gizatdinova, Y., Lylykangas, J., Špakov, O., Verho, J., Vetek, A. & Lekkala, J., 16 Jun 2016, In : Interacting with Computers. 28, 4, p. 521-531 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  21. Published

    A computationally feasible optimization approach to inverse SAR translational motion compensation

    Vehmas, R., Jylhä, J., Väilä, M. & Kylmälä, J., 2015, Proceedings of the 12th European Radar Conference (EuRAD 2015). IEEE, p. 17-20 4 p.

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

  22. Published

    ISAR imaging of non-cooperative objects with non-uniform rotational motion

    Vehmas, R., Jylhä, J., Väilä, M. & Visa, A., May 2016, 2016 IEEE Radar Conference (RadarConf) . IEEE

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

  23. Published

    Liikekompensaatio- ja autofokusmenetelmät SAR- ja ISAR-tutkien signaalinkäsittelyssä

    Vehmas, R., 2016, Ylöjärvi: Puolustusvoimien Tutkimuslaitos. 112 p. (Puolustusvoimien tutkimuslaitoksen julkaisuja)

    Research output: Book/ReportBookProfessional

  24. Published

    Analysis and comparison of multichannel SAR imaging algorithms

    Vehmas, R., Jylhä, J., Väilä, M. & Visa, A., May 2017, 2017 IEEE Radar Conference (RadarConf). IEEE, p. 340-345

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

  25. Published

    Improving the Estimation Accuracy and Computational Efficiency of ISAR Range Alignment

    Vehmas, R. & Jylhä, J., 11 Oct 2017, The 14th European Radar Conference (EuRAD 2017). IEEE

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

  26. Published

    Data-driven motion compensation techniques for noncooperative ISAR imaging

    Vehmas, R., Jylhä, J., Väilä, M., Vihonen, J. & Visa, A., Feb 2018, In : IEEE Transactions on Aerospace and Electronic Systems.

    Research output: Contribution to journalArticleScientificpeer-review

  27. Published

    A Contrast Optimization Algorithm for Back-Projection Image Reconstruction in Noncooperative ISAR Imaging

    Vehmas, R. & Jylhä, J., Jun 2018, 12th European Conference on Synthetic Aperture Radar. VDE, p. 464-469 6 p.

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

  28. Published

    Algorithms for target ISAR signature reconstruction

    Vehmas, R., Jylhä, J., Perälä, H., Väilä, M. & Ruotsalainen, M., 9 May 2018. 11 p.

    Research output: Other conference contributionPaper, poster or abstractProfessional

  29. Published

    Computational Algorithms for Improved Synthetic Aperture Radar Image Focusing

    Vehmas, R., 26 Oct 2018, Tampere University of Technology. 65 p. (Tampere University of Technology. Publication; vol. 1586)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  30. Published

    The rSPA process realization: The creation of river heavy metal evaluation index (rHMEI) by using dimensional subspace of heavy metal

    Veesommai, C., Kiyoki, Y., Sillberg, P., Soini, J., Jaakkola, H. & Chawakitchareon, P., 2016, In : International Transaction Journal of Engineering, Management, & Applied Sciences & Technologies. 7, 3

    Research output: Contribution to journalArticleScientificpeer-review

  31. Published

    Yhteiselle tiedolle on tarvetta työpaikoilla

    Väyrynen, H., Mar 2015, In : Insinööri. 2/2015, p. 36-37 2 p.

    Research output: Contribution to journalArticleGeneral public

  32. Published

    Data-Driven Approach for Analysis of Performance Indices in Mobile Work Machines

    Väyrynen, T., Peltokangas, S., Anttila, E. & Vilkko, M., 19 Jul 2015, DATA ANALYTICS 2015, The Fourth International Conference on Data Analytics. Klemas, T. & Chan, S. (eds.). p. 81-86 7 p.

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

  33. Unpublished

    Knowledge Management operationalization – how it differs in large enterprises and SMEs in Finland

    Väyrynen, H. & Helander, N., Aug 2015, (Unpublished) 23rd Nordic Academy of Management Conference: NFF 2015. Nordic Academy of Management, p. 1-27 27 p.

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

  34. Published

    Knowledge management and digitalization in large enterprises versus SMEs in Finland

    Väyrynen, H. & Helander, N., 10 Jun 2015.

    Research output: Other conference contributionPaper, poster or abstractScientific

  35. Published

    Quantum Biology on the Edge of Quantum Chaos

    Vattay, G., Kauffman, S. & Niiranen, S., 2014, In : PLoS ONE. 9, 3, p. 1-6 6 p., e89107.

    Research output: Contribution to journalArticleScientificpeer-review

  36. Published

    Using quality farms in multi-objective genetic software architecture synthesis

    Vathsavayi, S., Räihä, O. & Koskimies, K., 2012, Proceedings of the 2012 IEEE World Congress on Computational Intelligence IEEE WCCI 2012, June, 10-15, 2012, Brisbane, Australia. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, p. 1-8 8 p. 12910443. (IEEE Congress on Evolutionary Computation).

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

  37. Published

    Interleaving Human and Search-based Software Architecture Design

    Vathsavayi, S., Hadaytullah, H. & Koskimies, K., 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. 114-125 (Symposium on Programming Languages and Software Tools SPLST).

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

  38. Published

    Applying Genetic Algorithms for Software Design and Project Planning

    Vathsavayi, S. H., 2 Dec 2016, Tampere University of Technology. 122 p. (Tampere University of Technology. Publication; vol. 1437)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  39. Published

    Technical Debt Management with Genetic Algorithms

    Vathsavayi, S. H. & Systä, K., 31 Aug 2016, 2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, p. 50-53

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

  40. Published

    Real-time Implementation Of Dice Unloading Algorithm

    Vassilyev, A., Parviainen, J., Collin, J. & Takala, J., 2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics SMC 2016 . IEEE, p. 3275-3280

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

  41. Published

    User experience of mobile photo sharing in the cloud

    Vartiainen, E. & Väänänen-Vainio-Mattila, K., 2010, MUM '10 Proceedings of the 9th International Conference on Mobile and Ubiquitous Multimedia, Limassol, Cyprus, December 01 - 03, 2010. p. 10 p

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

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

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

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

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

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

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

  48. Published

    Guidelines for development and evaluation of usage data analytics tools for human-machine interactions with industrial manufacturing systems

    Varsaluoma, J., Väätäjä, H., Heimonen, T., Tiitinen, K., Hakulinen, J., Turunen, M. & Nieminen, H., 10 Oct 2018, Mindtrek 2018 - Proceedings of the 22nd International Academic Mindtrek Conference. ACM, p. 172-181 10 p.

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

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

  50. Published

    Lääkintälaitteiden tietoturvariskit huomioitava

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

    Research output: Contribution to journalArticleProfessional

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  77. Published

    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, p. 162-176 (International Conference on Concurrency Theory; vol. 7454).

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

  78. Published

    Can stubborn sets be optimal?

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

    Research output: Contribution to journalArticleScientificpeer-review

  79. Published

    Simple O (m log n) time Markov chain lumping

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

    Research output: Contribution to journalArticleScientificpeer-review

  80. Published

    Asymptotic Proportion of Hard Instances of the Halting Problem

    Valmari, A., 2014, In : Acta Cybernetica. 21, 3, p. 307-330 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  81. Published

    Simple bisimilarity minimization in O(m log n) time

    Valmari, A., 2011, In : Fundamenta Informaticae. 105, 3, p. 319-339

    Research output: Contribution to journalArticleScientificpeer-review

  82. Published

    Does the Shannon bound really apply to all data structures

    Valmari, A., 2013, In : Proceedings of the Estonian Academy of Sciences. 62, 1, p. 47-58 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  83. Published

    Opiskelijan myyttiset 1 600 tuntia

    Valmari, A., 2005, In : Tietojenkäsittelytiede. 24, p. 4-7

    Research output: Contribution to journalArticleScientificpeer-review

  84. Published

    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. (eds.). Turku, Finland: TURKU CENTRE FOR COMPUTER SCIENCE, p. 176-183 (Russian Finnish Symposium on Discrete Mathematics; vol. 17).

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

  85. Published

    All Linear-Time Congruences for Familiar Operators

    Valmari, A., 2013, In : Logical Methods in Computer Science. 9, 4, p. 1-34 34 p., 11.

    Research output: Contribution to journalArticleScientificpeer-review

  86. Published

    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, p. 12-21 12909180. (Application of Concurrency to System Design).

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

  87. Published

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

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

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

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

  90. Published

    Fast brief practical DFA minimization

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

    Research output: Contribution to journalArticleScientificpeer-review

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

  92. Published

    Ovatko kaikki lottorivit satunnaisia?

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

    Research output: Contribution to journalArticleGeneral public

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 ...45 Next
Download list To download, please limit the number of search results to 1,000 or less.