( en | de | ru )

 

Disambiguation of "Blanco, Roberto"

Author of the publication

copydeleteadd this publication to your clipboard
Translating Between Implicit and Explicit Versions of Proof.

, , and . CADE, volume 10395 of Lecture Notes in Computer Science, page 255-273. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Roberto Blanco Trillo

Myriam Blanco

Rolando Blanco

Ricardo Blanco Unzué

Julián Blanco Rodríguez

 

Other publications of authors with the same name

Multiclass Network Attack Classifier Using CNN Tuned with Genetic Algorithms., , , and . PATMOS, page 177-182. IEEE, (2018)Temporal Logics for Phylogenetic Analysis via Model Checking., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 10 (4): 1058-1070 (2013)Simplification Methods for Maximum Parsimony: A Relational View.. BIBM, page 49-56. IEEE Computer Society, (2011)Temporal logics for phylogenetic analysis via model checking., , , and . BIBM Workshops, page 152-157. IEEE, (2010)Phylogenetic Analysis Using an SMV Tool., , , and . PACBB, volume 93 of Advances in Intelligent and Soft Computing, page 167-174. Springer, (2011)SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation., , , , , and . CoRR, (2021)Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation., , , , , and . CSF, page 256-271. IEEE, (2019)Predictive GPU-based ADAS Management in Energy-Conscious Smart Cities., , , , , and . ISC2, page 349-354. IEEE, (2019)Structural parsimony: Reductions in sequence space.. BIBM, page 57-61. IEEE Computer Society, (2010)Sliced Model Checking for Phylogenetic Analysis., , , and . PACBB, volume 154 of Advances in Intelligent and Soft Computing, page 95-103. Springer, (2012)