Makarius Wenzel

47 papers A 1B 6C 4Journal 12Unranked 22

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Distributed Parallel Build for the Isabelle Archive of Formal Proofs. ITP Fabian Huch, Makarius Wenzel
2022	—	`conf`	Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover. ICCHP-AAATE (1) Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr
2022	B	`conf`	Seventeen Provers Under the Hammer. ITP Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel
2022	—	`conf`	Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode. ThEdu@FLoC Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel
2021	C	`conf`	CICM'21 Systems Entries. CICM Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel
2021	A	`conf`	The Isabelle/Naproche Natural Language Proof Assistant. CADE Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel
2020	J	`jnl`	Making Isabelle Content Accessible in Knowledge Representation Formats. CoRR Michael Kohlhase, Florian Rabe, Makarius Wenzel
2019	J	`jnl`	From LCF to Isabelle/HOL. CoRR Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel
2019	J	`jnl`	From LCF to Isabelle/HOL. Formal Aspects Comput. Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel
2019	C	`conf`	Interaction with Formal Mathematical Documents in Isabelle/PIDE. CICM Makarius Wenzel
2019	J	`jnl`	Interaction with Formal Mathematical Documents in Isabelle/PIDE. CoRR Makarius Wenzel
2019	—	`conf`	Isabelle technology for the Archive of Formal Proofs with application to MMT. CICM Workshops Makarius Wenzel
2019	J	`jnl`	Isabelle technology for the Archive of Formal Proofs. CoRR Makarius Wenzel
2019	—	`conf`	Making Isabelle Content Accessible in Knowledge Representation Formats. TYPES Michael Kohlhase, Florian Rabe, Makarius Wenzel
2019	C	`conf`	Relational Data Across Mathematical Libraries. CICM Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
2019	B	`conf`	Virtualization of HOL4 in Isabelle. ITP Fabian Immler, Jonas Rädle, Makarius Wenzel
2018	—	`conf`	Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents. F-IDE@FLoC Makarius Wenzel
2016	J	`jnl`	Eisbach: A Proof Method Language for Isabelle. J. Autom. Reason. Daniel Matichuk, Toby C. Murray, Makarius Wenzel
2014	B	`conf`	An Isabelle Proof Method Language. ITP Daniel Matichuk, Makarius Wenzel, Toby C. Murray
2014	B	`conf`	Asynchronous User Interaction and Tool Integration in Isabelle/PIDE. ITP Makarius Wenzel
2014	—	`conf`	System description: Isabelle/jEdit in 2014. UITP Makarius Wenzel
2014	J	`jnl`	Transitive closure according to Roy-Floyd-Warshall. Arch. Formal Proofs Makarius Wenzel
2013	J	`jnl`	A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory CoRR Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013	—	`conf`	A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. MKM/Calculemus/DML Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013	J	`jnl`	PIDE as front-end technology for Coq CoRR Makarius Wenzel
2013	—	`conf`	Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
2013	J	`jnl`	Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. CoRR Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
2013	B	`conf`	Shared-Memory Multiprocessing for Interactive Theorem Proving. ITP Makarius Wenzel
2013	C	`conf`	The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
2012	—	`ed.`	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 AISC/MKM/Calculemus Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
2012	—	`conf`	Isabelle/jEdit - A Prover IDE within the PIDE Framework. AISC/MKM/Calculemus Makarius Wenzel
2012	J	`jnl`	Isabelle/jEdit --- a Prover IDE within the PIDE framework CoRR Makarius Wenzel
2012	—	`conf`	READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking. UITP Makarius Wenzel
2011	—	`conf`	Isabelle as Document-Oriented Proof Assistant. Calculemus/MKM Makarius Wenzel
2011	—	`conf`	Isabelle/PIDE as Platform for Educational Tools ThEdu Makarius Wenzel, Burkhart Wolff
2010	—	`conf`	Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit. UITP Makarius Wenzel
2010	—	`conf`	Efficient parallel programming in Poly/ML and Isabelle/ML. DAMP David C. J. Matthews, Makarius Wenzel
2010	J	`jnl`	Preface. J. Autom. Reason. Jacques Carette, Makarius Wenzel, Freek Wiedijk
2009	—	`conf`	State Spaces - The Locale Way. SSV Norbert Schirmer, Makarius Wenzel
2009	—	`ed.`	Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings TPHOLs Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
2008	—	`conf`	Local Theory Specifications in Isabelle/Isar. TYPES Florian Haftmann, Makarius Wenzel
2008	—	`conf`	Logic-Free Reasoning in Isabelle/Isar. AISC/MKM/Calculemus Stefan Berghofer, Makarius Wenzel
2008	—	`conf`	The Isabelle Framework. TPHOLs Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow
2007	—	`conf`	Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs Makarius Wenzel, Burkhart Wolff
2007	—	`conf`	Context Aware Calculation and Deduction. Calculemus/MKM Amine Chaieb, Makarius Wenzel
2006	—	`conf`	Constructive Type Classes in Isabelle. TYPES Florian Haftmann, Makarius Wenzel
2006	—	`conf`	Structured Induction Proofs in Isabelle/Isar. MKM Makarius Wenzel