An Analysis of Lambek's Production Machines. - Riccardo Pucella (RAIRO Theor. Informatics Appl., 1997)

Reactive Programming in Standard ML. - Riccardo Pucella (ICCL, 1998)

The Design of a COM-Oriented Module System. - Riccardo Pucella (JMLC, 2000)

An Approach to the Implementation of Overlapping Rules in Standard ML - Riccardo Pucella (CoRR, 2000)

Review of Communicating and mobile systems: the pi-calculus by Robin Silner. - Riccardo Pucella (SIGACT News, 2000)

Review of proof, language, and interaction: essays in honour of Robin Milner edited by Plotkin, Stirling and Tofte. - Riccardo Pucella (SIGACT News, 2001)

Review of Dynamic Logic (Foundations of Computing): authors of book: D. Harel, D. Kozen and J. Tiuryn. - Riccardo Pucella (SIGACT News, 2001)

A framework for interoperability. - Kathleen Fisher; Riccardo Pucella; John H. Reppy (BABEL, 2001)

On the expressive power of first-order boolean functions in PCF. - Riccardo Pucella; Prakash Panangaden (Theor. Comput. Sci., 2001)

A Logic for Reasoning about Digital Rights. - Riccardo Pucella; Vicky Weissman (CSFW, 2002)

Modeling Adversaries in a Logic for Security Protocol Analysis. - Joseph Y. Halpern; Riccardo Pucella (FASec, 2002)

Towards a formalization for COM part i: the primitive calculus. - Riccardo Pucella (OOPSLA, 2002)

Reasoning about Expectation. - Joseph Y. Halpern; Riccardo Pucella (UAI, 2002)

A Logic for Reasoning about Upper Probabilities. - Joseph Y. Halpern; Riccardo Pucella (J. Artif. Intell. Res., 2002)

TulaFale: A Security Tool for Web Services. - Karthikeyan Bhargavan; Cédric Fournet; Andrew D. Gordon 001; Riccardo Pucella (FMCO, 2003)

Review of the pi-calculus: a theory of mobile processes. - Riccardo Pucella (SIGACT News, 2003)

Joint review of Foundations of cryptography: basic tools by O. Goldreich. Cambridge University Press. and Modelling and analysis of security protocols by P. Ryan and S. Schneider. Addison Wesley. - Riccardo Pucella (SIGACT News, 2003)

Review of type-logical semantics. - Riccardo Pucella; Stephen Chong (SIGACT News, 2003)

On the relationship between strand spaces and multi-agent systems. - Joseph Y. Halpern; Riccardo Pucella (ACM Trans. Inf. Syst. Secur., 2003)

Reasoning about Dynamic Policies. - Riccardo Pucella; Vicky Weissman (FoSSaCS, 2004)

A Framework for Creating Natural Language User Interfaces for Action-Based Applications - Stephen Chong; Riccardo Pucella (CoRR, 2004)

Logic Column 10: Specifying Confidentiality - Riccardo Pucella (CoRR, 2004)

Higher-Order Concurrent Win32 Programming - Riccardo Pucella (CoRR, 2004)

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel - Riccardo Pucella; Erik Meijer 001; Dino Oliva (CoRR, 2004)

On Equivalences for a Class of Timed Regular Expressions. - Riccardo Pucella (CMCS, 2004)

Specifying confidentiality. - Riccardo Pucella (SIGACT News, 2004)

A coalgebraic approach to Kleene algebra with tests. - Hubie Chen; Riccardo Pucella (Theor. Comput. Sci., 2004)

Reasoning about Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis. - Riccardo Pucella (2004)

On Partially Additive Kleene Algebras - Riccardo Pucella (CoRR, 2005)

Logic Column 11: The Finite and the Infinite in Temporal Logic - Riccardo Pucella (CoRR, 2005)

Logic Column 12: Logical Verification and Equational Verification - Riccardo Pucella (CoRR, 2005)

Practical Datatype Specializations with Phantom Types and Recursion Schemes. - Matthew Fluet; Riccardo Pucella (ML, 2005)

