CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.
I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .
Pubblicazioni
Autori:
Vákár, Matthijs; Smeding, Tom
Pubblicato in:
TOPLAS, Numero 1, 2022, ISSN 0164-0925
Editore:
Association for Computing Machinary, Inc.
Autori:
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Pubblicato in:
ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Editore:
Association for Computing Machinary, Inc.
DOI:
10.1145/3490421
Autori:
Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Pubblicato in:
Logical Methods in Computer Science, Numero Volume 18, Numero 1, 2022, ISSN 1860-5974
Editore:
Technischen Universitat Braunschweig
Autori:
Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Pubblicato in:
2020
Editore:
Springer
Autori:
Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Pubblicato in:
2020
Editore:
ACM
Autori:
Matthijs Vákár
Pubblicato in:
2021
Editore:
Springer
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile