| Publication | Date of Publication | Type |
|---|
DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version
ACM Transactions on Modeling and Computer Simulation | 2024-09-06 | Paper |
Epidemic overdispersion strengthens the effectiveness of mobility restrictions
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Variance reduction in stochastic reaction networks using control variates
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Abstraction-guided truncations for stationary distributions of Markov population models
| 2022-03-24 | Paper |
Bounding mean first passage times in population continuous-time Markov chains
| 2021-12-08 | Paper |
Importance of interaction structure and stochasticity for epidemic spreading: a COVID-19 case study
| 2021-12-08 | Paper |
Tracking the race between deep reinforcement learning and imitation learning
| 2021-12-08 | Paper |
A stochastic automata network description for spatial DNA-methylation models
Lecture Notes in Computer Science | 2021-12-08 | Paper |
Analysis of Markov jump processes under terminal constraints
| 2021-08-04 | Paper |
On-the-fly uniformization of time-inhomogeneous infinite Markov population models
| 2021-03-10 | Paper |
Analytic solutions for stochastic hybrid models of gene regulatory networks
Journal of Mathematical Biology | 2021-01-28 | Paper |
Approximate adaptive uniformization of continuous-time Markov chains
Applied Mathematical Modelling | 2020-03-26 | Paper |
Hybrid stochastic simulation of rule-based polymerization models
Hybrid Systems Biology | 2019-12-04 | Paper |
Control variates for stochastic simulation of chemical reaction networks
| 2019-10-10 | Paper |
A stochastic model for the formation of spatial methylation patterns
Computational Methods in Systems Biology | 2019-07-25 | Paper |
Model-based whole-genome analysis of DNA methylation fidelity
Hybrid Systems Biology | 2019-05-21 | Paper |
Stochastic hybrid models of gene regulatory networks -- a PDE approach
Mathematical Biosciences | 2019-03-20 | Paper |
Model Reconstruction for Moment-Based Stochastic Chemical Kinetics
ACM Transactions on Modeling and Computer Simulation | 2018-04-16 | Paper |
Generalized method of moments for stochastic reaction networks in equilibrium
| 2018-03-22 | Paper |
Parameter estimation for stochastic hybrid models of biochemical reaction networks
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Bisimulation and Simulation Relations for Markov Chains
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Reconstruction of Multimodal Distributions for Hybrid Moment-based Chemical Kinetics, Supporting Information
| 2014-10-13 | Paper |
Maximum Entropy Reconstruction for Discrete Distributions with Unbounded Support
| 2014-08-12 | Paper |
On-the-fly verification and optimization of DTA-properties for large Markov chains
Formal Methods in System Design | 2014-06-30 | Paper |
Modelling of biochemical reactions by stochastic automata networks
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Approximate transient analysis of queuing networks by quasi product forms
Analytical and Stochastic Modeling Techniques and Applications | 2013-08-09 | Paper |
Efficient Steady State Analysis of Multimodal Markov Chains
Analytical and Stochastic Modeling Techniques and Applications | 2013-08-09 | Paper |
Quasi product form approximation for Markov models of reaction networks
Lecture Notes in Computer Science | 2013-04-03 | Paper |
Bounding the equilibrium distribution of Markov population models.
Numerical Linear Algebra with Applications | 2012-12-19 | Paper |
Three-valued abstraction for probabilistic systems
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics
Advances in Applied Probability | 2012-01-17 | Paper |
Formalisms for specifying Markovian population models
International Journal of Foundations of Computer Science | 2011-07-14 | Paper |
Approximation of event probabilities in noisy cellular processes
Theoretical Computer Science | 2011-05-03 | Paper |
CONCUR 2003 - Concurrency Theory
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Formalisms for Specifying Markovian Population Models
Lecture Notes in Computer Science | 2009-11-19 | Paper |
Sliding Window Abstraction for Infinite Markov Chains
Computer Aided Verification | 2009-06-30 | Paper |
Abstraction for Stochastic Systems by Erlang’s Method of Stages
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Computational Probability for Systems Biology
Formal Methods in Systems Biology | 2008-06-17 | Paper |
Three-Valued Abstraction for Continuous-Time Markov Chains
Computer Aided Verification | 2007-11-29 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Comparative branching-time semantics for Markov chains
Information and Computation | 2005-09-02 | Paper |
