P. Ballarini

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal approach for tuning stochastic oscillators Computational Methods in Systems Biology	2024-02-28	Paper
Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models Theoretical Computer Science	2021-11-01	Paper
Reachability design through approximate Bayesian computation	2019-10-10	Paper
Compositional model checking of product-form CTMCs Electronic Notes in Theoretical Computer Science	2016-06-06	Paper
Applications of an expressive statistical model checking approach to the analysis of genetic circuits Theoretical Computer Science	2015-09-29	Paper
Analysing biochemical oscillation through probabilistic model checking Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Automated game analysis via probabilistic model checking: a case study	2013-10-07	Paper
Expressing and computing passage time measures of GSPN models with HASL Application and Theory of Petri Nets and Concurrency	2013-06-28	Paper
Query-based verification of qualitative trends and oscillations in biochemical systems Theoretical Computer Science	2010-05-11	Paper
scientific article; zbMATH DE number 1696449 (Why is no real title available?)	2002-06-17	Paper

Research outcomes over time

This page was built for person: P. Ballarini