CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Tanguy Bozec, Jasmin Blanchette
Publicado en:
Lecture Notes in Computer Science, Frontiers of Combining Systems, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-04167-8_15
Autores:
Balazs Toth, Martin Desharnais-Schäfer, Jasmin Blanchette
Publicado en:
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026
Editor:
ACM
DOI:
10.1145/3779031.3779099
Autores:
Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Publicado en:
ITP 2024, 2024
Editor:
Schloss Dagstuhl
DOI:
10.4230/LIPICS.ITP.2024.12
Autores:
Lukas Bartl, Jasmin Blanchette, Tobias Nipkow
Publicado en:
Lecture Notes in Computer Science, Automated Deduction – CADE 30, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-99984-0_30
Autores:
Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette
Publicado en:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor:
Springer
DOI:
10.1007/978-3-031-90643-5_5
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles