Deciding Program Properties via Complete Abstractions on Bounded Domains. - Roberto Bruni 001; Roberta Gori; Nicolas Manini (SAS, 2022)

Online Simulation Reduction. - Pierre Ganty; Nicolas Manini; Francesco Ranzato (CoRR, 2022)

Computing Reachable Simulations on Transition Systems. - Pierre Ganty; Nicolas Manini; Francesco Ranzato (RP, 2024)

The Reachable Simulation Problem. - Pierre Ganty; Nicolas Manini; Francesco Ranzato (ACM Trans. Comput. Log., 2025)