David Spieler

Available identifiers

zbMath Open spieler.davidMaRDI QIDQ2248079

List of research outcomes

Publication	Date of Publication	Type
Analyzing oscillatory behavior with formal methods	2015-01-12	Paper
On-the-fly verification and optimization of DTA-properties for large Markov chains	2014-06-30	Paper
Efficient Steady State Analysis of Multimodal Markov Chains	2013-08-09	Paper
Bounding the equilibrium distribution of Markov population models.	2012-12-19	Paper
Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics	2012-01-17	Paper
Model Checking CSL for Markov Population Models	N/A	Paper

Research outcomes over time

This page was built for person: David Spieler