The ALF proof editor and its proof engine L Magnusson, B Nordström International Workshop on Types for Proofs and Programs, 213-237, 1993 | 221 | 1993 |
A teachable-agent-based game affording collaboration and competition: Evaluating math comprehension and motivation L Pareto, M Haake, P Lindström, B Sjödén, A Gulz Educational technology research and development 60, 723-751, 2012 | 159 | 2012 |
A teachable agent game engaging primary school children to learn arithmetic concepts and reasoning L Pareto International Journal of artificial intelligence in education 24, 251-283, 2014 | 125 | 2014 |
The Implementation of ALF-a proof editor based on Martin-Löf's monomorphic type theory with explicit substitution L Magnusson PhD thesis, Chalmers University of Technology and Gothenburg University, 1995 | 124 | 1995 |
A teachable-agent arithmetic game’s effects on mathematics understanding, attitude and self-efficacy L Pareto, T Arvemo, Y Dahl, M Haake, A Gulz Artificial Intelligence in Education: 15th International Conference, AIED …, 2011 | 96 | 2011 |
The implementation of ALF| a proof editor based on Martin-L of's monomorphic type theory with explicit substitution L Magnusson PhD thesis, Chalmers University of Technology and G oteborg University, 1995 | 81 | 1995 |
TPACK in situ: A design-based approach supporting professional development in practice L Pareto, S Willermark Journal of Educational Computing Research 57 (5), 1186-1226, 2019 | 72 | 2019 |
Workplace work-integrated learning: supporting industry 4.0 transformation for small manufacturing plants by reskilling staff M Rangraz, L Pareto International Journal of Lifelong Education 40 (1), 5-22, 2021 | 62 | 2021 |
Trouble and repair in child–robot interaction: A study of complex interactions with a robot tutee in a primary school classroom S Serholt, L Pareto, S Ekström, S Ljungblad Frontiers in Robotics and AI 7, 46, 2020 | 40 | 2020 |
Learning by guiding a teachable agent to play an educational game L Pareto, DL Schwartz, L Svensson Artificial Intelligence in Education, 662-664, 2009 | 38 | 2009 |
The new implementation of ALF L Magnusson Types for proofs and programs, 249-266, 1992 | 36 | 1992 |
The dual role of humanoid robots in education: As didactic tools and social actors S Ekström, L Pareto Education and information technologies 27 (9), 12609-12644, 2022 | 29 | 2022 |
Challenges in designing virtual environments training social skills for children with autism U Andersson, P Josefsson International Journal on Disability and Human Development 5 (2), 105-112, 2006 | 28 | 2006 |
Virtual reality, haptics and post-stroke rehabilitation in practical therapy L Pareto, J Broeren, D Goude, M Rydmark Proceedings of the ICDVRAT with ArtAbilitation Conference, 2008 | 27 | 2008 |
Unpacking the role of boundaries in computer-supported collaborative teaching S Willermark, L Pareto Computer Supported Cooperative Work (CSCW) 29 (6), 743-767, 2020 | 22 | 2020 |
Simulation and serious games for firefighter training: Challenges for effective use I Heldal, CH Wijkmark, L Pareto Nokobit 24, 12, 2016 | 18 | 2016 |
The Squares Family: A Game and Story based Microworld for Understanding Arithmetic Concepts designed to attract girls. L Pareto EdMedia+ Innovate Learning, 1567-1574, 2004 | 18 | 2004 |
Mathematical literacy for everyone using arithmetic games L Pareto International Journal of Child Health and Human Development 7 (4), 377-389, 2014 | 17 | 2014 |
Transferring teaching to testing–an unexplored aspect of teachable agents B Sjödén, B Tärning, L Pareto, A Gulz Artificial Intelligence in Education: 15th International Conference, AIED …, 2011 | 17 | 2011 |
The complexity of integrating technology enhanced learning in special math education–A case study A Nilsson, L Pareto Sustaining TEL: From Innovation to Learning and Practice: 5th European …, 2010 | 15 | 2010 |