Axiomatisation of constraint systems to specify a tableaux calculus modulo theories. - Damien Rouhling; Mahfuza Farooque; Stéphane Graham-Lengrand; Assia Mahboubi; Jean-Marc Notin (CoRR, 2014)

Axiomatic Constraint Systems for Proof Search Modulo Theories. - Damien Rouhling; Mahfuza Farooque; Stéphane Graham-Lengrand; Assia Mahboubi; Jean-Marc Notin (FroCos, 2015)

A Formal Proof in Coq of LaSalle's Invariance Principle. - Cyril Cohen; Damien Rouhling (ITP, 2017)

A formal proof in Coq of a control function for the inverted pendulum. - Damien Rouhling (CPP, 2018)

Formalization Techniques for Asymptotic Reasoning in Classical Analysis. - Reynald Affeldt; Cyril Cohen; Damien Rouhling (J. Formaliz. Reason., 2018)

Formalisation Tools for Classical Analysis - A Case Study in Control Theory. (Outils pour la Formalisation en Analyse Classique - Une Étude de Cas en Théorie du Contrôle). - Damien Rouhling (2019)

Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. - Reynald Affeldt; Cyril Cohen; Marie Kerjean; Assia Mahboubi; Damien Rouhling; Kazuhiko Sakaguchi (IJCAR (2), 2020)

Interactive Source-to-Source Optimizations Validated using Static Resource Analysis. - Guillaume Bertholon; Arthur Charguéraud; Thomas Koehler 005; Begatim Bytyqi; Damien Rouhling (SOAP@PLDI, 2024)