Gregorio Curello

Orcid: 0000-0003-2404-2013

According to our database¹, Gregorio Curello authored at least 2 papers between 2013 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Single-crossing dominance: A preference lattice.

[DOI]

Games Econ. Behav., 2026

2013

Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code.

[DOI]

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013