| Publication | Date of Publication | Type |
|---|
Statistical abstraction for multi-scale spatio-temporal systems
ACM Transactions on Modeling and Computer Simulation | 2024-09-08 | Paper |
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Bayesian learning of effective chemical master equations in crowded intracellular conditions
(available as arXiv preprint) | 2023-01-18 | Paper |
Parameter estimation for biochemical reaction networks using Wasserstein distances
Journal of Physics A: Mathematical and Theoretical | 2023-01-09 | Paper |
Challenges for machine learning in RNA-protein interaction prediction
Statistical Applications in Genetics and Molecular Biology | 2022-08-08 | Paper |
Geometric fluid approximation for general continuous-time Markov chains
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-10-29 | Paper |
Geometric fluid approximation for general continuous-time Markov chains
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-10-29 | Paper |
Autoregressive Point Processes as Latent State-Space Models: A Moment-Closure Approach to Fluctuations and Autocorrelations
Neural Computation | 2021-10-12 | Paper |
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic
Hybrid Systems Biology | 2019-05-21 | Paper |
Variational Estimation in Spatiotemporal Systems From Continuous and Point-Process Observations
IEEE Transactions on Signal Processing | 2018-07-18 | Paper |
A Perturbative Approach to Novelty Detection in Autoregressive Models
IEEE Transactions on Signal Processing | 2018-07-18 | Paper |
Corrigendum: Approximation and inference methods for stochastic biochemical kinetics—a tutorial review (2017 J. Phys. A: Math. Theor. 50 093001)
Journal of Physics A: Mathematical and Theoretical | 2018-06-07 | Paper |
Matching models across abstraction levels with Gaussian processes
(available as arXiv preprint) | 2018-03-22 | Paper |
Unbiased Bayesian inference for population Markov jump processes via random truncations
Statistics and Computing | 2018-03-07 | Paper |
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
(available as arXiv preprint) | 2018-01-11 | Paper |
Approximation and inference methods for stochastic biochemical kinetics -- a tutorial review
Journal of Physics A: Mathematical and Theoretical | 2017-04-05 | Paper |
Expectation propagation for continuous time stochastic processes
Journal of Physics A: Mathematical and Theoretical | 2017-02-08 | Paper |
Smoothed model checking for uncertain continuous-time Markov chains
Information and Computation | 2016-03-10 | Paper |
Learning and designing stochastic processes from logical constraints
Logical Methods in Computer Science | 2015-08-25 | Paper |
Data-driven statistical learning of temporal logic properties
Lecture Notes in Computer Science | 2015-08-06 | Paper |
System design of stochastic models using robustness of temporal properties
Theoretical Computer Science | 2015-06-10 | Paper |
| A case study on meta-generalising: a Gaussian processes approach | 2014-04-01 | Paper |
Approximate inference of the bandwidth in multivariate kernel density estimation
Computational Statistics and Data Analysis | 2013-03-14 | Paper |
Online variational inference for state-space models with point-process observations
Neural Computation | 2011-08-09 | Paper |
Information theoretic novelty detection
Pattern Recognition | 2010-01-15 | Paper |
Categorial mirror symmetry for K3 surfaces
Communications in Mathematical Physics | 2000-03-30 | Paper |
Mirror symmetry on K3 surfaces as a hyper-Kähler rotation
Letters in Mathematical Physics | 1999-03-02 | Paper |
