Olivier Hermant

Identifiers

• name variant Olivier Hermant 0.60 · backfill

Papers (2)

1. Runtime Analysis of Whole-System Provenance cs.CR · 2018 · author #5
2. A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization cs.LO · 2015 · author #2

Mentions

• 1505.06376 #2 · backfill · confidence 0.70 Olivier Hermant

Frequent Coauthors

• Adam Bates 1 shared papers
• David Eyers 1 shared papers
• Jean Bacon 1 shared papers
• Margo Seltzer 1 shared papers
• Richard Bonichon (DIMAP - UFRN) 1 shared papers
• Thomas Moyer 1 shared papers
• Thomas Pasquier 1 shared papers
• Xueyuan Han 1 shared papers