Mirka Leino

14 papers and 104 indexed citations i.

Mirka Leino has authored 14 papers that have received a total of 104 indexed citations. This includes 3 papers in Electrical and Electronic Engineering, 3 papers in Artificial Intelligence and 3 papers in Psychiatry and Mental health. The topics of these papers are Technology Use by Older Adults (3 papers), Logic, programming, and type systems (3 papers) and IoT-based Smart Home Systems (3 papers). Mirka Leino is often cited by papers focused on Technology Use by Older Adults (3 papers), Logic, programming, and type systems (3 papers) and IoT-based Smart Home Systems (3 papers) and collaborates with scholars based in Finland, United States and China. Mirka Leino's co-authors include Sari Merilampi, Johanna Virkki, Michael D. Ernst, Gary T. Leavens and Yoonsik Cheon and has published in prestigious journals such as Sustainability, Information and Electronic Notes in Theoretical Computer Science