COLLODI, LUISA
COLLODI, LUISA
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
A linear-algebraic method to compute polynomial PDE conservation laws
2022 Boreale, M; Collodi, L
An implicit function theorem for the stream calculus
2023 Michele Boreale; Luisa Collodi; Daniele Gorla
AN IMPLICIT FUNCTION THEOREM FOR THE STREAM CALCULUS
2024 Boreale M.; Collodi L.; Gorla D.
Approximate Bayesian Computation for Probabilistic Damage Identification
2023 Cecilia Viscardi; Silvia Monchetti; Luisa Collodi; Gianni Bartoli; Michele Betti; Michele Boreale; Fabio Corradi
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation
2023 Boreale, M; Collodi, L
Formal methods for dynamical systems: invariants, reachability, inference.
2024 Luisa Collodi
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach
2024 Boreale M.; Collodi L.
Language Equivalence from Nondeterministic to Weighted Automata—and Back
2025 Boreale, Michele; Collodi, Luisa
Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs
2025 Boreale M.; Collodi L.
Linearization, model reduction and reachability in nonlinear odes
2025 Boreale M.; Collodi L.
Linearization, Model Reduction and Reachability in Nonlinear odes
2022 Boreale, Michele; Collodi, Luisa
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
2025 Boreale M.; Collodi L.
Products, Polynomials and Differential Equations in the Stream Calculus
2024 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
Towards Algebraic Analysis of Probabilistic Programs
2025 Collodi L.; Boreale M.; Pompa Di Gregorio A.