Maxime D\'en\`es

Identifiers

• name variant Maxime D\'en\`es 0.60 · backfill

Papers (2)

1. Formalized linear algebra over Elementary Divisor Rings in Coq cs.LO · 2016 · author #3
2. Testing Noninterference, Quickly cs.PL · 2014 · author #5

Mentions

• 1409.0393 #5 · backfill · confidence 0.70 Maxime D\'en\`es

Frequent Coauthors

• Anders M\"ortberg 1 shared papers
• Antal Spector-Zabusky 1 shared papers
• Arthur Azevedo de Amorim 1 shared papers
• Benjamin C. Pierce 1 shared papers
• Catalin Hritcu 1 shared papers
• Cyril Cohen 1 shared papers
• Dimitrios Vytiniotis 1 shared papers
• Guillaume Cano 1 shared papers
• John Hughes 1 shared papers
• Leonidas Lampropoulos 1 shared papers
• Vincent Siles 1 shared papers