12 citations · 19 across the 4 of their papers we have counts for
4 papers
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
Francesca Randone, Luca Bortolussi, Emilio Incerto +1
Computing the posterior distribution of a probabilistic program is a hard task for which no one-fit-for-all solution exists. We propose Gaussian Semantics, which approximates the e…
Optimality-preserving Reduction of Chemical Reaction Networks
Kim G. Larsen, Daniele Toller, Mirco Tribastone +2
Across many disciplines, chemical reaction networks (CRNs) are an established population model defined as a system of coupled nonlinear ordinary differential equations. In many app…
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
Mirco Tribastone, Herbert Wiklicky
This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ET…
Extended Differential Aggregations in Process Algebra for Performance and Biology
Max Tschaikowski, Mirco Tribastone
We study aggregations for ordinary differential equations induced by fluid semantics for Markovian process algebra which can capture the dynamics of performance models and chemical…