Alain Chavarri Villarello

According to our database, Alain Chavarri Villarello authored at least 2 papers between 2021 and 2025.

Collaborative distances:

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

2025

Certifying Rings of Integers in Number Fields.

Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2021

Representing Partition Lattices Through FCA.

Mike Behrisch, Alain Chavarri Villarello, Edith Vargas-García

Proceedings of the Formal Concept Analysis - 16th International Conference, 2021