L
ukas
S
tevens
Homepages 🌐
https://www21.in.tum.de/team/stevensl
E-Mails 📧
ed
.
mut
.
ni
@
snevets
.
sakul
Entries
2025
A Verified Reduction Algorithm from MLSSmf to MLSS
by
Yiran Duan
and
Lukas Stevens
May 05
2023
MLSS Decision Procedure
by
Lukas Stevens
May 05
2022
Verification of Query Optimization Algorithms
by
Lukas Stevens
and
Bernhard Stöckl
Oct 04
2019
Order Extension and Szpilrajn's Extension Theorem
by
Peter Zeller
and
Lukas Stevens
Jul 27