Repositorio abierto de locuciones de fórmulas matemáticas. - Maria Antonia Huertas; Mireia Pascual; César Córcoles; Laia Llorens; Roger Grises (SPDECE, 2007)

Teaching and Learning Logic in a Virtual Learning Environment. - Antonia Huertas (Log. J. IGPL, 2007)

Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic. - Antonia Huertas; Enric Mor (WEBIST (2), 2010)

Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned. - Antonia Huertas (TICTTL, 2011)

The SELL Project: A Learning Tool for E-Learning Logic. - Antonia Huertas; Josep M. Humet; Laura López; Enric Mor (TICTTL, 2011)

A Standard and Interoperable Technology-enhanced Assessment System for Skill and Knowledge Acquirement. - Enosha Hettiarachchi; Maria Antonia Huertas; Enric Mor Pera; Ana-Elena Guerrero-Roldán (CSEDU (2), 2012)

An Architecture for Technology-Enhanced Assessment of High Level Skill Practice. - Enosha Hettiarachchi; Maria Antonia Huertas; Enric Mor Pera; Ana-Elena Guerrero-Roldán (ICALT, 2012)

A Technology Enhanced Assessment System for Skill and Knowledge Learning. - Enosha Hettiarachchi; Enric Mor; Maria Antonia Huertas; M. Elena Rodríguez 001 (CSEDU (2), 2014)

Designing Learning Tools: The Case of a Competence Assessment Tool. - Enric Mor; Ana-Elena Guerrero-Roldán; Enosha Hettiarachchi; Maria Antonia Huertas (HCI (14), 2014)

Completeness in Hybrid Type Theory. - Carlos Areces; Patrick Blackburn; Antonia Huertas; María Manzano (J. Philos. Log., 2014)

Introducing a Formative E-Assessment System to Improve Online Learning Experience and Performance. - Enosha Hettiarachchi; Enric Mor; Maria Antonia Huertas; Ana-Elena Guerrero-Roldán (J. Univers. Comput. Sci., 2015)

Solving MaxSAT with Natural Deduction. - Joan Casas-Roma; Antonia Huertas; Felip Manyà (CCIA, 2017)

Rigid First-Order Hybrid Logic. - Patrick Blackburn; Manuel A. Martins 001; María Manzano; Antonia Huertas (WoLLIC, 2019)

A Common Frame for Formal Imagination. - Joan Casas-Roma; M. Elena Rodríguez 001; Antonia Huertas (Minds Mach., 2019)

Completeness in Equational Hybrid Propositional Type Theory. - María Manzano; Manuel A. Martins 001; Antonia Huertas (Stud Logica, 2019)

The logic of imaginary scenarios. - Joan Casas-Roma; Antonia Huertas; M. Elena Rodríguez 001 (Log. J. IGPL, 2020)

Exorcising the phantom zone. - Patrick Blackburn; Manuel A. Martins 001; María Manzano; Antonia Huertas (Inf. Comput., 2022)

Understanding the Axioms and Assumptions of Logical Mathematical Systems through Raster Images: Application to the Construction of a Likert Scale. - Queralt Viladevall; Salvador Linares-Mustarós; Maria Antonia Huertas; Joan Carles Ferrer-Comalat (Axioms, 2023)

Hybrid Partial Type Theory. - María Manzano; Antonia Huertas; Patrick Blackburn; Manuel A. Martins 001; Víctor Aranda (J. Symb. Log., 2025)