Searching for OpenAIRE data...
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
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
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
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
DOI: 10.4204/EPTCS.248.9
Author(s): Seiller, Thomas
Published in: ACM Transactions in Computational Logic, 2018
Author(s): Seiller, Thomas
Published in: 2016
Author(s): Seiller, Thomas
Published in: 2015