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:
Jean-Yves Moyen
Jakob Grue Simonsen
Opublikowane w:
Developments in Implicit Computational Complexity, DICE'16, 2016
Wydawca:
Damiano Mazza
Autorzy:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Opublikowane w:
International Symposium on Automated Technology for Verification and Analysis ATVA 2017, 2017, Strona(/y) 91-108
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-68167-2_7
Autorzy:
Jean-Yves Moyen, Jakob Grue Simonsen
Opublikowane w:
Electronic Proceedings in Theoretical Computer Science, Numer 248, 2017, Strona(/y) 38-46, ISSN 2075-2180
Wydawca:
Guillaume Bonfante and Georg Möser
DOI:
10.4204/EPTCS.248.8
Autorzy:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Opublikowane w:
Electronic Proceedings in Theoretical Computer Science, Numer 248, 2017, Strona(/y) 47-59, ISSN 2075-2180
Wydawca:
Guillaume Bonfante and Georg Möser
DOI:
10.4204/EPTCS.248.9
Autorzy:
Jean-Yves Moyen
Opublikowane w:
2017
Wydawca:
University of Copenhagen
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników