Ontologies as knowledge representation structures for CACSD software. - Carmen Benavides; Isaías García 001; Héctor Alaiz-Moretón; Javier Alfonso; Carlos Redondo; Ángel Alonso (CACSD, 2008)

Upwind methods for the Baer-Nunziato equations and higher-order reconstruction using artificial viscosity. - François Fraysse; Carlos Redondo; Gonzalo Rubio; Eusebio Valero (J. Comput. Phys., 2016)

Theoretical and Practical Approaches for Teaching Parallel Code Correctness. - Carlos Redondo; Ritu Arora; Trung Nguyen Ba (HiPC Workshops, 2019)

Greyfish: An Out-of-the-Box, Reusable, Portable Cloud Storage Service. - Carlos Redondo; Ritu Arora (PEARC, 2019)

High-order discontinuous Galerkin approximation for a three-phase incompressible Navier-Stokes/Cahn-Hilliard model. - Juan Manzanero; Carlos Redondo; Miguel Chávez-Modena; Gonzalo Rubio; Eusebio Valero; Susana Gómez-Álvarez; Ángel Rivero-Jiménez (CoRR, 2020)

Optimal Frontier-Based Autonomous Exploration in Unconstructed Environment Using RGB-D Sensor. - Liang Lu 005; Carlos Redondo; Pascual Campoy (Sensors, 2020)

Dataset for Sensing Anomalies as Potential Hazards in Mobile Robots. - Dario Mantegazza; Carlos Redondo; Fran Espada; Luca Maria Gambardella; Alessandro Giusti; Jerome Guzzi (Zenodo, 2021)

Model-checking of space systems designed with TASTE/SDL. - Iulia Dragomir; Carlos Redondo; Tiago Jorge; Laura Gouveia; Iulian Ober; Ivan Kolesnikov; Marius Bozga; Maxime Perrotin (MoDELS (Companion), 2022)

Sensing Anomalies as Potential Hazards: Datasets and Benchmarks. - Dario Mantegazza; Carlos Redondo; Fran Espada; Luca Maria Gambardella; Alessandro Giusti; Jérôme Guzzi (TAROS, 2022)