David Purser

From MaRDI portal
Person:832261

Available identifiers

zbMath Open purser.davidMaRDI QIDQ832261

List of research outcomes





PublicationDate of PublicationType
On the Skolem problem and the Skolem conjecture2024-12-06Paper
The boundedness and zero isolation problems for weighted automata over nonnegative rationals2024-12-06Paper
Porous invariants for linear systems2024-11-04Paper
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications2024-08-13Paper
Skolem meets schanuel2024-08-06Paper
Model checking linear dynamical systems under floating-point rounding2023-12-13Paper
https://portal.mardi4nfdi.de/entity/Q61342722023-08-21Paper
Bisimilarity distances for approximate differential privacy2023-07-28Paper
Asymmetric Distances for Approximate Differential Privacy2023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q50941252022-08-02Paper
https://portal.mardi4nfdi.de/entity/Q50893082022-07-18Paper
Skolem Meets Schanuel2022-04-28Paper
Porous invariants2022-03-25Paper
Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable2019-08-13Paper

Research outcomes over time

This page was built for person: David Purser

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832261&oldid=6931481"
Powered by MediaWiki