Thomas Braibant (INRIA Rocquencourt)

Identifiers

• name variant Thomas Braibant (INRIA Rocquencourt) 0.60 · backfill

Papers (2)

1. Implementing hash-consed structures in Coq cs.PL · 2013 · author #1
2. Formal Verification of Hardware Synthesis cs.PL · 2013 · author #1

Mentions

• 1304.6038 #1 · backfill · confidence 0.70 Thomas Braibant (INRIA Rocquencourt)
• 1301.4779 #1 · backfill · confidence 0.70 Thomas Braibant (INRIA Rocquencourt)

Frequent Coauthors

• Adam Chlipala (CSAIL) 1 shared papers
• David Monniaux (VERIMAG - Imag) 1 shared papers
• Jacques-Henri Jourdan (INRIA Rocquencourt) 1 shared papers