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:
Clément Aubert, Marc Bagnol, Thomas Seiller
Veröffentlicht in:
Foundations of Software Science and Computation Structures. FoSSaCS 2016. Lecture Notes in Computer Science, vol 9634, 2016, Seite(n) 373-389
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-49630-5_22
Autoren:
Thomas Seiller
Veröffentlicht in:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Seite(n) 427-436, ISBN 9781-450343916
Herausgeber:
ACM Press
DOI:
10.1145/2933575.2934568
Autoren:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Veröffentlicht in:
Automated Technology for Verification and Analysis. ATVA 2017. Lecture Notes in Computer Science, vol 10482, 2017, Seite(n) 91-108
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-68167-2_7
Autoren:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 248, 2017, Seite(n) 47-59, ISSN 2075-2180
Herausgeber:
Open Publishing Association
DOI:
10.4204/EPTCS.248.9
Autoren:
Seiller, Thomas
Veröffentlicht in:
ACM Transactions in Computational Logic, 2018
Herausgeber:
ACM
Autoren:
Seiller, Thomas
Veröffentlicht in:
2016
Herausgeber:
ArXiv
Autoren:
Seiller, Thomas
Veröffentlicht in:
2015
Herausgeber:
ArXiv
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor