341 citations · 642 across the 10 of their papers we have counts for
10 papers
Time-dependent product-form Poisson distributions for reaction networks with higher order complexes
David F. Anderson, David Schnoerr, Chaojie Yuan
It is well known that stochastically modeled reaction networks that are complex balanced admit a stationary distribution that is a product of Poisson distributions. In this paper,…
Probabilistic Model Checking for Continuous Time Markov Chains via Sequential Bayesian Inference
Dimitrios Milios, Guido Sanguinetti, David Schnoerr
Probabilistic model checking for systems with large or unbounded state space is a challenging computational problem in formal modelling and its applications. Numerical algorithms r…
Efficient Low-Order Approximation of First-Passage Time Distributions
David Schnoerr, Botond Cseke, Ramon Grima +1
We consider the problem of computing first-passage time distributions for reaction processes modelled by master equations. We show that this generally intractable class of problems…
Approximation and inference methods for stochastic biochemical kinetics - a tutorial review
David Schnoerr, Guido Sanguinetti, Ramon Grima
Stochastic fluctuations of molecule numbers are ubiquitous in biological systems. Important examples include gene expression and enzymatic processes in living cells. Such systems a…
Cox process representation and inference for stochastic reaction-diffusion processes
David Schnoerr, Ramon Grima, Guido Sanguinetti
Complex behaviour in many systems arises from the stochastic interactions of spatially distributed particles or agents. Stochastic reaction-diffusion processes are widely used to m…
Expectation propagation for continuous time stochastic processes
Botond Cseke, David Schnoerr, Manfred Opper +1
We consider the inverse problem of reconstructing the posterior measure over the trajec- tories of a diffusion process from discrete time observations and continuous time constrain…