Sascha Böhme

According to our database1, Sascha Böhme authored at least 15 papers between 2007 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Semi-intelligible Isar Proofs from Machine-Generated Proofs.
J. Autom. Reason., 2016

Encoding Monomorphic and Polymorphic Types.
Log. Methods Comput. Sci., 2016

2014
A Framework for the Verification of Certifying Computations.
J. Autom. Reason., 2014

2013
Extending Sledgehammer with SMT Solvers.
J. Autom. Reason., 2013

2012
Proving Theorems of Higher-Order Logic with SMT Solvers.
PhD thesis, 2012

2011
An Introduction to Certifying Algorithms.
it Inf. Technol., 2011

Designing Proof Formats: A User's Perspective.
Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011

Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Verification of Certifying Computations.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Heaps and Data Structures: A Challenge for Automated Provers.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler.
J. Autom. Reason., 2010

Fast LCF-Style Proof Reconstruction for Z3.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Sledgehammer: Judgement Day.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2008
HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier.
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007
Much Ado About Two.
Arch. Formal Proofs, 2007


  Loading...