| 2026 | SACMAT | Strobilus: Enriching Cedar with Stateful Policies. | Massimiliano Baldo, Pietro Di Gianantonio, Matteo Paier, Marino Miculan |
| 2024 | LICS | A Cartesian Closed Category for Random Variables. | Pietro Di Gianantonio, Abbas Edalat |
| 2013 | CSL | Innocent Game Semantics via Intersection Type Assignment Systems. | Pietro Di Gianantonio, Marina Lenisa |
| 2013 | FOSSACS | A Language for Differentiable Functions. | Pietro Di Gianantonio, Abbas Edalat |
| 2010 | CONCUR | Efficient Bisimilarities from Second-Order Reaction Semantics for | Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa |
| 2008 | FOSSACS | RPO, Second-Order Contexts, and lambda-Calculus. | Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
| 2004 | CSL | Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. | Pietro Di Gianantonio |
| 2004 | FOSSACS | Unifying Recursive and Co-recursive Definitions in Sheaf Categories. | Pietro Di Gianantonio, Marino Miculan |
| 2002 | ICALP | Games Characterizing Levy-Longo Trees. | C.-H. Luke Ong, Pietro Di Gianantonio |
| 1998 | OOPSLA | A Lambda Calculus of Objects with Self-Inflicted Extension. | Pietro Di Gianantonio, Furio Honsell, Luigi Liquori |
| 1997 | ICALP | An Abstract Data Type for Real Numbers. | Pietro Di Gianantonio |
| 1994 | CONCUR | Countable Non-Determinism and Uncountable Limits. | Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin |
| 1993 | ICLP | Chemical Logic Programming? | Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi |
| 1993 | MFCS | Real Number Computability and Domain Theory. | Pietro Di Gianantonio |