Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Fernando Leal Sánchez
Observed names:
Leal Sánchez, Fernando,
Sánchez, Fernando Leal
Institution:
Institut national de recherche en sciences et technologies du numérique
Observed institution:
Institut national de recherche en sciences et technologies du numérique
OpenAlex ID:
A5085831627
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
2026
·
Ho, Son
, Fournet, Cédric
, et al.
·
arXiv (Cornell University)
PDF
Modelos animales y aplicaciones terapeúticas de la edición génica mediante CRISPR-CAS
2019
·
Ester Gangoso Rodríguez
, Fernando Leal Sánchez
Ampliación de la Base de Datos pre-existente para la gestión integrada de los Trabajos Fin de Grado, Programas de Practicas en Empresa y Acción Tutorial (PAT) de la Facultad de Biología
2013
·
Fernando Leal Sánchez
, Félix Torres González
, et al.
Taller de Investigación en Biodiversidad de Microorganismos
2011
·
Pedro Miguel Coll Fresno
, Fernando Leal Sánchez
, et al.
Desarrollo de una Base de Datos para la gestión integrada de los Programas de Practicas en Empresa y Acción Tutorial (PAT) de la Facultad de Biología
2010
·
Fernando Leal Sánchez
, Nieves Carbajo Pérez
Safaris micorbianos: un viaje iniciático hacia la investigación en microbiología
2010
·
Fernando Leal Sánchez
, Pedro Miguel Coll Fresno
, et al.
Desarrollo de habilidades y herramientas para la obtención de información, autoformación y trabajo de investigación en grupo
2010
·
Fernando Leal Sánchez
, Severiano F. Gayubo
, et al.
·
Gredos (University of Salamanca)
PDF
Crecimiento y desarrollo de "Aspergillus nidulans"
1995
·
Pilar Herrera Puente
, Fernando Leal Sánchez
·
Dialnet (Universidad de la Rioja)
Show more works
View as search
Works count:
15
Citation count:
H-index:
I10-index:
Year
Topic
Type