Lena Pareto
Lena Pareto
Professor in Informatics/Information systems with specialization Work-integrated learning
Verified email at hv.se
TitleCited byYear
The ALF proof editor and its proof engine
L Magnusson, B Nordström
International Workshop on Types for Proofs and Programs, 213-237, 1993
2051993
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
1061995
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
851995
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 (5), 723-751, 2012
812012
A teachable-agent arithmetic game’s effects on mathematics understanding, attitude and self-efficacy
L Pareto, T Arvemo, Y Dahl, M Haake, A Gulz
International Conference on Artificial Intelligence in Education, 247-255, 2011
662011
A teachable agent game engaging primary school children to learn arithmetic concepts and reasoning
L Pareto
International Journal of Artificial Intelligence in Education 24 (3), 251-283, 2014
482014
The new implementation of ALF
L Magnusson
Types for proofs and programs, 249-266, 1992
341992
Learning by Guiding a Teachable Agent to Play an Educational Game.
L Pareto, DL Schwartz, L Svensson
AIED, 662-664, 2009
302009
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
232008
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
222006
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
172004
Transferring teaching to testing–an unexplored aspect of teachable agents
B Sjödén, B Tärning, L Pareto, A Gulz
International Conference on Artificial Intelligence in Education, 337-344, 2011
142011
Mathematical literacy for everyone using arithmetic games
L Pareto
International Journal of Child Health and Human Development 7 (4), 377-389, 2014
112014
Mathematical literacy for everyone using arithmetic games
L Pareto
Proceedings of the 9th International Conference on Disability, Virtual …, 2012
112012
Refinement and local undo in the interactive proof editor ALF
L Magnussan
Proceedings of the 1993 Workshop on Types for Proofs and Programs, 1993
111993
The complexity of integrating technology enhanced learning in special math education–A case study
A Nilsson, L Pareto
European Conference on Technology Enhanced Learning, 638-643, 2010
102010
A teachable agent game for elementary school mathematics promoting causal reasoning and choice
L Pareto
Proc. First Int’l Workshop Adaptation and Personalization in EB/Learning …, 2010
72010
An interactive visualization model for competence management: an integrative approach
L Pareto, UL Snis
Proceedings of I-KNOW 7, 5-7, 2007
72007
Telehealth with 3D games for stroke rehabilitation
L Pareto, B Johansson, C Ljungberg, S Zeller, KS Sunnerhagen, ...
International Journal on Disability and Human Development 10 (4), 373-377, 2011
62011
Stroke rehabilitation using m-Health Care and 3D virtual environments: work in progress
J Broeren, L Pareto, B Johansson, C Ljungberg, M Rydmark
International Conference on Disability, Virtual Reality and Associated …, 2010
62010
The system can't perform the operation now. Try again later.
Articles 1–20