Sascha Bhme
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2010–2013
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | TACAS | Encoding Monomorphic and Polymorphic Types. | Jasmin Christian Blanchette, Sascha Bhme, Andrei Popescu, Nicholas Smallbone |
| 2011 | CADE | Extending Sledgehammer with SMT Solvers. | Jasmin Christian Blanchette, Sascha Bhme, Lawrence C. Paulson |
| 2011 | CADE | Heaps and Data Structures: A Challenge for Automated Provers. | Sascha Bhme, Michal Moskal |
| 2011 | CAV | Verification of Certifying Computations. | Eyad Alkassar, Sascha Bhme, Kurt Mehlhorn, Christine Rizkallah |
| 2011 | CPP | Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL. | Sascha Bhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber |
| 2010 | CADE | Sledgehammer: Judgement Day. | Sascha Bhme, Tobias Nipkow |
| 2010 | ITP | Fast LCF-Style Proof Reconstruction for Z3. | Sascha Bhme, Tjark Weber |