Joshua Schneider

E-Mails 📧

• hc.zhte.fni @redienhcs.auhsoj

Entries

2020

Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows

by Lukas Heimes, Dmitriy Traytel 🌐 and Joshua Schneider

Apr 10

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 🌐

Apr 09

2019

Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic

by Joshua Schneider 📧 and Dmitriy Traytel 🌐

Jul 04

2018

Bounded Natural Functors with Covariance and Contravariance

by Andreas Lochbihler 🌐 and Joshua Schneider 📧

Apr 24

2017

Monad normalisation

by Joshua Schneider, Manuel Eberl 🌐 and Andreas Lochbihler 🌐

May 05

2015

Applicative Lifting

by Andreas Lochbihler 🌐 and Joshua Schneider

Dec 22