Searching for OpenAIRE data...
Publications
Author(s): Christian Doczkal, Gert Smolka
Published in: Journal of Automated Reasoning, Issue 61/1-4, 2018, Page(s) 521-553, ISSN 0168-7433
DOI: 10.1007/s10817-018-9460-x
Author(s): Brunet, Paul; Pous, Damien
Published in: Logical Methods in Computer Science, 2017, ISSN 1860-5974
DOI: 10.23638/LMCS-13(3:33)2017
Author(s): Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot
Published in: Acta Informatica, Issue 54/2, 2017, Page(s) 127-190, ISSN 0001-5903
DOI: 10.1007/s00236-016-0271-4
Author(s): Das , Anupam; Pous , Damien
Published in: Computer Science Logic, 2018
DOI: 10.4230/LIPIcs.CSL.2018.18
Author(s): Damien Pous, Valeria Vignudelli
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 829-838
DOI: 10.1145/3209108.3209172
Author(s): Christian Doczkal, Joachim Bard
Published in: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018, Page(s) 42-52
DOI: 10.1145/3167088
Author(s): Doumane , Amina; Pous , Damien
Published in: The 29th International Conference on Concurrency Theory (CONCUR), 2018
DOI: 10.4230/LIPIcs.CONCUR.2018.18
Author(s): Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 364-373
DOI: 10.1145/3209108.3209152
Author(s): Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
Published in: 28th International Conference on Concurrency Theory - CONCUR 2017, 2017
DOI: 10.4230/LIPIcs.CONCUR.2017.7
Author(s): Christian Doczkal ; Damien Pous
Published in: Mathematical Foundations of Computer Science (MFCS), 2018
DOI: 10.4230/LIPIcs.MFCS.2018.60
Author(s): Christian Doczkal, Guillaume Combette, Damien Pous
Published in: International Conference on Interactive Theorem Proving (ITP), 2018, Page(s) 178-195
DOI: 10.1007/978-3-319-94821-8_11
Author(s): Bagnol , Marc; Kuperberg , Denis
Published in: FSTTCS, 2018
DOI: 10.4230/LIPIcs.FSTTCS.2018.16
Author(s): Anupam Das, Amina Doumane, Damien Pous
Published in: EPiC Series in Computing volume 57, 2018, Page(s) 271-251
DOI: 10.29007/hzq3
Author(s): Damien Pous
Published in: STACS, 2018
DOI: 10.4230/lipics.stacs.2018.3
Author(s): Kuperberg, Denis; Pinault, Laureline; Pous, Damien
Published in: Developments in Language Theory, 2019
Author(s):
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Published in: Logic in Computer Science, 2019
Author(s): Das, Anupam; Pous, Damien
Published in: 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017), 2017
DOI: 10.1007/978-3-319-66902-1_16
Author(s): Pous, Damien; Rot, Jurriaan
Published in: 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), 2017
DOI: 10.1007/978-3-662-54458-7_7
Author(s): Basold, Henning; Pous, Damien; Rot, Jurriaan
Published in: 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017
DOI: 10.4230/LIPIcs.CALCO.2017.5
Author(s): Damien Pous
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 307-316
DOI: 10.1145/2933575.2934564
Author(s): Malgorzata Biernacka, Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
Published in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-12
DOI: 10.1109/LICS.2017.8005118
Author(s): Cosme-Llópez, Enric; Pous, Damien
Published in: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), 2017
DOI: 10.4230/LIPIcs.MFCS.2017.76
Author(s): Brunet, Paul; Pous, Damien
Published in: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS), 2016
DOI: 10.4230/LIPIcs.MFCS.2016.22
Author(s): Brunet, Paul; Pous, Damien; Struth, Georg
Published in: 28th International Conference on Concurrency Theory (CONCUR 2017), 2017
DOI: 10.4230/LIPIcs.CONCUR.2017.24
Author(s): Paul Brunet, Damien Pous, Insa Stucke
Published in: 7th international conference on Interactive Theorem Proving (ITP), 2016, Page(s) 466-474
DOI: 10.1007/978-3-319-43144-4_29
Author(s): Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic
Published in: Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Issue 11425, 2019, Page(s) 207-223
DOI: 10.1007/978-3-030-17127-8_12
Author(s): Henning Basold, Ekaterina Komendantskaya, Yue Li
Published in: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Issue 11423, 2019, Page(s) 783-813
DOI: 10.1007/978-3-030-17184-1_28
Author(s): Pous, Damien
Published in: HdR thesis, ENS Lyon, 2016, 2016