CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Vákár, Matthijs; Smeding, Tom
Opublikowane w:
TOPLAS, Numer 1, 2022, ISSN 0164-0925
Wydawca:
Association for Computing Machinary, Inc.
Autorzy:
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Opublikowane w:
ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Wydawca:
Association for Computing Machinary, Inc.
DOI:
10.1145/3490421
Autorzy:
Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Opublikowane w:
Logical Methods in Computer Science, Numer Volume 18, Numer 1, 2022, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
Autorzy:
Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Opublikowane w:
2020
Wydawca:
Springer
Autorzy:
Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Opublikowane w:
2020
Wydawca:
ACM
Autorzy:
Matthijs Vákár
Opublikowane w:
2021
Wydawca:
Springer
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników