Lukas Stevens

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 8

Top Topics

Query Optimization

Top Venues

Arch. Formal Proofs

Publications

Lukas Stevens
MLSS Decision Procedure. Arch. Formal Proofs 2023 (2023)
Lukas Stevens
Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory. CADE (2023)
Lukas Stevens
Towards a Verified Prover for a Ground Fragment of Set Theory. CoRR (2022)
Lukas Stevens, Bernhard Stöckl
Verification of Query Optimization Algorithms. Arch. Formal Proofs 2022 (2022)
Kevin Kappelmann, Jonas Rädle, Lukas Stevens
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. TFPIE (2022)
Yecine Megdiche, Fabian Huch, Lukas Stevens
A Linter for Isabelle: Implementation and Evaluation. CoRR (2022)
Lukas Stevens, Tobias Nipkow
A Verified Decision Procedure for Orders in Isabelle/HOL. CoRR (2021)
Lukas Stevens, Tobias Nipkow
A Verified Decision Procedure for Orders in Isabelle/HOL. ATVA (2021)