CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Clément Aubert, Marc Bagnol, Thomas Seiller
Publié dans:
Foundations of Software Science and Computation Structures. FoSSaCS 2016. Lecture Notes in Computer Science, vol 9634, 2016, Page(s) 373-389
Éditeur:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-49630-5_22
Auteurs:
Thomas Seiller
Publié dans:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 427-436, ISBN 9781-450343916
Éditeur:
ACM Press
DOI:
10.1145/2933575.2934568
Auteurs:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Publié dans:
Automated Technology for Verification and Analysis. ATVA 2017. Lecture Notes in Computer Science, vol 10482, 2017, Page(s) 91-108
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-68167-2_7
Auteurs:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 248, 2017, Page(s) 47-59, ISSN 2075-2180
Éditeur:
Open Publishing Association
DOI:
10.4204/EPTCS.248.9
Auteurs:
Seiller, Thomas
Publié dans:
ACM Transactions in Computational Logic, 2018
Éditeur:
ACM
Auteurs:
Seiller, Thomas
Publié dans:
2016
Éditeur:
ArXiv
Auteurs:
Seiller, Thomas
Publié dans:
2015
Éditeur:
ArXiv
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible