Segui
Lena Pareto
Lena Pareto
Professor in Informatics/Information systems with specialization Work-integrated learning
Email verificata su hv.se
Titolo
Citata da
Citata da
Anno
The ALF proof editor and its proof engine
L Magnusson, B Nordström
International Workshop on Types for Proofs and Programs, 213-237, 1993
2201993
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
1522012
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
1241995
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
1132014
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
912011
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
821995
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
652019
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
522021
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
372020
Learning by guiding a teachable agent to play an educational game
L Pareto, DL Schwartz, L Svensson
Artificial Intelligence in Education, 662-664, 2009
362009
The new implementation of ALF
L Magnusson
Types for proofs and programs, 249-266, 1992
361992
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
282008
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
282006
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
182004
Unpacking the role of boundaries in computer-supported collaborative teaching
S Willermark, L Pareto
Computer Supported Cooperative Work (CSCW) 29 (6), 743-767, 2020
172020
Simulation and serious games for firefighter training: Challenges for effective use
I Heldal, CH Wijkmark, L Pareto
Nokobit 24, 12, 2016
172016
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
172011
Mathematical literacy for everyone using arithmetic games
L Pareto
International Journal of Child Health and Human Development 7 (4), 377-389, 2014
162014
Mathematical literacy for everyone using arithmetic games
L Pareto
Proceedings of the 9th International Conference on Disability, Virtual …, 2012
162012
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
152022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20