Linearization, Model Reduction and Reachability in Nonlinear odes. - Michele Boreale; Luisa Collodi (RP, 2022)

A linear-algebraic method to compute polynomial PDE conservation laws. - Michele Boreale; Luisa Collodi (J. Symb. Comput., 2022)

Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. - Michele Boreale; Luisa Collodi (VMCAI, 2023)

Language Equivalence from Nondeterministic to Weighted Automata - and Back. - Michele Boreale; Luisa Collodi (ISoLA (1), 2024)

Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach. - Michele Boreale; Luisa Collodi (VMCAI (2), 2024)

An implicit function theorem for the stream calculus. - Michele Boreale; Luisa Collodi; Daniele Gorla (Log. Methods Comput. Sci., 2024)

Products, Polynomials and Differential Equations in the Stream Calculus. - Michele Boreale; Luisa Collodi; Daniele Gorla (ACM Trans. Comput. Log., 2024)