Maxime Dns
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2009–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ITP | Foundational Property-Based Testing. | Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dns, Leonidas Lampropoulos, Benjamin C. Pierce |
| 2015 | SP | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Arthur Azevedo de Amorim, Maxime Dns, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach |
| 2013 | CPP | Refinements for Free! | Cyril Cohen, Maxime Dns, Anders Mrtberg |
| 2012 | ITP | A Refinement-Based Approach to Computational Algebra in Coq. | Maxime Dns, Anders Mrtberg, Vincent Siles |
| 2011 | CPP | Full Reduction at Full Throttle. | Mathieu Boespflug, Maxime Dns, Benjamin Grgoire |
| 2009 | SYNASC | Formal Proof of Theorems on Genetic Regulatory Networks. | Maxime Dns, Benjamin Lesage, Yves Bertot, Adrien Richard |