Andrea Gilot

Orcid: 0009-0006-4463-9414

According to our database1, Andrea Gilot authored at least 3 papers between 2024 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A Large-Scale Study of Floating-Point Usage in Statically Typed Languages.
CoRR, September, 2025

2024
epfl-lara/lisa.
Dataset, November, 2024

Mechanized HOL Reasoning in Set Theory.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024


  Loading...