CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Clément Aubert, Marc Bagnol, Thomas Seiller
Published in:
Foundations of Software Science and Computation Structures. FoSSaCS 2016. Lecture Notes in Computer Science, vol 9634, 2016, Page(s) 373-389
Publisher:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-49630-5_22
Author(s):
Thomas Seiller
Published in:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 427-436, ISBN 9781-450343916
Publisher:
ACM Press
DOI:
10.1145/2933575.2934568
Author(s):
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Published in:
Automated Technology for Verification and Analysis. ATVA 2017. Lecture Notes in Computer Science, vol 10482, 2017, Page(s) 91-108
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-68167-2_7
Author(s):
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 248, 2017, Page(s) 47-59, ISSN 2075-2180
Publisher:
Open Publishing Association
DOI:
10.4204/EPTCS.248.9
Author(s):
Seiller, Thomas
Published in:
ACM Transactions in Computational Logic, 2018
Publisher:
ACM
Author(s):
Seiller, Thomas
Published in:
2016
Publisher:
ArXiv
Author(s):
Seiller, Thomas
Published in:
2015
Publisher:
ArXiv
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available