Luisa Collodi

According to our database, Luisa Collodi authored at least 7 papers between 2022 and 2024.

Collaborative distances:

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

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