Edit Profile (opens in new tab) Wenzel, Makarius Compute Distance To: Compute Author ID: wenzel.makarius Published as: Wenzel, Makarius Homepage: http://www4.in.tum.de/~wenzelm External Links: dblp Documents Indexed: 23 Publications since 2006 3 Contributions as Editor Co-Authors: 45 Co-Authors with 18 Joint Publications 618 Co-Co-Authors all top 5 Co-Authors 8 single-authored 3 Nipkow, Tobias 2 Berghofer, Stefan 2 Carette, Jacques 2 Haftmann, Florian 2 Matichuk, Daniel 2 Murray, Toby 2 Paulson, Lawrence Charles 2 Sojka, Petr 2 Wolff, Burkhart 1 Barras, Bruno 1 Caminati, Marco Bright 1 Campbell, John A. 1 Chaieb, Amine 1 Condoluci, Andrea 1 De Lon, Adrian 1 del Carmen González Huesca, Lourdes 1 Dos Reis, Gabriel 1 Herbelin, Hugo 1 Immler, Fabian 1 Jeuring, Johan 1 Kerber, Manfred 1 Koepke, Peter 1 Kohlhase, Michael 1 Lange, Christoph 1 Líška, Martin 1 Lorenzen, Anton 1 Lupták, Dávid 1 Marti, Adrian 1 Mossakowski, Till 1 Müller, Dennis 1 Novotný, Vít 1 Rabe, Florian 1 Rädle, Jonas 1 Régis-Gianas, Yann 1 Rowat, Colin 1 Ruzicka, Michal 1 Sacerdoti Coen, Claudio 1 Schütz, Marcel 1 Shminke, Boris A. 1 Sorge, Volker 1 Štefánik, Michal 1 Tassi, Enrico 1 Urban, Christian 1 Wiedijk, Freek 1 Windsteiger, Wolfgang Serials 2 Journal of Automated Reasoning 2 Lecture Notes in Computer Science 1 Formal Aspects of Computing Fields 26 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 3 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 126 times in 96 Documents Cited by ▼ Year ▼ Constructive type classes in Isabelle. Zbl 1178.68529Haftmann, Florian; Wenzel, Makarius 25 2007 The Isabelle framework. Zbl 1165.68478Wenzel, Makarius; Paulson, Lawrence C.; Nipkow, Tobias 22 2008 Local theory specifications in Isabelle/Isar. Zbl 1246.68197Haftmann, Florian; Wenzel, Makarius 10 2009 Isabelle/jEdit – a prover IDE within the PIDE framework. Zbl 1360.68769Wenzel, Makarius 8 2012 Context aware calculation and deduction. Ring equalities via Gröbner bases in Isabelle. Zbl 1202.68375Chaieb, Amine; Wenzel, Makarius 8 2007 Eisbach: a proof method language for Isabelle. Zbl 1356.68195Matichuk, Daniel; Murray, Toby; Wenzel, Makarius 7 2016 Building formal method tools in the Isabelle/Isar framework. Zbl 1144.68369Wenzel, Makarius; Wolff, Burkhart 6 2007 From LCF to Isabelle/HOL. Zbl 1427.68349Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius 5 2019 Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit. Zbl 1294.68129Wenzel, Makarius 5 2012 A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang 5 2013 Asynchronous user interaction and tool integration in Isabelle/PIDE. Zbl 1416.68182Wenzel, Makarius 4 2014 Interaction with formal mathematical documents in Isabelle/PIDE. Zbl 1428.68347Wenzel, Makarius 3 2019 Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Zbl 1173.68002 3 2009 Logic-free reasoning in Isabelle/Isar. Zbl 1166.68337Berghofer, Stefan; Wenzel, Makarius 3 2008 Interactive theorem proving from the perspective of Isabelle/Isar. Zbl 1431.68125Wenzel, Makarius 2 2015 Structured induction proofs in Isabelle/Isar. Zbl 1188.68266Wenzel, Makarius 2 2006 Shared-memory multiprocessing for interactive theorem proving. Zbl 1317.68235Wenzel, Makarius 2 2013 An Isabelle proof method language. Zbl 1416.68172Matichuk, Daniel; Wenzel, Makarius; Murray, Toby 2 2014 Isabelle as document-oriented proof assistant. Zbl 1335.68239Wenzel, Makarius 2 2011 Relational data across mathematical libraries. Zbl 1428.68352Condoluci, Andrea; Kohlhase, Michael; Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio; Wenzel, Makarius 1 2019 Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013 1 2012 From LCF to Isabelle/HOL. Zbl 1427.68349Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius 5 2019 Interaction with formal mathematical documents in Isabelle/PIDE. Zbl 1428.68347Wenzel, Makarius 3 2019 Relational data across mathematical libraries. Zbl 1428.68352Condoluci, Andrea; Kohlhase, Michael; Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio; Wenzel, Makarius 1 2019 Eisbach: a proof method language for Isabelle. Zbl 1356.68195Matichuk, Daniel; Murray, Toby; Wenzel, Makarius 7 2016 Interactive theorem proving from the perspective of Isabelle/Isar. Zbl 1431.68125Wenzel, Makarius 2 2015 Asynchronous user interaction and tool integration in Isabelle/PIDE. Zbl 1416.68182Wenzel, Makarius 4 2014 An Isabelle proof method language. Zbl 1416.68172Matichuk, Daniel; Wenzel, Makarius; Murray, Toby 2 2014 A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang 5 2013 Shared-memory multiprocessing for interactive theorem proving. Zbl 1317.68235Wenzel, Makarius 2 2013 Isabelle/jEdit – a prover IDE within the PIDE framework. Zbl 1360.68769Wenzel, Makarius 8 2012 Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit. Zbl 1294.68129Wenzel, Makarius 5 2012 Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013 1 2012 Isabelle as document-oriented proof assistant. Zbl 1335.68239Wenzel, Makarius 2 2011 Local theory specifications in Isabelle/Isar. Zbl 1246.68197Haftmann, Florian; Wenzel, Makarius 10 2009 Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Zbl 1173.68002 3 2009 The Isabelle framework. Zbl 1165.68478Wenzel, Makarius; Paulson, Lawrence C.; Nipkow, Tobias 22 2008 Logic-free reasoning in Isabelle/Isar. Zbl 1166.68337Berghofer, Stefan; Wenzel, Makarius 3 2008 Constructive type classes in Isabelle. Zbl 1178.68529Haftmann, Florian; Wenzel, Makarius 25 2007 Context aware calculation and deduction. Ring equalities via Gröbner bases in Isabelle. Zbl 1202.68375Chaieb, Amine; Wenzel, Makarius 8 2007 Building formal method tools in the Isabelle/Isar framework. Zbl 1144.68369Wenzel, Makarius; Wolff, Burkhart 6 2007 Structured induction proofs in Isabelle/Isar. Zbl 1188.68266Wenzel, Makarius 2 2006 all cited Publications top 5 cited Publications all top 5 Cited by 174 Authors 9 Kaliszyk, Cezary 8 Wenzel, Makarius 6 Nipkow, Tobias 6 Popescu, Andrei 5 Paulson, Lawrence Charles 4 Gauthier, Thibault 4 Kohlhase, Michael 4 Rabe, Florian 4 Urban, Josef 4 Weber, Tjark 3 Blanchette, Jasmin Christian 3 Böhme, Sascha 3 Kumar, Ramana 3 Kunčar, Ondřej 3 Pąk, Karol 3 Wolff, Burkhart 2 Aransay, Jesús 2 Armstrong, Alasdair 2 Ballarin, Clemens 2 Dubut, Jérémy 2 Fleuriot, Jacques D. 2 Geuvers, Jan Herman 2 Gunther, Emmanuel 2 Guttmann, Walter 2 Hupel, Lars 2 Immler, Fabian 2 Kerber, Manfred 2 Lange, Christoph 2 Lochbihler, Andreas 2 Maletzky, Alexander 2 Pagano, Miguel 2 Roßkopf, Simon 2 Rowat, Colin 2 Sánchez Terraf, Pedro 2 Struth, Georg 2 Traytel, Dmitry 2 Urban, Christian 2 Yamada, Akihisa 1 Aitken, Dave 1 Arthan, Rob D. 1 Avigad, Jeremy 1 Basin, David A. 1 Bauereiß, Thomas 1 Bengtson, Jesper 1 Benzmüller, Christoph Ewald 1 Bérard, Béatrice 1 Bockenek, Joshua A. 1 Bollig, Benedikt 1 Bourke, Timothy 1 Bray, Matthew G. 1 Brown, Chad Edward 1 Brucker, Achim D. 1 Bulwahn, Lukas 1 Bundy, Alan 1 Caminati, Marco Bright 1 Carette, Jacques 1 Carneiro, Mario M. 1 Chaieb, Amine 1 Ciabattoni, Agata 1 Cruanes, Simon 1 De Lon, Adrian 1 de Moura, Leonardo 1 Divasón, Jose 1 Doczkal, Christian 1 Džamonja, Mirna 1 Edmonds, Chelsea 1 Färber, Michael 1 Farmer, William M. 1 Foster, Simon 1 Fox, Anthony C. J. 1 Garillot, François 1 Gast, Holger 1 Génevaux, Jean-David 1 Gleirscher, Mario 1 Gonthier, Georges 1 Grov, Gudmund 1 Haftmann, Florian 1 Hales, Thomas Callister 1 Heller, Armin 1 Heras, Jónathan 1 Hillenbrand, Thomas 1 Höfner, Peter 1 Holub, Štěpán 1 Hölzl, Johannes 1 Horozal, Fulya 1 Iacob, Alin 1 Ignatovich, Denis 1 Jamnik, Mateja 1 Jucovschi, Constantin 1 Kagan, Elijah 1 Kanishev, Kostya 1 Kelly, Tim 1 Klein, Gerwin 1 Koepke, Peter 1 Komendantskaya, Ekaterina 1 Koutsoukou-Argyraki, Angeliki 1 Kuncak, Viktor 1 Lahav, Ori 1 Lammich, Peter 1 Lehaut, Mathieu ...and 74 more Authors all top 5 Cited in 19 Serials 25 Journal of Automated Reasoning 3 Journal of Symbolic Computation 2 Formal Aspects of Computing 2 Mathematics in Computer Science 2 Logical Methods in Computer Science 1 Acta Informatica 1 The Mathematical Intelligencer 1 Journal of Mathematical Economics 1 Theoretical Computer Science 1 Journal of Cryptology 1 International Journal of Computer Mathematics 1 Indagationes Mathematicae. New Series 1 Experimental Mathematics 1 Formal Methods in System Design 1 Annals of Mathematics and Artificial Intelligence 1 Sādhanā 1 ACM Transactions on Computational Logic 1 Journal of Formalized Reasoning 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 16 Fields 96 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year