Student Modelling and Interface Design in SIAL. - Alejandra Martínez-Monés; María Aránzazu Simón Hurtado; José Alberto Maestro Prieto; Mario López; Carlos Alonso González (Intelligent Tutoring Systems, 2000)

Diagnosis de Sistemas Dinámicos: Un Modelo de Conocimiento que Permite Integrar la Evolución del Sistema en el Proceso de Diagnosis. - Carlos J. Alonso-González; César Llamas; José A. Maestro; Belarmino Pulido (Computación y Sistemas, 2002)

A Proposal of Diagnosis for an ITS for Computational Logic. - José A. Maestro; María Aránzazu Simón Hurtado; Mario López; Alejandra Martínez-Monés; Carlos J. Alonso (CAEPIA, 2003)

Diagnosis of Dynamic Systems: A Knowledge Model That Allows Tracking the System during the Diagnosis Process. - Carlos J. Alonso; César Llamas; José A. Maestro; Belarmino Pulido Junquera (IEA/AIE, 2003)

A Representation of Temporal Aspects in Knowledge Based Systems Modelling: A Monitoring Example. - José A. Maestro; César Llamas; Carlos J. Alonso (IEA/AIE, 2004)

Support vector machines of interval-based features for time series classification. - Juan José Rodríguez; Carlos J. Alonso; José A. Maestro (Knowl. Based Syst., 2005)

A MAS for Teaching Computational Logic. - José Alberto Maestro Prieto; María Aránzazu Simón Hurtado; Juan F. De Paz Santana; Gabriel Villarrubia-González (DCAI, 2013)

SLI: a tool for easing the understanding of automated proof construction. - José Alberto Maestro Prieto; María Aránzazu Simón Hurtado (Inroads, 2013)

Learner-Adaptive Pedagogical Model in SIAL, an Open-Ended Intelligent Tutoring System for First Order Logic. - José Alberto Maestro-Prieto; Arancha Simón Hurtado (AIED, 2015)

Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view. - José Alberto Maestro-Prieto; Arancha Simón Hurtado (Comput. Appl. Eng. Educ., 2015)

The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic. - José Alberto Maestro-Prieto; Arancha Simón Hurtado (ITiCSE, 2018)

Comparison of Efficient Planning and Optimization Methods of Last Mile Delivery Resources. - José A. Maestro; Sara Rodríguez 001; Roberto Casado; Javier Prieto 001; Juan M. Corchado (BROADNETS, 2020)

Semi-supervised diagnosis of wind-turbine gearbox misalignment and imbalance faults. - José Alberto Maestro-Prieto; José Miguel Ramírez-Sanz; Andrés Bustillo; Juan José Rodríguez Diez (Appl. Intell., 2024)