CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Vákár, Matthijs; Smeding, Tom
Veröffentlicht in:
TOPLAS, Ausgabe 1, 2022, ISSN 0164-0925
Herausgeber:
Association for Computing Machinary, Inc.
Autoren:
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Veröffentlicht in:
ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3490421
Autoren:
Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Veröffentlicht in:
Logical Methods in Computer Science, Ausgabe Volume 18, Ausgabe 1, 2022, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
Autoren:
Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Veröffentlicht in:
2020
Herausgeber:
Springer
Autoren:
Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Veröffentlicht in:
2020
Herausgeber:
ACM
Autoren:
Matthijs Vákár
Veröffentlicht in:
2021
Herausgeber:
Springer
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor