Login / Signup
David Schnoerr
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 3
Top Topics
Automated Verification
Bayesian Inference
Model Checking
Continuous Time Markov Chains
Top Venues
CoRR
PLoS Comput. Biol.
QEST
</>
Publications
</>
Michael Everett Rule
,
David Schnoerr
,
Matthias H. Hennig
,
Guido Sanguinetti
Neural field models for latent state inference: Application to large-scale neuronal recordings.
PLoS Comput. Biol.
15 (11) (2019)
Dimitrios Milios
,
Guido Sanguinetti
,
David Schnoerr
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference.
QEST
(2018)
Dimitrios Milios
,
Guido Sanguinetti
,
David Schnoerr
Probabilistic Model Checking for Continuous Time Markov Chains via Sequential Bayesian Inference.
CoRR
(2017)