Paolo Ballarini

Available identifiers

zbMath Open ballarini.paoloWikidataQ102365892 ScholiaQ102365892MaRDI QIDQ498907

List of research outcomes

Publication	Date of Publication	Type
A formal approach for tuning stochastic oscillators	2024-02-28	Paper
Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models	2021-11-01	Paper
Reachability design through approximate Bayesian computation	2019-10-10	Paper
Compositional Model Checking of product-form CTMCs	2016-06-06	Paper
Applications of an expressive statistical model checking approach to the analysis of genetic circuits	2015-09-29	Paper
Analysing Biochemical Oscillation through Probabilistic Model Checking	2014-03-21	Paper
Expressing and Computing Passage Time Measures of GSPN Models with HASL	2013-06-28	Paper
Query-based verification of qualitative trends and oscillations in biochemical systems	2010-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2766551	2002-06-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paolo Ballarini