| 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 |
| Hybrid performance modelling of opportunistic networks | 2021-04-14 | Paper |
| HYPE with stochastic events | 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 |
| Qualitative and quantitative monitoring of spatio-temporal properties with SSTL | 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, finite abstractions with certifiable and tuneable precision | 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 |
| A criterion for the stochasticity of matrices with specified order relations | 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 |
| Hamming-like distances for ill-defined strings in linguistic classification | 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 |
