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:
Clément Aubert, Marc Bagnol, Thomas Seiller
Opublikowane w:
Foundations of Software Science and Computation Structures. FoSSaCS 2016. Lecture Notes in Computer Science, vol 9634, 2016, Strona(/y) 373-389
Wydawca:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-49630-5_22
Autorzy:
Thomas Seiller
Opublikowane w:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Strona(/y) 427-436, ISBN 9781-450343916
Wydawca:
ACM Press
DOI:
10.1145/2933575.2934568
Autorzy:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Opublikowane w:
Automated Technology for Verification and Analysis. ATVA 2017. Lecture Notes in Computer Science, vol 10482, 2017, Strona(/y) 91-108
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-68167-2_7
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:
Open Publishing Association
DOI:
10.4204/EPTCS.248.9
Autorzy:
Seiller, Thomas
Opublikowane w:
ACM Transactions in Computational Logic, 2018
Wydawca:
ACM
Autorzy:
Seiller, Thomas
Opublikowane w:
2016
Wydawca:
ArXiv
Autorzy:
Seiller, Thomas
Opublikowane w:
2015
Wydawca:
ArXiv
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników