| 2011 | OOPSLA | A theory of substructural types and control. | Jesse A. Tov, Riccardo Pucella |
| 2011 | POPL | Practical affine types. | Jesse A. Tov, Riccardo Pucella |
| 2010 | ESOP | Stateful Contracts for Affine Types. | Jesse A. Tov, Riccardo Pucella |
| 2009 | PPDP | Future contracts. | Christos Dimoulas, Riccardo Pucella, Matthias Felleisen |
| 2008 | HASKELL | Haskell session types with (almost) no class. | Riccardo Pucella, Jesse A. Tov |
| 2007 | TARK | Dealing with logical omniscience. | Joseph Y. Halpern, Riccardo Pucella |
| 2007 | TARK | Perfect cryptography, S5 knowledge, and algorithmic knowledge. | Sabina Petride, Riccardo Pucella |
| 2005 | UAI | Evidence with Uncertain Likelihoods. | Joseph Y. Halpern, Riccardo Pucella |
| 2004 | FOSSACS | Reasoning about Dynamic Policies. | Riccardo Pucella, Vicky Weissman |
| 2004 | ISAIM | Deductive Algorithmic Knowledge. | Riccardo Pucella |
| 2003 | UAI | A Logic for Reasoning about Evidence. | Joseph Y. Halpern, Riccardo Pucella |
| 2003 | TARK | Probabilistic algorithmic knowledge. | Joseph Y. Halpern, Riccardo Pucella |
| 2002 | OOPSLA | Towards a formalization for COM part i: the primitive calculus. | Riccardo Pucella |
| 2002 | UAI | Reasoning about Expectation. | Joseph Y. Halpern, Riccardo Pucella |
| 2001 | CCS | On the relationship between strand spaces and multi-agent systems. | Joseph Y. Halpern, Riccardo Pucella |
| 2001 | UAI | A Logic for Reasoning about Upper Probabilities. | Joseph Y. Halpern, Riccardo Pucella |