Roberto Blanco
发表
Roberto Blanco,
Juan J. Cilla,
Samira Briongos,
2018,
IDEAL.
Roberto Blanco,
Zakaria Chihani,
Dale Miller,
2017,
CADE.
Roberto Blanco,
Elvira Mayordomo,
Jorge Álvarez,
2011,
PACBB.
Roberto Blanco,
Elvira Mayordomo,
E. Mayordomo,
2009,
IWANN.
Roberto Blanco,
Bradley E. Treeby,
Jirí Jaros,
2018,
2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Roberto Blanco,
Juan J. Cilla,
Pedro Malagón,
2018,
HAIS.
Roberto Blanco,
Dale Miller,
Tomer Libal,
2016
.
Roberto Blanco,
Elvira Mayordomo,
Eduardo Ruiz-Pesini,
2011,
BMC Bioinformatics.
Roberto Blanco,
José Manuel Colom,
Gregorio de Miguel Casado,
2010,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Roberto Blanco,
Marco Patrignani,
Catalin Hritcu,
2018,
ArXiv.
Roberto Blanco,
José Manuel Colom,
Gregorio de Miguel Casado,
2012,
PACBB.
Roberto Blanco,
Dale Miller,
Tomer Libal,
2015,
IWIL@LPAR.
Roberto Blanco,
Juan J. Cilla,
Pedro Malagón,
2018,
2018 28th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS).
Roberto Blanco,
Rafael Mayo,
Elvira Mayordomo,
2010,
IWPACBB.
Roberto Blanco,
Zakaria Chihani,
2016
.
Roberto Blanco,
Benjamin C. Pierce,
Catalin Hritcu,
2018,
CCS.
Roberto Blanco,
Marco Patrignani,
Catalin Hritcu,
2018,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Roberto Blanco,
Dale Miller,
2015,
WoF'15.
Roberto Blanco,
2010,
2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Roberto Blanco,
Teemu Mäkelä,
Touko Kaasalainen,
2019,
Physica medica : PM : an international journal devoted to the applications of physics to medicine and biology : official journal of the Italian Association of Biomedical Physics.
Roberto Blanco,
José Manuel Colom,
Gregorio de Miguel Casado,
2010
.
Roberto Blanco,
Marco Patrignani,
Catalin Hritcu,
2019,
ESOP.
Roberto Blanco,
Olli Silven,
Osmo Tervonen,
2000
.
Roberto Blanco,
José Manuel Colom,
Gregorio de Miguel Casado,
2011,
PACBB.
Roberto Blanco,
2011,
2011 IEEE International Conference on Bioinformatics and Biomedicine.
Roberto Blanco,
Pedro Malagón,
José Manuel Moya,
2020,
Simul. Model. Pract. Theory.
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
pdf
Roberto Blanco,
Catalin Hritcu,
Deepak Garg,
2021,
ArXiv.
Roberto Blanco,
Marco Patrignani,
Deepak Garg,
2021,
ACM Trans. Program. Lang. Syst..
Roberto Blanco,
Benjamin C. Pierce,
Leonidas Lampropoulos,
2021,
ArXiv.
Roberto Blanco,
Benjamin C. Pierce,
Leonidas Lampropoulos,
2021
.