Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows
by Lukas Heimes, Dmitriy Traytel and Joshua Schneider
Joshua Schneider
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 a Monitoring Algorithm for Metric First-Order Temporal Logic
by Joshua Schneider and Dmitriy Traytel
2018
Bounded Natural Functors with Covariance and Contravariance
by Andreas Lochbihler and Joshua Schneider
2017
Monad normalisation
by Joshua Schneider, Manuel Eberl and Andreas Lochbihler
2015
Applicative Lifting
by Andreas Lochbihler and Joshua Schneider