Sascha B\"ohme
Identifiers
- name variant Sascha B\"ohme 0.60 · backfill
Papers (2)
- Encoding Monomorphic and Polymorphic Types cs.LO · 2016 · author #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