A Reactive Mobile Robot Based on a Formal Theory of Action. - Chitta Baral; Luis Floriano; Alfredo Gabaldon; David Morales; Tran Cao Son; Richard G. Watson (AAAI/IAAI, Vol. 2, 1996)

Developing and Deploying Knowledge on a Global Scale. - James Borron; David Morales; Philip Klahr (AI Mag., 1996)

From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests. - Chitta Baral; Luis Floriano; Aaron Hardesty; David Morales; Monica L. Nogueira; Tran Cao Son (Agents, 1998)

Interval Methods in Robot Navigation. - David Morales; Tran Cao Son (Reliab. Comput., 1998)

AVORA I Successful Participation in SAUC-E'12. - Anil Mahtani; Luis Sánchez; Aaron Martínez; Daniel García; David Morales; Enrique Fernández-Perdomo; Federico Maniscalco; Jorge Cabrera 001 (EUROCAST (2), 2013)

PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. - Francisco J. Cazorla; Jaume Abella 001; Jan Andersson; Tullio Vardanega; Francis Vatrinet; Iain Bate; Ian Broster; Mikel Azkarate-askasua; Franck Wartel; Liliana Cucu; Fabrice Cros; Glenn Farrall; et al. (DSD, 2016)

TASA: toolchain-agnostic static software randomisation for critical real-time systems. - Leonidas Kosmidis; Roberto Vargas; David Morales; Eduardo Quiñones; Jaume Abella 001; Francisco J. Cazorla (ICCAD, 2016)

Measurement-Based Timing Analysis of the AURIX Caches. - Leonidas Kosmidis; Davide Compagnin; David Morales; Enrico Mezzetti; Eduardo Quiñones; Jaume Abella 001; Tullio Vardanega; Francisco J. Cazorla (WCET, 2016)

Dynamic software randomisation: Lessons learnec from an aerospace case study. - Fabrice Cros; Leonidas Kosmidis; Franck Wartel; David Morales; Jaume Abella 001; Ian Broster; Francisco J. Cazorla (DATE, 2017)

Probabilistic timing analysis on time-randomized platforms for the space domain. - Mikel Fernández; David Morales; Leonidas Kosmidis; Alen Bardizbanyan; Ian Broster; Carles Hernández 001; Eduardo Quiñones; Jaume Abella 001; Francisco J. Cazorla; Paulo Machado; Luca Fossati (DATE, 2017)

OrderRex clinical user testing: a randomized trial of recommender system decision support on simulated cases. - Andre Kumar; Rachael C. Aikens; Jason Hom; Lisa Shieh; Jonathan Chiang; David Morales; Divya Saini; Mark A. Musen; Michael T. M. Baiocchi; Russ B. Altman; Mary K. Goldstein; Steven M. Asch; et al. (J. Am. Medical Informatics Assoc., 2020)

Developing an Automated Recipient Risk Prediction Tool for Life-long Mortality After Pediatric Heart Transplantation. - Yizhao Ni; Farhan Zafar; Alia Dani; David Morales; Lara J. Kanbar (AMIA, 2021)

Playing to distraction: towards a robust training of CNN classifiers through visual explanation techniques. - David Morales; Estefanía Talavera; Beatriz Remeseiro (Neural Comput. Appl., 2021)

Correction to: Playing to distraction: towards a robust training of CNN classifiers through visual explanation techniques. - David Morales; Estefanía Talavera; Beatriz Remeseiro (Neural Comput. Appl., 2022)

Exploring methods for the generation of visual counterfactuals in the latent space. - David Morales; Manuel P. Cuéllar; Diego Pedro Morales (Pattern Anal. Appl., 2024)