Sascha Böhme

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Encoding monomorphic and polymorphic types Logical Methods in Computer Science	2017-04-11	Paper
Semi-intelligible Isar proofs from machine-generated proofs Journal of Automated Reasoning	2016-05-26	Paper
Extending Sledgehammer with SMT solvers Journal of Automated Reasoning	2015-06-23	Paper
A framework for the verification of certifying computations Journal of Automated Reasoning	2015-06-23	Paper
Encoding monomorphic and polymorphic types Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Reconstruction of Z3's bit-vector proofs in HOL4 and Isabelle/HOL Certified Programs and Proofs	2011-11-22	Paper
Extending Sledgehammer with SMT solvers Lecture Notes in Computer Science	2011-07-29	Paper
Heaps and Data Structures: A Challenge for Automated Provers Lecture Notes in Computer Science	2011-07-29	Paper
Fast LCF-Style Proof Reconstruction for Z3 Interactive Theorem Proving	2010-09-14	Paper
Sledgehammer: judgement day Automated Reasoning	2010-09-14	Paper
HOL-Boogie -- an interactive prover-backend for the verifying C compiler Journal of Automated Reasoning	2010-01-25	Paper
HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier Lecture Notes in Computer Science	2008-12-04	Paper

Research outcomes over time

This page was built for person: Sascha Böhme