A Prolog-oriented extension of Java programming based on generics and annotations. - Maurizio Cimadamore; Mirko Viroli (PPPJ, 2007)

Reifying wildcards in Java using the EGO approach. - Maurizio Cimadamore; Mirko Viroli (SAC, 2007)

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. - Alessandro Ricci; Mirko Viroli; Maurizio Cimadamore (FOCLASA, 2007)

Integrating Java and Prolog through generic methods and type inference. - Maurizio Cimadamore; Mirko Viroli (SAC, 2008)

On the reification of Java wildcards. - Maurizio Cimadamore; Mirko Viroli (Sci. Comput. Program., 2008)

Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented. - Maurizio Cimadamore (2010)