Damien Pous (LIP)

Identifiers

• name variant Damien Pous (LIP) 0.60 · backfill

Papers (5)

1. Hilbert-Post completeness for the state and the exception effects cs.LO · 2015 · author #4
2. Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests cs.FL · 2014 · author #1
3. Coinduction up to in a fibrational setting cs.LO · 2014 · author #3
4. Formal verification in Coq of program properties involving the global state effect cs.LO · 2013 · author #4
5. Kleene Algebra with Tests and Coq Tools for While Programs cs.LO · 2013 · author #1

Mentions

• 1503.00948 #4 · backfill · confidence 0.70 Damien Pous (LIP)
• 1407.3213 #1 · backfill · confidence 0.70 Damien Pous (LIP)
• 1401.6675 #3 · backfill · confidence 0.70 Damien Pous (LIP)
• 1310.0794 #4 · backfill · confidence 0.70 Damien Pous (LIP)
• 1302.1737 #1 · backfill · confidence 0.70 Damien Pous (LIP)

Frequent Coauthors

• Burak Ekici (LJK) 2 shared papers
• Dominique Duval (LJK) 2 shared papers
• Jean-Guillaume Dumas (LJK) 2 shared papers
• Daniela Petrisan (LIP) 1 shared papers
• Filippo Bonchi (LIP) 1 shared papers
• Jean-Claude Reynaud (RC) 1 shared papers
• Jurriaan Rot (LIACS) 1 shared papers