Lena Pareto

Lena Pareto

University West - Trollhättan / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1537219
Högskolan Väst
person_outline Lena Pareto's MOST POPULAR ARTICLES
1-) The ALF proof editor and its proof engineL Magnusson, B NordströmInternational Workshop on Types for Proofs and Programs, 213-237, 19932151993
2-) A teachable-agent-based game affording collaboration and competition: Evaluating math comprehension and motivationL Pareto, M Haake, P Lindström, B Sjödén, A GulzEducational Technology Research and Development 60 (5), 723-751, 20121182012
3-) A teachable agent game engaging primary school children to learn arithmetic concepts and reasoningL ParetoInternational Journal of artificial intelligence in education 24, 251-283, 20141242014
4-) The Implementation of ALF-a proof editor based on Martin-Löf\'s monomorphic type theory with explicit substitutionL MagnussonPhD thesis, Chalmers University of Technology and Gothenburg University, 19951231995
5-) A teachable-agent arithmetic game’s effects on mathematics understanding, attitude and self-efficacyL Pareto, T Arvemo, Y Dahl, M Haake, A GulzArtificial Intelligence in Education: 15th International Conference, AIED …, 20111012011