Riccardo Pucella

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 1

Top Topics

Spatial Reasoning

Modal Operators

Semi Fragile Watermarking

Extended Abstract

Top Venues

Publications

Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella
An Epistemic Foundation for Authentication Logics (Extended Abstract). TARK (2017)
Joseph Y. Halpern, Riccardo Pucella
A Logic for Reasoning about Upper Probabilities. CoRR (2014)
Joseph Y. Halpern, Riccardo Pucella
Evidence with Uncertain Likelihoods. CoRR (2014)
Joseph Y. Halpern, Riccardo Pucella
Reasoning about Expectation. CoRR (2014)
Joseph Y. Halpern, Riccardo Pucella
A Logic for Reasoning about Evidence. CoRR (2014)
Riccardo Pucella
Knowledge and Security CoRR (2013)
Jesse A. Tov, Riccardo Pucella
A theory of substructural types and control. OOPSLA (2011)
Jesse A. Tov, Riccardo Pucella
Practical affine types. POPL (2011)
Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
Roles, stacks, histories: A triple for Hoare. J. Funct. Program. 21 (2) (2011)
Joseph Y. Halpern, Riccardo Pucella
Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. 175 (1) (2011)
Riccardo Pucella
SIGACT news logic column 21. SIGACT News 41 (1) (2010)
Jesse A. Tov, Riccardo Pucella
Stateful Contracts for Affine Types. ESOP (2010)
Riccardo Pucella, Fred B. Schneider
Independence from obfuscation: A semantic framework for diversity. J. Comput. Secur. 18 (5) (2010)
Joseph Y. Halpern, Riccardo Pucella
Evidence with uncertain likelihoods. Synth. 171 (1) (2009)
Christos Dimoulas, Riccardo Pucella, Matthias Felleisen
Future contracts. PPDP (2009)
Daniel Brown, Riccardo Pucella
Categories of Timed Stochastic Relations. MFPS (2009)
Riccardo Pucella, Mehrnoosh Sadrzadeh
A Runs-and-Systems Semantics for Logics of Announcements. LOFT (2008)
Riccardo Pucella, Jesse A. Tov
Haskell session types with (almost) no class. Haskell (2008)
Joseph Y. Halpern, Riccardo Pucella
Dealing With Logical Omniscience: Expressiveness and Pragmatics CoRR (2007)
Joseph Y. Halpern, Riccardo Pucella
Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM 54 (3) (2007)
Sabina Petride, Riccardo Pucella
Perfect cryptography, S5 knowledge, and algorithmic knowledge. TARK (2007)
Riccardo Pucella
Logic Column 18: Alternative Logics: A Book Review CoRR (2007)
Riccardo Pucella
Introduction. SIGACT News 38 (4) (2007)
Riccardo Pucella
Alternative Logics: a book review: SIGACT news logic column 18. SIGACT News 38 (2) (2007)
Riccardo Pucella
Introduction. SIGACT News 38 (3) (2007)
Joseph Y. Halpern, Riccardo Pucella
Dealing with logical omniscience. TARK (2007)
Riccardo Pucella
SIGACT news logic column 15. SIGACT News 37 (2) (2006)
Matthew Fluet, Riccardo Pucella
Phantom types and subtyping. J. Funct. Program. 16 (6) (2006)
Joseph Y. Halpern, Riccardo Pucella
Modeling Adversaries in a Logic for Security Protocol Analysis CoRR (2006)
Riccardo Pucella, Fred B. Schneider
Independence From Obfuscation: A Semantic Framework for Dive. CSFW (2006)
Riccardo Pucella, Vicky Weissman
A Formal Foundation for ODRL CoRR (2006)
Joseph Y. Halpern, Riccardo Pucella
A Logic for Reasoning about Evidence. J. Artif. Intell. Res. 26 (2006)
Matthew Fluet, Riccardo Pucella
Practical Datatype Specializations with Phantom Types and Recursion Schemes. Electron. Notes Theor. Comput. Sci. 148 (2) (2006)
Riccardo Pucella
Deductive Algorithmic Knowledge. J. Log. Comput. 16 (2) (2006)
Riccardo Pucella
Logic Column 11: The Finite and the Infinite in Temporal Logic CoRR (2005)
Riccardo Pucella
SIGACT news logic column 14. SIGACT News 36 (4) (2005)
Riccardo Pucella
Review of "Logic for Computer Scientists, by Uwe Schöning", Birkhauser, 1994. SIGACT News 36 (3) (2005)
Riccardo Pucella
Logical verification and equational verification. SIGACT News 36 (2) (2005)
Joseph Y. Halpern, Riccardo Pucella
Probabilistic Algorithmic Knowledge CoRR (2005)
Riccardo Pucella
Logic Column 12: Logical Verification and Equational Verification CoRR (2005)
Matthew Fluet, Riccardo Pucella
Practical Datatype Specializations with Phantom Types and Recursion Schemes CoRR (2005)
Joseph Y. Halpern, Riccardo Pucella
Evidence with Uncertain Likelihoods. UAI (2005)
Joseph Y. Halpern, Riccardo Pucella
Evidence with Uncertain Likelihoods CoRR (2005)
Riccardo Pucella
SIGACT news logic column 13. SIGACT News 36 (3) (2005)
Riccardo Pucella
The finite and the infinite in temporal logic. SIGACT News 36 (1) (2005)
Riccardo Pucella
On Partially Additive Kleene Algebras CoRR (2005)
Joseph Y. Halpern, Riccardo Pucella
Probabilistic Algorithmic Knowledge. Log. Methods Comput. Sci. 1 (3) (2005)
Andrew D. Gordon, Riccardo Pucella
Validating a web service security abstraction by typing. Formal Aspects Comput. 17 (3) (2005)
Riccardo Pucella
The Design of a COM-Oriented Module System CoRR (2004)
Hubie Chen, Riccardo Pucella
A coalgebraic approach to Kleene algebra with tests. Theor. Comput. Sci. 327 (1-2) (2004)
Matthew Fluet, Riccardo Pucella
Phantom Types and Subtyping CoRR (2004)
Stephen Chong, Riccardo Pucella
A Framework for Creating Natural Language User Interfaces for Action-Based Applications CoRR (2004)
Riccardo Pucella
Specifying confidentiality. SIGACT News 35 (4) (2004)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
TulaFale: A Security Tool for Web Services CoRR (2004)
Riccardo Pucella
Deductive Algorithmic Knowledge CoRR (2004)
Hubie Chen, Riccardo Pucella
A Coalgebraic Approach to Kleene Algebra with Tests CoRR (2004)
Riccardo Pucella, Vicky Weissman
A Logic for Reasoning about Digital Rights CoRR (2004)
Riccardo Pucella, Prakash Panangaden
On the Expressive Power of First-Order Boolean Functions in PCF CoRR (2004)
Andrew D. Gordon, Riccardo Pucella
Validating a Web Service Security Abstraction by Typing CoRR (2004)
Riccardo Pucella
Deductive Algorithmic Knowledge. AI&M (2004)
Riccardo Pucella
Higher-Order Concurrent Win32 Programming CoRR (2004)
Riccardo Pucella
Reactive Programming in Standard ML CoRR (2004)
Riccardo Pucella, Erik Meijer, Dino Oliva
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel CoRR (2004)
Riccardo Pucella, Vicky Weissman
Reasoning about Dynamic Policies. FoSSaCS (2004)
Joseph Y. Halpern, Riccardo Pucella
A Logic for Reasoning about Evidence CoRR (2004)
Kathleen Fisher, Riccardo Pucella, John H. Reppy
A Framework for Interoperability CoRR (2004)
Riccardo Pucella
An Analysis of Lambek's Production Machines CoRR (2004)
Riccardo Pucella
Logic Column 10: Specifying Confidentiality CoRR (2004)
Riccardo Pucella
On Equivalences for a Class of Timed Regular Expressions. CMCS (2004)
Hubie Chen, Riccardo Pucella
A Coalgebraic Approach to Kleene Algebra with Tests. CMCS (2003)
Joseph Y. Halpern, Riccardo Pucella
A Logic for Reasoning about Evidence. UAI (2003)
Joseph Y. Halpern, Riccardo Pucella
Reasoning About Expectation CoRR (2003)
Joseph Y. Halpern, Riccardo Pucella
Probabilistic algorithmic knowledge. TARK (2003)
Joseph Y. Halpern, Riccardo Pucella
On the Relationship between Strand Spaces and Multi-Agent Systems CoRR (2003)
Joseph Y. Halpern, Riccardo Pucella
A logic for reasoning about upper probabilities CoRR (2003)
Riccardo Pucella
Review of the pi-calculus: a theory of mobile processes. SIGACT News 34 (1) (2003)
Riccardo Pucella, Stephen Chong
Review of type-logical semantics. SIGACT News 34 (1) (2003)
Riccardo Pucella
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. SIGACT News 34 (4) (2003)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
TulaFale: A Security Tool for Web Services. FMCO (2003)
Joseph Y. Halpern, Riccardo Pucella
On the relationship between strand spaces and multi-agent systems. ACM Trans. Inf. Syst. Secur. 6 (1) (2003)
Matthew Fluet, Riccardo Pucella
Phantom Types and Subtyping. IFIP TCS (2002)
Joseph Y. Halpern, Riccardo Pucella
Reasoning about Expectation. UAI (2002)
Andrew D. Gordon, Riccardo Pucella
Validating a Web service security abstraction by typing. XML Security (2002)
Riccardo Pucella
Towards a formalization for COM part i: the primitive calculus. OOPSLA (2002)
Joseph Y. Halpern, Riccardo Pucella
Modeling Adversaries in a Logic for Security Protocol Analysis. FASec (2002)
Joseph Y. Halpern, Riccardo Pucella
A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. 17 (2002)
Riccardo Pucella, Vicky Weissman
A Logic for Reasoning about Digital Rights. CSFW (2002)
Riccardo Pucella
Review of Dynamic Logic (Foundations of Computing): authors of book: D. Harel, D. Kozen and J. Tiuryn. SIGACT News 32 (4) (2001)
Joseph Y. Halpern, Riccardo Pucella
A Logic for Reasoning about Upper Probabilities. UAI (2001)
Joseph Y. Halpern, Riccardo Pucella
On the relationship between strand spaces and multi-agent systems. CCS (2001)
Kathleen Fisher, Riccardo Pucella, John H. Reppy
A framework for interoperability. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)
Riccardo Pucella
Review of proof, language, and interaction: essays in honour of Robin Milner edited by Plotkin, Stirling and Tofte. SIGACT News 32 (1) (2001)
Riccardo Pucella, Prakash Panangaden
On the expressive power of first-order boolean functions in PCF. Theor. Comput. Sci. 266 (1-2) (2001)
Riccardo Pucella
An Approach to the Implementation of Overlapping Rules in Standard ML CoRR (2000)
Riccardo Pucella
The Design of a COM-Oriented Module System. JMLC (2000)
Riccardo Pucella
Review of Communicating and mobile systems: the pi-calculus by Robin Silner. SIGACT News 31 (4) (2000)
Riccardo Pucella
Reactive Programming in Standard ML. ICCL (1998)
Riccardo Pucella
An Analysis of Lambek's Production Machines. RAIRO Theor. Informatics Appl. 31 (5) (1997)