Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? - Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani (FoVeOOS, 2010)

DeepFJig - Modular composition of nested classes. - Andrea Corradi; Marco Servetto; Elena Zucca (J. Object Technol., 2012)

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. - Davide Ancona; Andrea Corradi (ECOOP, 2014)

Computational thinking for beginners: A successful experience using Prolog. - Silvio Beux; Daniela Briola; Andrea Corradi; Giorgio Delzanno; Angelo Ferrando 001; Federico Frassetto; Giovanna Guerrini; Viviana Mascardi; Marco Oreggia; Francesca Pozzi; Alessandro Solimando; Armando Tacchella (CILC, 2015)

Infinite derivations as failures. - Andrea Corradi; Federico Frassetto (CILC, 2015)

A formal account of SSA in Java-like languages. - Davide Ancona; Andrea Corradi (FTfJP@ECOOP, 2016)

Semantic subtyping for imperative object-oriented languages. - Davide Ancona; Andrea Corradi (OOPSLA, 2016)

A hostile reputation: A social network approach to interstate hostility. - Andrea Corradi; Cassie McMillan; Nick Dietrich (Soc. Networks, 2022)