Joshua Schneider

Available identifiers

zbMath Open schneider.joshua-pMaRDI QIDQ1637552

List of research outcomes

Publication	Date of Publication	Type
Verified first-order monitoring with recursive rules	2024-02-01	Paper
VeriMon: a formally verified monitoring tool	2023-07-28	Paper
A formally verified, optimized monitor for metric first-order dynamic logic	2022-11-09	Paper
Quotients of Bounded Natural Functors	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5028480	2022-02-09	Paper
Adaptive Online First-Order Monitoring	2020-07-20	Paper
Relational parametricity and quotient preservation for modular (co)datatypes	2018-10-04	Paper
The island dynamics model on parallel quadtree grids	2018-06-08	Paper
Steric Hindrance of Crystal Growth: Nonlinear Step Flow in 1+1 Dimensions	2018-05-29	Paper
Equational Reasoning with Applicative Functors	2016-10-27	Paper

Research outcomes over time

This page was built for person: Joshua Schneider