Teaching mathematics online in the European Area of Higher Education: an instructor's point of view AA Juan, C Steegmann, A Huertas, M Jesus Martinez, J Simosa International Journal of Mathematical Education in Science and Technology 42 …, 2011 | 95 | 2011 |
Mathematical e-learning: state of the art and experiences at the Open University of Catalonia A Juan, A Huertas, C Steegmann, C Córcoles, C Serrat International Journal of Mathematical Education in Science and Technology 39 …, 2008 | 79 | 2008 |
Lógica para principiantes M Manzano, A Huertas Anaya-Spain, 2004 | 61 | 2004 |
Teaching and learning logic in a virtual learning environment A Huertas Logic Journal of the IGPL 15 (4), 321-331, 2007 | 48 | 2007 |
E-learning de las asignaturas del ámbito matemático-estadístico en las universidades españolas: oportunidades, retos, estado actual y tendencias C Steegmann, MA Huertas, ÁA Juan, M Prat Rev. U. Soc. Conocimiento 5, 1, 2008 | 38 | 2008 |
E-assessment system for skill and knowledge assessment in computer engineering education E Hettiarachchi, MA Huertas, E Mor International Journal of Engineering Education 31 (2), 529-540, 2015 | 32 | 2015 |
Completeness in hybrid type theory C Areces, P Blackburn, A Huertas, M Manzano Journal of Philosophical Logic 43 (2), 209-238, 2014 | 32 | 2014 |
Aprendizaje virtual de las matemáticas AA Juan Pérez, MA Huertas Sánchez, H Cuypers, B Loch Revista de Universidad y Sociedad del Conocimiento, RUSC 9 (1), 86-91, 2012 | 29 | 2012 |
Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned A Huertas International Congress on Tools for Teaching Logic, 131-140, 2011 | 27 | 2011 |
Teaching Mathematics Online: Emergent Technologies and Methodologies: Emergent Technologies and Methodologies AA Juan, MA Huertas, S Trenholm, C Steegmann IGI Global, 2011 | 25 | 2011 |
Skill and knowledge e-assessment: A review of the state of the art E Hettiarachchi, MA Huertas, E Mor IN3 Working Paper Series, 2013 | 23 | 2013 |
Mathematical e-learning ÁA Juan, MA Huertas, H Cuypers, B Loch RUSC, Universities and Knowledge Society Journal 9, 278-283, 2012 | 22 | 2012 |
Introducing a Formative E-Assessment System to Improve Online Learning Experience and Performance. E Hettiarachchi, E Mor, MA Huertas, AE Guerrero-Roldán J. Univers. Comput. Sci. 21 (8), 1001-1021, 2015 | 21 | 2015 |
Social networks for learning: wikis, blogs and tagging in education MA Huertas, C Casado, C Córcoles, E Mor, AE Guerrero-Roldán A. Szucs, A. & I. Bo. EDEN 2007 Annual Conference Book of Abstracts …, 2007 | 18 | 2007 |
Explicitando la interrelación entre las actividades de aprendizaje, el proceso de evaluación y la adquisición de competencias AE Guerrero-Roldán, MA Huertas, E Mor, ME Rodríguez RIED-Revista Iberoamericana de Educación a Distancia 16 (2), 127-146, 2013 | 17 | 2013 |
The SELL project: A learning tool for e-learning logic A Huertas, JM Humet, L López, E Mor Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011 | 17 | 2011 |
The Life and Work of Leon Henkin M Manzano, I Sain, E Alonso Studies in Universal Logic), Cham: Springer International Publishing. doi 10 …, 2014 | 15 | 2014 |
Solving MaxSAT with natural deduction J Casas-Roma, A Huertas, F Manyà Recent Advances in Artificial Intelligence Research and Development, 186-195, 2017 | 12 | 2017 |
Herramienta de Apoyo para el Aprendizaje a Distancia de la Lógica en la Ingeniería Informática MA Huertas, EM Pera, AEG Roldán Revista de Educación a Distancia (RED), 2010 | 12 | 2010 |
Completeness in equational hybrid propositional type theory M Manzano, M Martins, A Huertas Studia Logica 107 (6), 1159-1198, 2019 | 11 | 2019 |