CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Vákár, Matthijs; Smeding, Tom
Publié dans:
TOPLAS, Numéro 1, 2022, ISSN 0164-0925
Éditeur:
Association for Computing Machinary, Inc.
Auteurs:
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Publié dans:
ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/3490421
Auteurs:
Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Publié dans:
Logical Methods in Computer Science, Numéro Volume 18, Numéro 1, 2022, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
Auteurs:
Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Publié dans:
2020
Éditeur:
Springer
Auteurs:
Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Publié dans:
2020
Éditeur:
ACM
Auteurs:
Matthijs Vákár
Publié dans:
2021
Éditeur:
Springer
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible