Luisa Collodi

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Interval Analysis

Top Venues

ACM Trans. Comput. Log.

Publications

Michele Boreale, Luisa Collodi
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach. VMCAI (2) (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
Products, Polynomials and Differential Equations in the Stream Calculus. ACM Trans. Comput. Log. 25 (1) (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
An implicit function theorem for the stream calculus. Log. Methods Comput. Sci. 20 (2) (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
An implicit function theorem for the stream calculus. CoRR (2023)
Michele Boreale, Luisa Collodi
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. VMCAI (2023)
Michele Boreale, Luisa Collodi
Linearization, Model Reduction and Reachability in Nonlinear odes. RP (2022)
Michele Boreale, Luisa Collodi
A linear-algebraic method to compute polynomial PDE conservation laws. J. Symb. Comput. 108 (2022)