Items where author is "Ramos Gutiérrez, Guillermo"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Thesis

Ramos Gutiérrez, Guillermo (2015). Implementing a term rewriting engine for the EasyCrypt framework. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).

Final Project

Ramos Gutiérrez, Guillermo (2014). Desarrollo de funcionalidad para un marco orientado al razonamiento sobre algoritmos criptográficos. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM