Damien Pous

Damien Pous

École Normale Supérieure de Lyon - Lyon / France
Others
AD Scientific Index ID: 1661255
Normal Superior School of Lyon
person_outline Damien Pous's MOST POPULAR ARTICLES
1-) Checking NFA equivalence with bisimulations up to congruenceF Bonchi, D PousPrinciples of Programming Languages 48 (1), 457-468, 20131862013
2-) Enhancements of the bisimulation proof methodD Pous, D SangiorgiAdvanced Topics in Bisimulation and Coinduction, 2012812012
3-) Complete lattices and up-to techniquesD PousAsian Symposium on Programming Languages and Systems, 351-366, 2007702007
4-) Coinduction all the way upD PousProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016712016
5-) An efficient Coq tactic for deciding Kleene algebrasT Braibant, D PousInteractive Theorem Proving, 163-178, 2010662010