D. Pous
发表
N. Brisebarre,
D. Pous,
Nicolas Brisebarre,
2018
.
Damien Pous,
Thomas Braibant,
D. Pous,
2009
.
D. Pous,
Paul Brunet,
Insa Stucke,
2017
.
D. Pous,
Amina Doumane,
Anupam Das,
2018
.
D. Pous,
2019
.
J. Rutten,
Alexandra Silva,
D. Pous,
2016
.
D. Pous,
F. Bonchi,
J. Rot,
2017
.
J. Dumas,
Burak Ekici,
D. Duval,
2014
.
D. Pous,
F. Bonchi,
2011
.
D. Pous,
J. Wagemaker,
2022,
CONCUR.
D. Pous,
2017
.
D. Pous,
Paul Brunet,
2015
.
Damien Pous,
D. Pous,
2019,
CALCO.
A. Schmitt,
Dariusz Biernacki,
Malgorzata Biernacka,
2022,
2205.06665.
D. Pous,
Christian Doczkal,
2018
.
D. Pous,
Denis Kuperberg,
L. Pinault,
2018
.
D. Pous,
J. Rot,
R. Turkenburg,
2022,
CMCS.
D. Pous,
D. Hirschkoff,
Tom Hirschowitz,
2009,
Electron. Notes Theor. Comput. Sci..
D. Pous,
C. Doczkal,
2018
.
Christian Doczkal,
Damien Pous,
D. Pous,
2020,
Journal of Automated Reasoning.
Davide Sangiorgi,
Damien Pous,
Daniel Hirschkoff,
2007,
J. Log. Algebraic Methods Program..
D. Pous,
F. Bonchi,
2013,
POPL.
Damien Pous,
D. Pous,
2016
.
Damien Pous,
D. Pous,
2014,
POPL.
Davide Sangiorgi,
Damien Pous,
D. Sangiorgi,
2019,
Formal Aspects of Computing.
Damien Pous,
D. Pous,
2007,
APLAS.
Jurriaan Rot,
Damien Pous,
Jana Wagemaker,
2022,
RAMiCS.
Damien Pous,
Denis Kuperberg,
Pierre Pradic,
2019,
FoSSaCS.
Damien Pous,
Thomas Braibant,
D. Pous,
2010,
ITP.
Tom Hirschowitz,
Damien Pous,
D. Pous,
2011,
Sci. Ann. Comput. Sci..
Damien Pous,
D. Pous,
2013,
ITP.
Davide Sangiorgi,
Damien Pous,
D. Sangiorgi,
2012,
Advanced Topics in Bisimulation and Coinduction.
D. Pous,
P. Malbos,
G. Struth,
2023,
arXiv.org.
Christian Doczkal,
Damien Pous,
D. Pous,
2020,
CPP.
Damien Pous,
Enric Cosme-Llópez,
D. Pous,
2017,
MFCS.
Damien Pous,
D. Pous,
2012,
Log. Methods Comput. Sci..
Georg Struth,
Damien Pous,
Paul Brunet,
2017,
CONCUR.
D. Pous,
J. Wagemaker,
Damien Pous,
2023,
ArXiv.
Damien Pous,
Anupam Das,
Amina Doumane,
2018,
LPAR.
Damien Pous,
Amina Doumane,
D. Pous,
2018,
CONCUR.
Damien Pous,
D. Pous,
2018,
STACS.
Damien Pous,
Paul Brunet,
D. Pous,
2016,
J. Log. Algebraic Methods Program..
Damien Pous,
Paul Brunet,
D. Pous,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Damien Pous,
Anupam Das,
D. Pous,
2017,
TABLEAUX.
Damien Pous,
Daniel Hirschkoff,
D. Pous,
2010,
ICALP.
Damien Pous,
Daniel Hirschkoff,
D. Pous,
2006,
Log. Methods Comput. Sci..
D. Pous,
Tom Hirschowitz,
T. Hirschowitz,
2012
.
Damien Pous,
D. Pous,
2007,
APLAS.
Damien Pous,
Assia Mahboubi,
Florent Bréhard,
2019,
ITP.
Christian Doczkal,
Damien Pous,
Guillaume Combette,
2018,
ITP.
D. Pous,
Denis Kuperberg,
L. Pinault,
2019,
DLT.
Damien Pous,
Thomas Braibant,
D. Pous,
2011,
Log. Methods Comput. Sci..
Damien Pous,
Denis Kuperberg,
Laureline Pinault,
2021,
Proc. ACM Program. Lang..
Damien Pous,
Filippo Bonchi,
D. Pous,
2015,
Commun. ACM.
D. Pous,
F. Bonchi,
J. Rot,
2016,
Acta Informatica.
D. Pous,
F. Bonchi,
J. Rot,
2014,
CSL-LICS.
D. Pous,
J. Rot,
2017,
FoSSaCS.
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Mathematical Structures in Computer Science.
Jurriaan Rot,
Damien Pous,
Filippo Bonchi,
2015,
CONCUR.
Jurriaan Rot,
Damien Pous,
Henning Basold,
2017,
CALCO.
Damien Pous,
D. Pous,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Damien Pous,
D. Pous,
2007,
Theor. Comput. Sci..