×
Author ID: bohme.sascha Recent zbMATH articles by "Böhme, Sascha"
Published as: Böhme, Sascha
Documents Indexed: 12 Publications since 2008
Co-Authors: 18 Co-Authors with 12 Joint Publications
606 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 206 times in 147 Documents Cited by Year
Extending Sledgehammer with SMT solvers. Zbl 1314.68272
Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C.
42
2013
Sledgehammer: judgement day. Zbl 1291.68327
Böhme, Sascha; Nipkow, Tobias
35
2010
Fast LCF-style proof reconstruction for Z3. Zbl 1291.68328
Böhme, Sascha; Weber, Tjark
34
2010
Extending Sledgehammer with SMT solvers. Zbl 1314.68271
Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C.
27
2011
Encoding monomorphic and polymorphic types. Zbl 1381.68259
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
16
2013
Semi-intelligible Isar proofs from machine-generated proofs. Zbl 1356.68178
Blanchette, Jasmin Christian; Böhme, Sascha; Fleury, Mathias; Smolka, Steffen Juilf; Steckermeier, Albert
13
2016
A framework for the verification of certifying computations. Zbl 1314.68180
Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine
9
2014
HOL-Boogie – an interactive prover for the Boogie program-verifier. Zbl 1165.68399
Böhme, Sascha; Leino, K. Rustan M.; Wolff, Burkhart
8
2008
HOL-Boogie – an interactive prover-backend for the verifying C compiler. Zbl 1185.68211
Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart
7
2010
Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. Zbl 1350.68225
Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark
6
2011
Encoding monomorphic and polymorphic types. Zbl 1445.68327
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
6
2016
Heaps and data structures: a challenge for automated provers. Zbl 1341.68182
Böhme, Sascha; Moskal, Michał
3
2011
Semi-intelligible Isar proofs from machine-generated proofs. Zbl 1356.68178
Blanchette, Jasmin Christian; Böhme, Sascha; Fleury, Mathias; Smolka, Steffen Juilf; Steckermeier, Albert
13
2016
Encoding monomorphic and polymorphic types. Zbl 1445.68327
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
6
2016
A framework for the verification of certifying computations. Zbl 1314.68180
Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine
9
2014
Extending Sledgehammer with SMT solvers. Zbl 1314.68272
Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C.
42
2013
Encoding monomorphic and polymorphic types. Zbl 1381.68259
Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas
16
2013
Extending Sledgehammer with SMT solvers. Zbl 1314.68271
Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C.
27
2011
Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. Zbl 1350.68225
Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark
6
2011
Heaps and data structures: a challenge for automated provers. Zbl 1341.68182
Böhme, Sascha; Moskal, Michał
3
2011
Sledgehammer: judgement day. Zbl 1291.68327
Böhme, Sascha; Nipkow, Tobias
35
2010
Fast LCF-style proof reconstruction for Z3. Zbl 1291.68328
Böhme, Sascha; Weber, Tjark
34
2010
HOL-Boogie – an interactive prover-backend for the verifying C compiler. Zbl 1185.68211
Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart
7
2010
HOL-Boogie – an interactive prover for the Boogie program-verifier. Zbl 1165.68399
Böhme, Sascha; Leino, K. Rustan M.; Wolff, Burkhart
8
2008
all top 5

Cited by 252 Authors

22 Blanchette, Jasmin Christian
12 Guttmann, Walter
11 Benzmüller, Christoph Ewald
9 Kaliszyk, Cezary
9 Reynolds, Andrew
8 Tinelli, Cesare
7 Barrett, Clark W.
7 Bentkamp, Alexander
7 Böhme, Sascha
5 Fleury, Mathias
5 Nipkow, Tobias
5 Paulson, Lawrence Charles
5 Urban, Josef
4 Janičić, Predrag
4 Popescu, Andrei
4 Reger, Giles
4 Tourret, Sophie
4 Vukmirović, Petar
3 Barbosa, Haniel
3 Lammich, Peter
3 Narboux, Julien
3 Niemetz, Aina
3 Preiner, Mathias
3 Schlichtkrull, Anders
3 Scott, Dana Stewart
3 Voronkov, Andrei
3 Waldmann, Uwe
3 Weber, Tjark
3 Weidenbach, Christoph
3 Wolff, Burkhart
3 Zohar, Yoni
2 Avigad, Jeremy
2 Berghammer, Rudolf
2 Bonacina, Maria Paola
2 Cruanes, Simon
2 Dubut, Jérémy
2 Fox, Anthony C. J.
2 Fuenmayor, David
2 Gheri, Lorenzo
2 Halmagrand, Pierre
2 Höfner, Peter
2 Jakubův, Jan
2 Klakow, Dietrich
2 Klein, Gerwin
2 Marić, Filip
2 Mehlhorn, Kurt
2 Rizkallah, Christine
2 Sewell, Thomas D.
2 Steen, Alexander
2 Stojanović Đurđević, Sana
2 Sutcliffe, Geoff
2 Théry, Laurent
2 Villadsen, Jørgen
2 Yamada, Akihisa
1 Abboud, Amir
1 Akili, Samira
1 Alama, Jesse
1 Alkassar, Eyad
1 Allamigeon, Xavier
1 Amani, Sidney
1 Armand, Michaël
1 Back, Ralph-Johan
1 Banković, Milan
1 Barendregt, Hendrik Pieter
1 Bauereiß, Thomas
1 Benda, Miroslav
1 Berger, Ulrich
1 Besson, Frédéric
1 Bezem, Marc
1 Bhayat, Ahmed
1 Bøgsted Poulsen, Danny
1 Böhm, Martin
1 Bourke, Timothy
1 Bromberger, Martin
1 Brown, Chad Edward
1 Brucker, Achim D.
1 Bulwahn, Lukas
1 Bundy, Alan
1 Burel, Guillaume
1 Bury, Guillaume
1 Caminati, Marco Bright
1 Cauderlier, Raphaël
1 Chalin, Patrice
1 Chandrasekaran, Ramaswamy
1 Chen, Ran
1 Chen, Taolue
1 Chen, Zilin
1 Chiriţă, Claudia Elena
1 Cohen, Cyril
1 Cordwell, Katherine
1 Cornilleau, Pierre-Emmanuel
1 Crespelle, Christophe
1 Cristiá, Maximiliano
1 Czajka, Łukasz
1 Dalvandi, Sadegh
1 Daum, Matthias
1 Davis, Jared
1 De Luca, Guido
1 Delahaye, David
1 Desharnais, Martin
...and 152 more Authors

Citations by Year