CERES in Propositional Proof Schemata. - Andrea Condoluci (CoRR, 2017)

Admissible Tools in the Kitchen of Intuitionistic Logic. - Andrea Condoluci; Matteo Manighetti (CL&C, 2018)

Relational Data Across Mathematical Libraries. - Andrea Condoluci; Michael Kohlhase; Dennis Müller 001; Florian Rabe 001; Claudio Sacerdoti Coen; Makarius Wenzel (CICM, 2019)

Crumbling Abstract Machines. - Beniamino Accattoli; Andrea Condoluci; Giulio Guerrieri; Claudio Sacerdoti Coen (PPDP, 2019)

Sharing Equality is Linear. - Andrea Condoluci; Beniamino Accattoli; Claudio Sacerdoti Coen (PPDP, 2019)

Strong Call-by-Value is Reasonable, Implosively. - Beniamino Accattoli; Andrea Condoluci; Claudio Sacerdoti Coen (LICS, 2021)