Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. - Lukas Bulwahn; Alexander Krauss 001; Tobias Nipkow (TPHOLs, 2007)

Imperative Functional Programming with Isabelle/HOL. - Lukas Bulwahn; Alexander Krauss 001; Florian Haftmann; Levent Erkök; John Matthews (TPHOLs, 2008)

Turning Inductive into Equational Specifications. - Stefan Berghofer; Lukas Bulwahn; Florian Haftmann (TPHOLs, 2009)

Counterexample Generation for Higher-order Logic Using Logic Programming. - Lukas Bulwahn (AlgoSyn, 2010)

Automatic Proof and Disproof in Isabelle/HOL. - Jasmin Christian Blanchette; Lukas Bulwahn; Tobias Nipkow (FroCoS, 2011)

Smart test data generators via logic programming. - Lukas Bulwahn (ICLP (Technical Communications), 2011)

Animating the Formalised Semantics of a Java-Like Language. - Andreas Lochbihler; Lukas Bulwahn (ITP, 2011)

The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof. - Lukas Bulwahn (CPP, 2012)

Smart Testing of Functional Programs in Isabelle. - Lukas Bulwahn (LPAR, 2012)

Counterexample generation for higher-order logic using functional and logic programming. - Lukas Bulwahn (2012)

Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements. - Raphael Fonte Boa Trindade; Lukas Bulwahn; Christoph Ainhauser (SAFECOMP, 2014)

Derangements Formula. - Lukas Bulwahn (Arch. Formal Proofs, 2015)

Euler's Partition Theorem. - Lukas Bulwahn (Arch. Formal Proofs, 2015)

Cardinality of Set Partitions. - Lukas Bulwahn (Arch. Formal Proofs, 2015)

Cardinality of Number Partitions. - Lukas Bulwahn (Arch. Formal Proofs, 2016)

Spivey's Generalized Recurrence for Bell Numbers. - Lukas Bulwahn (Arch. Formal Proofs, 2016)

Cardinality of Equivalence Relations. - Lukas Bulwahn (Arch. Formal Proofs, 2016)

Cardinality of Multisets. - Lukas Bulwahn (Arch. Formal Proofs, 2016)

Ptolemy's Theorem. - Lukas Bulwahn (Arch. Formal Proofs, 2016)

Intersecting Chords Theorem. - Lukas Bulwahn (Arch. Formal Proofs, 2016)

The Twelvefold Way. - Lukas Bulwahn (Arch. Formal Proofs, 2016)

Stewart's Theorem and Apollonius' Theorem. - Lukas Bulwahn (Arch. Formal Proofs, 2017)

The Falling Factorial of a Sum. - Lukas Bulwahn (Arch. Formal Proofs, 2017)

Bernoulli Numbers. - Lukas Bulwahn; Manuel Eberl (Arch. Formal Proofs, 2017)

The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects. - Ralf Ramsauer; Lukas Bulwahn; Daniel Lohmann; Wolfgang Mauerer (CCSW, 2020)

SpecCheck - Specification-Based Testing for Isabelle/ML. - Kevin Kappelmann; Lukas Bulwahn; Sebastian Willenbrink (Arch. Formal Proofs, 2021)