ZARAMIT: A System for the Evolutionary Study of Human Mitochondrial DNA. - Roberto Blanco; Elvira Mayordomo (IWANN (2), 2009)

Structural parsimony: Reductions in sequence space. - Roberto Blanco (BIBM, 2010)

Scalable Phylogenetics through Input Preprocessing. - Roberto Blanco; Elvira Mayordomo; Esther Montes; Rafael Mayo 001; Angelines Alberto (IWPACBB, 2010)

Simplification Methods for Maximum Parsimony: A Relational View. - Roberto Blanco (BIBM, 2011)

Workflows with Model Selection: A Multilocus Approach to Phylogenetic Analysis. - Jorge Álvarez; Roberto Blanco; Elvira Mayordomo (PACBB, 2011)

Phylogenetic Analysis Using an SMV Tool. - José Ignacio Requeno; Roberto Blanco; Gregorio de Miguel Casado; José Manuel Colom (PACBB, 2011)

Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. - Roberto Blanco; Elvira Mayordomo; Julio Montoya; Eduardo Ruiz-Pesini (BMC Bioinform., 2011)

Sliced Model Checking for Phylogenetic Analysis. - José Ignacio Requeno; Roberto Blanco; Gregorio de Miguel Casado; José Manuel Colom (PACBB, 2012)

Temporal Logics for Phylogenetic Analysis via Model Checking. - José Ignacio Requeno; Gregorio de Miguel Casado; Roberto Blanco; José Manuel Colom (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

Defining the meaning of TPTP formatted proofs. - Roberto Blanco; Tomer Libal; Dale Miller 001 (IWIL@LPAR, 2015)

Proof Outlines as Proof Certificates: A System Description. - Roberto Blanco; Dale Miller 001 (WoF'15, 2015)

Translating Between Implicit and Explicit Versions of Proof. - Roberto Blanco; Zakaria Chihani; Dale Miller 001 (CADE, 2017)

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. - Carmine Abate; Arthur Azevedo de Amorim; Roberto Blanco; Ana Nora Evans; Guglielmo Fachini; Catalin Hritcu; Théo Laurent; Benjamin C. Pierce; Marco Stronati; Andrew Tolmach (CCS, 2018)

The Effect of Tissue Physiological Variability on Transurethral Ultrasound Therapy of the Prostate. - Visa Suomi; Bradley E. Treeby; Jirí Jaros; Jani Saunavaara; Aida Kiviniemi; Roberto Blanco (EMBC, 2018)

Tuning CNN Input Layout for IDS with Genetic Algorithms. - Roberto Blanco; Juan J. Cilla; Pedro Malagón; Ignacio Penas; José Manuel Moya (HAIS, 2018)

Applying Cost-Sensitive Classifiers with Reinforcement Learning to IDS. - Roberto Blanco; Juan J. Cilla; Samira Briongos; Pedro Malagón; José Manuel Moya (IDEAL (1), 2018)

Multiclass Network Attack Classifier Using CNN Tuned with Genetic Algorithms. - Roberto Blanco; Pedro Malagón; Juan J. Cilla; José Manuel Moya (PATMOS, 2018)

Exploring Robust Property Preservation for Secure Compilation. - Carmine Abate; Roberto Blanco; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Jérémy Thibault (CoRR, 2018)

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. - Carmine Abate; Roberto Blanco; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Jérémy Thibault (CSF, 2019)

Anomaly Detection Using Gaussian Mixture Probability Model to Implement Intrusion Detection System. - Roberto Blanco; Pedro Malagón; Samira Briongos; José Manuel Moya (HAIS, 2019)

Predictive GPU-based ADAS Management in Energy-Conscious Smart Cities. - Sergio Pérez 002; Jaime Pérez; Patricia Arroba; Roberto Blanco; José L. Ayala; José Manuel Moya (ISC2, 2019)

Property-Based Testing via Proof Reconstruction. - Roberto Blanco; Dale Miller 001; Alberto Momigliano (PPDP, 2019)

Trace-Relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (CoRR, 2019)

Trace-Relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Adrien Durier; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (ESOP, 2020)

Mercury: A modeling, simulation, and optimization framework for data stream-oriented IoT applications. - Román Cárdenas; Patricia Arroba; Roberto Blanco; Pedro Malagón; José L. Risco-Martín; José Manuel Moya (Simul. Model. Pract. Theory, 2020)

Security Properties for Stack Safety. - Sean Noble Anderson; Leonidas Lampropoulos; Roberto Blanco; Benjamin C. Pierce; Andrew Tolmach (CoRR, 2021)

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Adrien Durier; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (ACM Trans. Program. Lang. Syst., 2021)

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. - Akram El-Korashy; Roberto Blanco; Jérémy Thibault; Adrien Durier; Deepak Garg 001; Catalin Hritcu (CSF, 2022)

Formalizing Stack Safety as a Security Property. - Sean Noble Anderson; Roberto Blanco; Leonidas Lampropoulos; Benjamin C. Pierce; Andrew Tolmach (CSF, 2023)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs. - Jérémy Thibault; Roberto Blanco; Dongjae Lee; Sven Argo; Arthur Azevedo de Amorim; Aïna Linn Georges; Catalin Hritcu; Andrew Tolmach (CCS, 2024)

FSLH: Flexible Mechanized Speculative Load Hardening. - Jonathan Baumann; Roberto Blanco; Léon Ducruet; Sebastian Harwig; Catalin Hritcu (CSF, 2025)

FSLH: Flexible Mechanized Speculative Load Hardening. - Roberto Blanco; Léon Ducruet; Sebastian Harwig; Catalin Hritcu (CoRR, 2025)