Luisa Collodi

According to our database, Luisa Collodi authored at least 10 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming.

Michele Boreale, Luisa Collodi

CoRR, September, 2025

Towards Algebraic Analysis of Probabilistic Programs.

Luisa Collodi, Michele Boreale, Alessandro Pompa Di Gregorio

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs.

Michele Boreale, Luisa Collodi

Proceedings of the 26th Italian Conference on Theoretical Computer Science, 2025

2024

Products, Polynomials and Differential Equations in the Stream Calculus.

Michele Boreale, Luisa Collodi, Daniele Gorla

ACM Trans. Comput. Log., January, 2024

An implicit function theorem for the stream calculus.

Michele Boreale, Luisa Collodi, Daniele Gorla

Log. Methods Comput. Sci., 2024

Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach.

Michele Boreale, Luisa Collodi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Language Equivalence from Nondeterministic to Weighted Automata - and Back.

Michele Boreale, Luisa Collodi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

2023

Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation.

Michele Boreale, Luisa Collodi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2022

A linear-algebraic method to compute polynomial PDE conservation laws.

Michele Boreale, Luisa Collodi

J. Symb. Comput., 2022

Linearization, Model Reduction and Reachability in Nonlinear odes.

Michele Boreale, Luisa Collodi

Proceedings of the Reachability Problems - 16th International Conference, 2022