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:
Vákár, Matthijs; Smeding, Tom
Publicado en:
TOPLAS, Edición 1, 2022, ISSN 0164-0925
Editor:
Association for Computing Machinary, Inc.
Autores:
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Publicado en:
ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3490421
Autores:
Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Publicado en:
Logical Methods in Computer Science, Edición Volume 18, Edición 1, 2022, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
Autores:
Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Publicado en:
2020
Editor:
Springer
Autores:
Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Publicado en:
2020
Editor:
ACM
Autores:
Matthijs Vákár
Publicado en:
2021
Editor:
Springer
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles