Bruno Andreotti

According to our database, Bruno Andreotti authored at least 2 papers between 2001 and 2023.

Collaborative distances:

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

2023

Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format.

Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2001

The Four Avalanche Fronts: a Test Case for Granular Surface Flow Modeling.

Stéphane Douady, Bruno Andreotti, Pierre Cladé, Adrian Daerr

Adv. Complex Syst., 2001