Makarius Wenzel
Publication Activity (10 Years)
Years Active: 2006-2023
Publications (10 Years): 17
Publications (10 Years): 17
Publications
- Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel
- Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel
- Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel
- Michael Kohlhase, Florian Rabe, Makarius Wenzel
- Makarius Wenzel
- Lawrence C. Paulson, Tobias Nipkow, Makarius WenzelFrom LCF to Isabelle/HOL. CoRR (2019)
- Fabian Immler, Jonas Rädle, Makarius Wenzel
- Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel
- Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
- Michael Kohlhase, Florian Rabe, Makarius Wenzel
- Makarius Wenzel
- Makarius Wenzel
- Makarius Wenzel
- Daniel Matichuk, Toby C. Murray, Makarius Wenzel
- Makarius Wenzel
- Daniel Matichuk, Makarius Wenzel, Toby C. Murray
- Makarius Wenzel
- Makarius Wenzel
- Makarius Wenzel
- Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
- Makarius Wenzel
- Makarius Wenzel
- Makarius Wenzel
- Makarius Wenzel
- Makarius Wenzel
- Makarius Wenzel
- Makarius Wenzel, Burkhart Wolff
- Jacques Carette, Makarius Wenzel, Freek Wiedijk
- David C. J. Matthews, Makarius Wenzel
- Norbert Schirmer, Makarius Wenzel
- Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow
- Stefan Berghofer, Makarius Wenzel
- Florian Haftmann, Makarius Wenzel
- Makarius Wenzel, Burkhart Wolff
- Amine Chaieb, Makarius Wenzel
- Makarius Wenzel
- Florian Haftmann, Makarius Wenzel