co-author : Maurizio Cimadamore

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus () — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore

On the reification of Java wildcards (Science of Computer Programming, 2008) — Maurizio Cimadamore, Mirko Viroli

Integrating Java and Prolog through Generic Methods and Type Inference (2008) — Maurizio Cimadamore, Mirko Viroli

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