A Verified Decision Procedure for Orders in Isabelle/HOL. - Lukas Stevens; Tobias Nipkow (ATVA, 2021)

Verification of Query Optimization Algorithms. - Lukas Stevens; Bernhard Stöckl (Arch. Formal Proofs, 2022)

A Linter for Isabelle: Implementation and Evaluation. - Yecine Megdiche; Fabian Huch; Lukas Stevens (CoRR, 2022)

Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. - Kevin Kappelmann; Jonas Rädle; Lukas Stevens (TFPIE, 2022)

Towards a Verified Prover for a Ground Fragment of Set Theory. - Lukas Stevens (CoRR, 2022)

Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory. - Lukas Stevens (CADE, 2023)

MLSS Decision Procedure. - Lukas Stevens (Arch. Formal Proofs, 2023)

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm. - Lukas Stevens; Rebecca Ghidini (CADE, 2025)

A Verified Reduction Algorithm from MLSSmf to MLSS. - Yiran Duan; Lukas Stevens (Arch. Formal Proofs, 2025)

Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model. - Kevin Kappelmann; Fabian Huch; Lukas Stevens; Mohammad Abdulaziz (CoRR, 2025)