Statistics
Publications
20
Citations
606
H-Index
14
Active since
2007
Damien Pous is an author at École Normale Supérieure de Lyon specializing in computing, computer science, and formal methods.
Publications per year
2007–2021
20
20
Checking NFA equivalence with bisimulations up to congruence
Filippo Bonchi, Damien Pous · 2013 · 150 citations · Full text
Coinduction up-to in a fibrational setting
Filippo Bonchi, Daniela Petrişan, Damien Pous et al. · 2014 · 43 citations · Full text
Damien Pous · 2016 · 41 citations · Full text
Checking NFA equivalence with bisimulations up to congruence
Filippo Bonchi, Damien Pous · ACM SIGPLAN Notices · 2013 · 37 citations
A general account of coinduction up-to
Filippo Bonchi, Daniela Petrişan, Damien Pous et al. · Acta Informatica · 2016 · 36 citations · Full text
1–5 of 20