Edit Profile (opens in new tab) Böhme, Sascha Compute Distance To: Compute Author ID: bohme.sascha Published as: Böhme, Sascha Documents Indexed: 12 Publications since 2008 Co-Authors: 18 Co-Authors with 12 Joint Publications 593 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Blanchette, Jasmin Christian 2 Moskal, Michał 2 Paulson, Lawrence Charles 2 Popescu, Andrei 2 Smallbone, Nicholas 2 Weber, Tjark 2 Wolff, Burkhart 1 Alkassar, Eyad 1 Fleury, Mathias 1 Fox, Anthony C. J. 1 Leino, K. Rustan M. 1 Mehlhorn, Kurt 1 Nipkow, Tobias 1 Rizkallah, Christine 1 Schulte, Wolfram 1 Sewell, Thomas D. 1 Smolka, Steffen Juilf 1 Steckermeier, Albert Serials 4 Journal of Automated Reasoning 1 Logical Methods in Computer Science Fields 12 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 183 times in 126 Documents Cited by ▼ Year ▼ Extending Sledgehammer with SMT solvers. Zbl 1314.68272Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C. 36 2013 Sledgehammer: judgement day. Zbl 1291.68327Böhme, Sascha; Nipkow, Tobias 34 2010 Fast LCF-style proof reconstruction for Z3. Zbl 1291.68328Böhme, Sascha; Weber, Tjark 29 2010 Extending Sledgehammer with SMT solvers. Zbl 1314.68271Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C. 23 2011 Encoding monomorphic and polymorphic types. Zbl 1381.68259Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas 15 2013 Semi-intelligible Isar proofs from machine-generated proofs. Zbl 1356.68178Blanchette, Jasmin Christian; Böhme, Sascha; Fleury, Mathias; Smolka, Steffen Juilf; Steckermeier, Albert 11 2016 HOL-Boogie – an interactive prover for the Boogie program-verifier. Zbl 1165.68399Böhme, Sascha; Leino, K. Rustan M.; Wolff, Burkhart 8 2008 HOL-Boogie – an interactive prover-backend for the verifying C compiler. Zbl 1185.68211Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart 7 2010 Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. Zbl 1350.68225Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark 6 2011 Encoding monomorphic and polymorphic types. Zbl 1445.68327Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas 6 2016 A framework for the verification of certifying computations. Zbl 1314.68180Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine 5 2014 Heaps and data structures: a challenge for automated provers. Zbl 1341.68182Böhme, Sascha; Moskal, Michał 3 2011 Semi-intelligible Isar proofs from machine-generated proofs. Zbl 1356.68178Blanchette, Jasmin Christian; Böhme, Sascha; Fleury, Mathias; Smolka, Steffen Juilf; Steckermeier, Albert 11 2016 Encoding monomorphic and polymorphic types. Zbl 1445.68327Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas 6 2016 A framework for the verification of certifying computations. Zbl 1314.68180Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine 5 2014 Extending Sledgehammer with SMT solvers. Zbl 1314.68272Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C. 36 2013 Encoding monomorphic and polymorphic types. Zbl 1381.68259Blanchette, Jasmin Christian; Böhme, Sascha; Popescu, Andrei; Smallbone, Nicholas 15 2013 Extending Sledgehammer with SMT solvers. Zbl 1314.68271Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C. 23 2011 Reconstruction of Z3’s bit-vector proofs in HOL4 and Isabelle/HOL. Zbl 1350.68225Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark 6 2011 Heaps and data structures: a challenge for automated provers. Zbl 1341.68182Böhme, Sascha; Moskal, Michał 3 2011 Sledgehammer: judgement day. Zbl 1291.68327Böhme, Sascha; Nipkow, Tobias 34 2010 Fast LCF-style proof reconstruction for Z3. Zbl 1291.68328Böhme, Sascha; Weber, Tjark 29 2010 HOL-Boogie – an interactive prover-backend for the verifying C compiler. Zbl 1185.68211Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart 7 2010 HOL-Boogie – an interactive prover for the Boogie program-verifier. Zbl 1165.68399Böhme, Sascha; Leino, K. Rustan M.; Wolff, Burkhart 8 2008 all cited Publications top 5 cited Publications all top 5 Cited by 216 Authors 20 Blanchette, Jasmin Christian 11 Benzmüller, Christoph Ewald 11 Guttmann, Walter 8 Kaliszyk, Cezary 8 Reynolds, Andrew 7 Böhme, Sascha 7 Tinelli, Cesare 6 Barrett, Clark W. 5 Bentkamp, Alexander 5 Fleury, Mathias 5 Paulson, Lawrence Charles 5 Urban, Josef 4 Janičić, Predrag 4 Nipkow, Tobias 4 Popescu, Andrei 4 Reger, Giles 3 Barbosa, Haniel 3 Lammich, Peter 3 Narboux, Julien 3 Niemetz, Aina 3 Preiner, Mathias 3 Scott, Dana Stewart 3 Tourret, Sophie 3 Voronkov, Andrei 3 Vukmirović, Petar 3 Waldmann, Uwe 3 Weidenbach, Christoph 3 Wolff, Burkhart 3 Woltzenlogel Paleo, Bruno 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 Halmagrand, Pierre 2 Höfner, Peter 2 Klein, Gerwin 2 Mehlhorn, Kurt 2 Rizkallah, Christine 2 Schlichtkrull, Anders 2 Sewell, Thomas D. 2 Steen, Alexander 2 Stojanović Đurđević, Sana 2 Sutcliffe, Geoff 2 Théry, Laurent 2 Villadsen, Jørgen 2 Weber, Tjark 2 Yamada, Akihisa 1 Alama, Jesse 1 Alkassar, Eyad 1 Allamigeon, Xavier 1 Amani, Sidney 1 Armand, Michaël 1 Back, Ralph-Johan 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 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 Cauderlier, Raphaël 1 Chalin, Patrice 1 Chandrasekaran, Ramaswamy 1 Chen, Ran 1 Chen, Taolue 1 Chen, Zilin 1 Cohen, Cyril 1 Cornilleau, Pierre-Emmanuel 1 Crespelle, Christophe 1 Czajka, Łukasz 1 Dalvandi, Sadegh 1 Daum, Matthias 1 Davis, Jared 1 Delahaye, David 1 Desharnais, Martin 1 Doherty, Simon 1 Dongol, Brijesh 1 Dörrenbächer, Jan 1 Dragoste, Irina 1 El Ouraoui, Daniel 1 Eriksson, Johannes 1 Eschen, Agnes Moesgård 1 Faqeh, Rasha 1 Färber, Michael 1 Faure, Germain 1 Fetzer, Christof 1 Fontaine, Pascal 1 Foster, Simon ...and 116 more Authors all top 5 Cited in 17 Serials 36 Journal of Automated Reasoning 6 Journal of Logical and Algebraic Methods in Programming 3 Mathematics in Computer Science 3 Logical Methods in Computer Science 2 Formal Aspects of Computing 2 Annals of Mathematics and Artificial Intelligence 1 Acta Informatica 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Theoretical Computer Science 1 Bulletin of the Section of Logic 1 Journal of Symbolic Computation 1 Algorithmica 1 AI Communications 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Journal of Functional Programming all top 5 Cited in 10 Fields 120 Computer science (68-XX) 44 Mathematical logic and foundations (03-XX) 7 Combinatorics (05-XX) 2 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Real functions (26-XX) 1 Convex and discrete geometry (52-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year