David Purser

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reachability in dynamical systems with rounding	2026-03-23	Paper
On the Skolem problem and the Skolem conjecture	2024-12-06	Paper
The boundedness and zero isolation problems for weighted automata over nonnegative rationals	2024-12-06	Paper
Porous invariants for linear systems Formal Methods in System Design	2024-11-04	Paper
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications	2024-08-13	Paper
Skolem meets schanuel	2024-08-06	Paper
Model checking linear dynamical systems under floating-point rounding	2023-12-13	Paper
scientific article; zbMATH DE number 7730630 (Why is no real title available?) (available as arXiv preprint)	2023-08-21	Paper
Bisimilarity distances for approximate differential privacy Automated Technology for Verification and Analysis	2023-07-28	Paper
Asymmetric Distances for Approximate Differential Privacy	2023-02-03	Paper
The big-O problem (available as arXiv preprint)	2022-08-02	Paper
The big-O problem	2022-08-02	Paper
The big-O problem for labelled Markov chains and weighted automata	2022-07-18	Paper
Skolem Meets Schanuel	2022-04-28	Paper
Porous invariants (available as arXiv preprint)	2022-03-25	Paper
Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable Acta Informatica	2019-08-13	Paper

Research outcomes over time

This page was built for person: David Purser