Journey beyond full abstraction: Exploring robust property preservation for secure compilation C Abate, R Blanco, D Garg, C Hritcu, M Patrignani, J Thibault 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 256-25615, 2019 | 82 | 2019 |
Role of age and comorbidities in mortality of patients with infective endocarditis C Armiñanzas, C Fariñas-Alvarez, J Zarauza, P Muñoz, VG Ramallo, ... European Journal of Internal Medicine 64, 63-71, 2019 | 59 | 2019 |
When good components go bad: Formally secure compilation despite dynamic compromise C Abate, A Azevedo de Amorim, R Blanco, AN Evans, G Fachini, C Hritcu, ... Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 42 | 2018 |
Multiclass network attack classifier using CNN tuned with genetic algorithms R Blanco, P Malagón, JJ Cilla, JM Moya 2018 28th International Symposium on Power and Timing Modeling, Optimization …, 2018 | 30 | 2018 |
Prevalence of colorectal neoplasms among patients with Enterococcus faecalis endocarditis in the GAMES Cohort (2008–2017) JM Pericàs, J Ambrosioni, P Muñoz, A de Alarcón, M Kestler, ... Mayo Clinic Proceedings 96 (1), 132-146, 2021 | 27 | 2021 |
Gentamicin may have no effect on mortality of staphylococcal prosthetic valve endocarditis A Ramos-Martínez, AM Serrano, A de Alarcón González, P Muñoz, ... Journal of Infection and Chemotherapy 24 (7), 555-562, 2018 | 24 | 2018 |
Trace-relating compiler correctness and secure compilation C Abate, R Blanco, Ș Ciobâcă, A Durier, D Garg, C Hrițcu, M Patrignani, ... Programming Languages and Systems: 29th European Symposium on Programming …, 2020 | 21 | 2020 |
Mercury: A modeling, simulation, and optimization framework for data stream-oriented IoT applications R Cárdenas, P Arroba, R Blanco, P Malagón, JL Risco-Martín, JM Moya Simulation Modelling Practice and Theory 101, 102037, 2020 | 20 | 2020 |
Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge R Blanco, E Mayordomo, J Montoya, E Ruiz-Pesini BMC bioinformatics 12, 1-13, 2011 | 19 | 2011 |
Anomaly detection using gaussian mixture probability model to implement intrusion detection system R Blanco, P Malagón, S Briongos, JM Moya Hybrid Artificial Intelligent Systems: 14th International Conference, HAIS …, 2019 | 18 | 2019 |
Tuning cnn input layout for ids with genetic algorithms R Blanco, JJ Cilla, P Malagón, I Penas, JM Moya Hybrid Artificial Intelligent Systems: 13th International Conference, HAIS …, 2018 | 17 | 2018 |
Translating between implicit and explicit versions of proof R Blanco, Z Chihani, D Miller Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 17 | 2017 |
An extended account of trace-relating compiler correctness and secure compilation C Abate, R Blanco, Ş Ciobâcă, A Durier, D Garg, C Hriţcu, M Patrignani, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-48, 2021 | 14 | 2021 |
Aspergillus endocarditis in the recent years, report of cases of a multicentric national cohort and literature review M Valerio, M Camici, M Machado, A Galar, M Olmedo, D Sousa, ... Mycoses 65 (3), 362-373, 2022 | 12 | 2022 |
Predictive GPU-based ADAS management in energy-conscious smart cities S Pérez, J Pérez, P Arroba, R Blanco, JL Ayala, JM Moya 2019 ieee international smart cities conference (isc2), 349-354, 2019 | 12 | 2019 |
Applying cost-sensitive classifiers with reinforcement learning to ids R Blanco, JJ Cilla, S Briongos, P Malagón, JM Moya Intelligent Data Engineering and Automated Learning–IDEAL 2018: 19th …, 2018 | 12 | 2018 |
Thuska Uma: Tratamiento de aguas ácidas con fines de riego JC Montoya, J Amusqúivar, G Guzmán, D Quispe, R Blanco, N Mollo La Paz: PIEB, 2010 | 12 | 2010 |
Temporal logics for phylogenetic analysis via model checking R Blanco, G de Miguel Casado, JI Requeno, JM Colom 2010 IEEE International Conference on Bioinformatics and Biomedicine …, 2010 | 11 | 2010 |
Proof outlines as proof certificates: a system description R Blanco, D Miller arXiv preprint arXiv:1511.04178, 2015 | 10 | 2015 |
ZARAMIT: a system for the evolutionary study of human mitochondrial DNA R Blanco, E Mayordomo International Work-Conference on Artificial Neural Networks, 1139-1142, 2009 | 9 | 2009 |