Carlos Redondo

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 8

Top Topics

Autonomous Learning

Benchmark Datasets

Theoretical Considerations

Top Venues

J. Comput. Phys.

Publications

Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
Model-checking of space systems designed with TASTE/SDL. MoDELS (Companion) (2022)
Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jérôme Guzzi
Sensing Anomalies as Potential Hazards: Datasets and Benchmarks. TAROS (2022)
Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jérôme Guzzi
Sensing Anomalies as Potential Hazards: Datasets and Benchmarks. CoRR (2021)
Juan Manzanero, Carlos Redondo, Miguel Chávez-Modena, Gonzalo Rubio, Eusebio Valero, Susana Gómez-Álvarez, Ángel Rivero-Jiménez
High-order discontinuous Galerkin approximation for a three-phase incompressible Navier-Stokes/Cahn-Hilliard model. CoRR (2020)
Liang Lu, Carlos Redondo, Pascual Campoy
Optimal Frontier-Based Autonomous Exploration in Unconstructed Environment Using RGB-D Sensor. Sensors 20 (22) (2020)
Carlos Redondo, Ritu Arora
Greyfish: An Out-of-the-Box, Reusable, Portable Cloud Storage Service. PEARC (2019)
Carlos Redondo, Ritu Arora, Trung Nguyen Ba
Theoretical and Practical Approaches for Teaching Parallel Code Correctness. HiPC Workshops (2019)
François Fraysse, Carlos Redondo, Gonzalo Rubio, Eusebio Valero
Upwind methods for the Baer-Nunziato equations and higher-order reconstruction using artificial viscosity. J. Comput. Phys. 326 (2016)
Carmen Benavides, Isaías Garcia, Héctor Alaiz-Moretón, Javier Alfonso, Carlos Redondo, Ángel Alonso
Ontologies as knowledge representation structures for CACSD software. CACSD (2008)