Carlos Redondo

According to our database¹, Carlos Redondo authored at least 8 papers between 2008 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Sensing Anomalies as Potential Hazards: Datasets and Benchmarks.

[BibT_eX]

[DOI]

Dario Mantegazza

Carlos Redondo

Fran Espada

Luca Maria Gambardella

Alessandro Giusti

Jérôme Guzzi

Proceedings of the Towards Autonomous Robotic Systems - 23rd Annual Conference, 2022

Model-checking of space systems designed with TASTE/SDL.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2020

Optimal Frontier-Based Autonomous Exploration in Unconstructed Environment Using RGB-D Sensor.

[BibT_eX]

[DOI]

Liang Lu

Carlos Redondo

Pascual Campoy

Sensors, 2020

High-order discontinuous Galerkin approximation for a three-phase incompressible Navier-Stokes/Cahn-Hilliard model.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Greyfish: An Out-of-the-Box, Reusable, Portable Cloud Storage Service.

[BibT_eX]

[DOI]

Carlos Redondo

Ritu Arora

Proceedings of the Practice and Experience in Advanced Research Computing on Rise of the Machines (learning), 2019

Theoretical and Practical Approaches for Teaching Parallel Code Correctness.

[BibT_eX]

[DOI]

Carlos Redondo

Ritu Arora

Trung Nguyen Ba

Proceedings of the 26th International Conference on High Performance Computing, 2019

2016

Upwind methods for the Baer-Nunziato equations and higher-order reconstruction using artificial viscosity.

[BibT_eX]

[DOI]

J. Comput. Phys., 2016

2008

Ontologies as knowledge representation structures for CACSD software.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008

Carlos Redondo

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...