Paolo Zuliani | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes	2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)	2020
Individual Based Model Links Thermodynamics, Chemical Speciation and Environmental Conditions to Microbial Growth	FRONTIERS IN MICROBIOLOGY	2019
Modelling bacterial twitching in fluid flows: a CFD-DEM approach	SCIENTIFIC REPORTS	2019
Pathways to cellular supremacy in biocomputing	NATURE COMMUNICATIONS	2019
Bayesian emulation and calibration of an individual-based model of microbial communities	JOURNAL OF COMPUTATIONAL SCIENCE	2019
NUFEB: A massively parallel simulator for individual-based modelling of microbial communities	PLOS COMPUTATIONAL BIOLOGY	2019
A Bayesian approach to modelling the impact of hydrodynamic shear stress on biofilm deformation	PLOS ONE	2018
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains	New Frontiers in Quantitative Methods in Informatics	2018
Stochastic Rate Parameter Inference Using the Cross-Entropy Method	Computational Methods in Systems Biology	2018
A mechanistic Individual-based Model of microbial communities	PLOS ONE	2017
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems	Hardware and Software: Verification and Testing	2017
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization	BIOINFORMATICS	2016
High-level modeling and verification of cellular signaling	2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)	2016
Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques	Hardware and Software: Verification and Testing	2016
Towards Quantum Programs Verification: From Quipper Circuits to QPMC	Reversible Computation	2016
Statistical model checking for biological applications	INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER	2015
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models	Computational Methods in Systems Biology	2015
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems	Computational Methods in Systems Biology	2015
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems	Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2015
Towards personalized prostate cancer therapy using delta-reachability analysis	Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2015