A Restricted Definition of the Magic Wand to Soundly Combine Fractions of a Wand
by Thibault Dardinier
Thibault Dardinier
2022
Formalization of a Framework for the Sound Automation of Magic Wands
by Thibault Dardinier
2020
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations
by Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider and Dmitriy Traytel
2019
Formalization of Multiway-Join Algorithms
by Thibault Dardinier