Validating a web service security abstraction by typing. - Andrew D. Gordon 001; Riccardo Pucella (Formal Aspects Comput., 2005)

Probabilistic Algorithmic Knowledge. - Joseph Y. Halpern; Riccardo Pucella (Log. Methods Comput. Sci., 2005)

The finite and the infinite in temporal logic. - Riccardo Pucella (SIGACT News, 2005)

Logical verification and equational verification. - Riccardo Pucella (SIGACT News, 2005)

Review of "Logic for Computer Scientists, by Uwe Schöning", Birkhauser, 1994. - Riccardo Pucella (SIGACT News, 2005)

SIGACT news logic column 13. - Riccardo Pucella (SIGACT News, 2005)

SIGACT news logic column 14. - Riccardo Pucella (SIGACT News, 2005)

Independence From Obfuscation: A Semantic Framework for Dive. - Riccardo Pucella; Fred B. Schneider (CSFW, 2006)

A Formal Foundation for ODRL - Riccardo Pucella; Vicky Weissman (CoRR, 2006)

A Logic for Reasoning about Evidence. - Joseph Y. Halpern; Riccardo Pucella (J. Artif. Intell. Res., 2006)

Phantom types and subtyping. - Matthew Fluet; Riccardo Pucella (J. Funct. Program., 2006)

Deductive Algorithmic Knowledge. - Riccardo Pucella (J. Log. Comput., 2006)

SIGACT news logic column 15. - Riccardo Pucella (SIGACT News, 2006)

Dealing with logical omniscience. - Joseph Y. Halpern; Riccardo Pucella (TARK, 2007)

Perfect cryptography, S5 knowledge, and algorithmic knowledge. - Sabina Petride; Riccardo Pucella (TARK, 2007)

Logic Column 18: Alternative Logics: A Book Review - Riccardo Pucella (CoRR, 2007)

Characterizing and reasoning about probabilistic and non-probabilistic expectation. - Joseph Y. Halpern; Riccardo Pucella (J. ACM, 2007)

Alternative Logics: a book review: SIGACT news logic column 18. - Riccardo Pucella (SIGACT News, 2007)

Introduction. - Riccardo Pucella (SIGACT News, 2007)

Haskell session types with (almost) no class. - Riccardo Pucella; Jesse A. Tov (Haskell, 2008)

A Runs-and-Systems Semantics for Logics of Announcements. - Riccardo Pucella; Mehrnoosh Sadrzadeh (LOFT, 2008)

Future contracts. - Christos Dimoulas; Riccardo Pucella; Matthias Felleisen (PPDP, 2009)

Categories of Timed Stochastic Relations. - Daniel Brown; Riccardo Pucella (MFPS, 2009)

Evidence with uncertain likelihoods. - Joseph Y. Halpern; Riccardo Pucella (Synth., 2009)

Roles, Stacks, Histories: A Triple for Hoare. - Johannes Borgström; Andrew D. Gordon 001; Riccardo Pucella (Reflections on the Work of C. A. R. Hoare, 2010)

Stateful Contracts for Affine Types. - Jesse A. Tov; Riccardo Pucella (ESOP, 2010)

Independence from obfuscation: A semantic framework for diversity. - Riccardo Pucella; Fred B. Schneider (J. Comput. Secur., 2010)

SIGACT news logic column 21. - Riccardo Pucella (SIGACT News, 2010)

A theory of substructural types and control. - Jesse A. Tov; Riccardo Pucella (OOPSLA, 2011)

Practical affine types. - Jesse A. Tov; Riccardo Pucella (POPL, 2011)

Dealing with logical omniscience: Expressiveness and pragmatics. - Joseph Y. Halpern; Riccardo Pucella (Artif. Intell., 2011)

Roles, stacks, histories: A triple for Hoare. - Johannes Borgström; Andrew D. Gordon 001; Riccardo Pucella (J. Funct. Program., 2011)

Knowledge and Security - Riccardo Pucella (CoRR, 2013)

An Epistemic Foundation for Authentication Logics (Extended Abstract). - Joseph Y. Halpern; Ron van der Meyden; Riccardo Pucella (TARK, 2017)