Nicolas Manini

According to our database, Nicolas Manini authored at least 2 papers in 2022.

Collaborative distances:

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

2022

Online Simulation Reduction.

Pierre Ganty, Nicolas Manini, Francesco Ranzato

CoRR, 2022

Deciding Program Properties via Complete Abstractions on Bounded Domains.

Roberto Bruni, Roberta Gori, Nicolas Manini

Proceedings of the Static Analysis - 29th International Symposium, 2022