Concepedia

Damien Pous

DP

Statistics

Publications

19

Citations

563

H-Index

14

Active since

2007

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure de Lyon

Université Claude Bernard Lyon 1

Laboratoire de l'Informatique du Parallélisme

Institut national de recherche en sciences et technologies du numérique

Damien Pous is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProof ComplexityComputational ComplexitySystem SoftwareComputer Engineering

Publications per year

2007–2021

19

Publications

19

Checking NFA equivalence with bisimulations up to congruence

Filippo Bonchi, Damien Pous · 2013 · 147 citations · Full text

Classical Algorithm, Engineering, Nfa Equivalence +15

Coinduction up-to in a fibrational setting

Filippo Bonchi, Daniela Petrişan, Damien Pous et al. · 2014 · 42 citations · Full text

Schubert Calculus, Supermanifold, Engineering +15

Checking NFA equivalence with bisimulations up to congruence

Filippo Bonchi, Damien Pous · ACM SIGPLAN Notices · 2013 · 37 citations

Classical Algorithm, Engineering, Nfa Equivalence +15

Coinduction All the Way Up

Damien Pous · 2016 · 36 citations · Full text

Coinductive Proof Principles, Engineering, Proof Complexity +12

A general account of coinduction up-to

Filippo Bonchi, Daniela Petrişan, Damien Pous et al. · Acta Informatica · 2016 · 34 citations · Full text

Monetary Policy, Economics, General Account +5

1–5 of 19