Representing Partition Lattices Through FCA. - Mike Behrisch; Alain Chavarri Villarello; Edith Vargas-García (ICFCA, 2021)

Certifying Rings of Integers in Number Fields. - Anne Baanen; Alain Chavarri Villarello; Sander R. Dahmen (CPP, 2025)