Lukas Bulwahn

Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow: Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. In: K. Schneider and J. Brandt, eds., Theorem Proving in Higher-Order Logics (TPHOLs 2007), vol. 4732 of LNCS, pp. 38-53, Springer-Verlag, 2007.

Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, and John Matthews: Imperative Functional Programming with Isabelle/HOL. In: Otmane Ait Mohamed, César Muñoz and Sofiène Tahar, eds., Theorem Proving in Higher Order Logics (TPHOLs 2008), vol. 5170 of LNCS, Springer-Verlag, 2008.

Stefan Berghofer, Lukas Bulwahn, Florian Haftmann: Turning inductive into equational specifications. In: Stefan Berghofer, Tobias Nipkow, Christian Urban and Makarius Wenzel, eds., Theorem Proving in Higher Order Logics (TPHOLs 2009), pp. 131-146, vol. 5674 of LNCS, Springer-Verlag, 2009.

Lukas Bulwahn: Smart test data generators via logic programming. In: John Gallagher and Michael Gelfond (eds.), Technical Communications of the 27th International Conference on Logic Programming (ICLP'11), pp. 139-150, vol. 11 of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011.

Andreas Lochbihler and Lukas Bulwahn: Animating the Formalised Semantics of a Java-like Language. In: Marko van Eekelen and Herman Geuvers and Julien Schmalz and Freek Wiedijk, eds., Interactive Theorem Proving, pp. 216-232, vol. 6898 of LNCS, Springer-Verlag, 2011.

Jasmin Christian Blanchette, Lukas Bulwahn and Tobias Nipkow: Automatic Proof and Disproof in Isabelle/HOL. In: C. Tinelli and V. Sofronie-Stokkermans, eds., Frontiers of Combining Systems (FroCoS 2011), pp. 12-27, vol. 6989 of LNCS, Springer-Verlag, 2011.

Lukas Bulwahn: Smart testing of functional programs in Isabelle. In: Nikolaj Bjorner and Andrei Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), pp. 153-167, vol. 7180 in LNCS, Springer-Verlag, 2012.

Lukas Bulwahn

Interests

Drafts

Publications

Diploma Thesis