Bruno Barras

Identifiers

• name variant Bruno Barras 0.60 · backfill

Papers (2)

1. Asynchronous processing of Coq documents: from the kernel up to the user interface cs.LO · 2015 · author #1
2. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems cs.LO · 2013 · author #1

Mentions

• 1506.05605 #1 · backfill · confidence 0.70 Bruno Barras
• 1305.7360 #1 · backfill · confidence 0.70 Bruno Barras

Frequent Coauthors

• Burkhart Wolff 1 shared papers
• Carst Tankink (SPECFUN) 1 shared papers
• Enrico Tassi 1 shared papers
• Enrico Tassi (MARELLE) 1 shared papers
• Hugo Herbelin 1 shared papers
• Lourdes del Carmen Gonz\'alez Huesca 1 shared papers
• Makarius Wenzel 1 shared papers
• Yann R\'egis-Gianas 1 shared papers