Luisa Collodi

13 papers B 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming.
CoRR
Michele Boreale, Luisa Collodi
2025 — conf
Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs.
ICTCS
Michele Boreale, Luisa Collodi
2025 J jnl
Linearization, model reduction and reachability in nonlinear odes.
Formal Methods Syst. Des.
Michele Boreale, Luisa Collodi
2025 — conf
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming.
GandALF
Michele Boreale, Luisa Collodi
2025 — conf
Towards Algebraic Analysis of Probabilistic Programs.
ICTCS
Luisa Collodi, Michele Boreale, Alessandro Pompa Di Gregorio
2024 J jnl
An implicit function theorem for the stream calculus.
Log. Methods Comput. Sci.
Michele Boreale, Luisa Collodi, Daniele Gorla
2024 — conf
Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach.
VMCAI (2)
Michele Boreale, Luisa Collodi
2024 — conf
Language Equivalence from Nondeterministic to Weighted Automata - and Back.
ISoLA (1)
Michele Boreale, Luisa Collodi
2024 J jnl
Products, Polynomials and Differential Equations in the Stream Calculus.
ACM Trans. Comput. Log.
Michele Boreale, Luisa Collodi, Daniele Gorla
2023 J jnl
An implicit function theorem for the stream calculus.
CoRR
Michele Boreale, Luisa Collodi, Daniele Gorla
2023 B conf
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation.
VMCAI
Michele Boreale, Luisa Collodi
2022 J jnl
A linear-algebraic method to compute polynomial PDE conservation laws.
J. Symb. Comput.
Michele Boreale, Luisa Collodi
2022 — conf
Linearization, Model Reduction and Reachability in Nonlinear odes.
RP
Michele Boreale, Luisa Collodi