Sascha B\"ohme

Identifiers

• name variant Sascha B\"ohme 0.60 · backfill

Papers (2)

1. Encoding Monomorphic and Polymorphic Types cs.LO · 2016 · author #2
2. A Framework for the Verification of Certifying Computations cs.LO · 2013 · author #2

Mentions

• 1301.7462 #2 · backfill · confidence 0.70 Sascha B\"ohme

Frequent Coauthors

• Andrei Popescu 1 shared papers
• Christine Rizkallah 1 shared papers
• Eyad Alkassar 1 shared papers
• Jasmin Christian Blanchette 1 shared papers
• Kurt Mehlhorn 1 shared papers
• Nicholas Smallbone 1 shared papers