Technische Universität München
Institut für Informatik
Theorem Proving Group
Technische Universität München
Institut für Informatik
Boltzmannstr. 3
85748 Garching
Germany
in.tum.deLukas 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, Montreal, Canada, August 18-21, 2008, vol. 5170 of LNCS, Springer-Verlag, 2008.
Lukas Bulwahn: Code Generation from Inductive Predicates in Isabelle/HOL. Diploma Thesis. 2009.
Unification given at the lecture "Perlen der Informatik 2" (the pearls of computer science) in the summer term 2005
Paper (in German)
Probabilistically Checkable Proofs given at the course "Proofs and Computers" at the Joint Advanced Student School (JASS) in 2006
Slides and Paper
The Inductive Approach to Verifying Cryptographic Protocols given at the "Perlen der Informatik 4" weekend seminar in the summer term 2006
Slides and Paper (in German)
presented this work of Larry Paulson
Quantification given at the course "Computational Semantics" at the student summer school Ferienakademie in 2006
Joint work with Fabienne Fritzinger
Slides (in German)
Size-Change Termination given at the student-organized course "Theory Tea" in the winter term 2006
Talk presented this work of Chin Soon Lee, Neil D. Jones and Amir M. Ben-Amram
Finding Lexicographic Orders for Termination Proofs given at the seminar of the Munich Isabelle group in February 2007
Slides
Computing with Polynomials: Hensel Constructions given at the course "Polynomials: Their Power and How to Use Them" at the Joint Advanced Student School (JASS) in 2007
Slides and Paper
Introduction to Modal logics given at "Theory Tea" in the summer term 2007
Talk presented the chapter "Modal logics and agents" of the book "Logic in Computer Science" by Michael Huth and Mark Ryan
Alignment given at the course "Machine Translation" in the winter term 2007
Slides (in German)
Imperative Functional Programming given at "Theory Tea" in the winter term 2007
Slides
Textual Entailment given at the course "Corpus Calculus" in the winter term 2007
Slides (in German)
Cascades of Local Grammars given at the course "Syntactic Analysis with Local Grammars" in the summer term 2008
Slides (in German)