Lukas Stevens

12 papers A 2B 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Verified Reduction Algorithm from MLSSmf to MLSS.
Arch. Formal Proofs
Yiran Duan, Lukas Stevens
2025 J jnl
Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model.
CoRR
Kevin Kappelmann, Fabian Huch, Lukas Stevens, Mohammad Abdulaziz
2025 A conf
Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm.
CADE
Lukas Stevens, Rebecca Ghidini
2025 J jnl
Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm.
CoRR
Lukas Stevens, Rebecca Ghidini
2023 J jnl
MLSS Decision Procedure.
Arch. Formal Proofs
Lukas Stevens
2023 A conf
Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.
CADE
Lukas Stevens
2022 J jnl
A Linter for Isabelle: Implementation and Evaluation.
CoRR
Yecine Megdiche, Fabian Huch, Lukas Stevens
2022 — conf
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space.
TFPIE
Kevin Kappelmann, Jonas Rädle, Lukas Stevens
2022 J jnl
Towards a Verified Prover for a Ground Fragment of Set Theory.
CoRR
Lukas Stevens
2022 J jnl
Verification of Query Optimization Algorithms.
Arch. Formal Proofs
Lukas Stevens, Bernhard Stöckl
2021 B conf
A Verified Decision Procedure for Orders in Isabelle/HOL.
ATVA
Lukas Stevens, Tobias Nipkow
2021 J jnl
A Verified Decision Procedure for Orders in Isabelle/HOL.
CoRR
Lukas Stevens, Tobias Nipkow