| Publication | Date of Publication | Type |
|---|
| Bayesian Abstraction of Markov Population Models | 2024-03-14 | Paper |
| Reducing Spreading Processes on Networks to Markov Population Models | 2024-03-14 | Paper |
| Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes | 2024-02-21 | Paper |
| Learning model checking and the kernel trick for signal temporal logic on stochastic processes | 2024-01-23 | Paper |
| Generative abstraction of Markov population processes | 2023-10-17 | Paper |
| Variance reduction in stochastic reaction networks using control variates | 2023-08-10 | Paper |
| Signal convolution logic | 2023-07-28 | Paper |
| Lumping the Approximate Master Equation for Multistate Processes on Complex Networks | 2023-06-28 | Paper |
| Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling | 2023-06-02 | Paper |
| Abstraction of Markov population dynamics via generative adversarial nets | 2022-05-25 | Paper |
| Abstraction-guided truncations for stationary distributions of Markov population models | 2022-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028457 | 2022-02-09 | Paper |
| Bounding mean first passage times in population continuous-time Markov chains | 2021-12-08 | Paper |
| Analysis of Markov jump processes under terminal constraints | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5858728 | 2021-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965816 | 2021-03-10 | Paper |
| Fluid approximation of broadcasting systems | 2020-03-20 | Paper |
| Logic-Based Multi-objective Design of Chemical Reaction Networks | 2019-12-04 | Paper |
| Central Limit Model Checking | 2019-11-22 | Paper |
| Control variates for stochastic simulation of chemical reaction networks | 2019-10-10 | Paper |
| Bayesian statistical parameter synthesis for linear temporal properties of stochastic models | 2019-09-16 | Paper |
| Model-Based Whole-Genome Analysis of DNA Methylation Fidelity | 2019-05-21 | Paper |
| Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic | 2019-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553288 | 2018-11-02 | Paper |
| Deep abstractions of chemical reaction networks | 2018-10-17 | Paper |
| Model checking Markov population models by stochastic approximations | 2018-09-27 | Paper |
| Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model | 2018-07-06 | Paper |
| Generalized method of moments for stochastic reaction networks in equilibrium | 2018-03-22 | Paper |
| Matching models across abstraction levels with Gaussian processes | 2018-03-22 | Paper |
| Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent | 2018-01-11 | Paper |
| Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation | 2018-01-11 | Paper |
| Reachability Computation for Switching Diffusions | 2017-07-11 | Paper |
| Mean-Field Limits Beyond Ordinary Differential Equations | 2016-10-04 | Paper |
| Coding Theory: A General Framework and Two Inverse Problems | 2016-08-15 | Paper |
| Hybrid behaviour of Markov population models | 2016-03-10 | Paper |
| Smoothed model checking for uncertain continuous-time Markov chains | 2016-03-10 | Paper |
| Fluid Model Checking of Timed Properties | 2015-09-14 | Paper |
| Learning and Designing Stochastic Processes from Logical Constraints | 2015-08-25 | Paper |
| Data-Driven Statistical Learning of Temporal Logic Properties | 2015-08-06 | Paper |
| System design of stochastic models using robustness of temporal properties | 2015-06-10 | Paper |
| Model checking single agent behaviours by fluid approximation | 2015-06-01 | Paper |
| HYPE: hybrid modelling by composition of flows | 2014-11-11 | Paper |
| HYPE Applied to the Modelling of Hybrid Biological Systems | 2014-05-13 | Paper |
| On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation | 2014-05-13 | Paper |
| The Importance of Being (A Little Bit) Discrete | 2014-03-21 | Paper |
| Stochastic concurrent constraint programming and differential equations | 2014-01-17 | Paper |
| (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program | 2013-08-27 | Paper |
| Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation | 2013-06-28 | Paper |
| Fluid Model Checking | 2012-09-25 | Paper |
| Language sampling for universal grammars | 2012-09-25 | Paper |
| Spearman permutation distances and Shannon's distinguishability | 2012-07-11 | Paper |
| Hybrid dynamics of stochastic \(\pi \)-calculus | 2011-02-19 | Paper |
| Stochastic Programs and Hybrid Automata for (Biological) Modeling | 2010-07-28 | Paper |
| Hybrid dynamics of stochastic programs | 2010-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3656139 | 2010-01-13 | Paper |
| Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back | 2009-11-10 | Paper |
| HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour | 2009-10-22 | Paper |
| Hybrid Semantics for Stochastic π-Calculus | 2009-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3533407 | 2008-10-23 | Paper |
| Modeling biological systems in stochastic concurrent constraint programming | 2008-09-02 | Paper |
| Agent-based protein structure prediction | 2007-11-05 | Paper |
| Codeword distinguishability in minimum diversity decoding | 2007-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416170 | 2007-01-19 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| FUZZY POSSIBILITIES AS UPPER PREVISIONS | 2005-05-09 | Paper |
