We stand with Ukraine  

Riccardo Pucella

Affiliations:
  • Northeastern University, Boston, USA


According to our database1, Riccardo Pucella authored at least 66 papers between 1997 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
An Epistemic Foundation for Authentication Logics (Extended Abstract).
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Ron van der Meyden
,
Riccardo Pucella
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

2013
Knowledge and Security
[BibTeX]
[DOI]
Riccardo Pucella
CoRR, 2013

2011
Roles, stacks, histories: A triple for Hoare.
[BibTeX]
[DOI]
Johannes Borgström
,
Andrew D. Gordon
,
Riccardo Pucella
J. Funct. Program., 2011

Dealing with logical omniscience: Expressiveness and pragmatics.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
Artif. Intell., 2011

Practical affine types.
[BibTeX]
[DOI]
Jesse A. Tov
,
Riccardo Pucella
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

A theory of substructural types and control.
[BibTeX]
[DOI]
Jesse A. Tov
,
Riccardo Pucella
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
SIGACT news logic column 21.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2010

Independence from obfuscation: A semantic framework for diversity.
[BibTeX]
[DOI]
Riccardo Pucella
,
Fred B. Schneider
J. Comput. Secur., 2010

Stateful Contracts for Affine Types.
[BibTeX]
[DOI]
Jesse A. Tov
,
Riccardo Pucella
Proceedings of the Programming Languages and Systems, 2010

Roles, Stacks, Histories: A Triple for Hoare.
[BibTeX]
[DOI]
Johannes Borgström
,
Andrew D. Gordon
,
Riccardo Pucella
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009
Evidence with uncertain likelihoods.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
Synth., 2009

Categories of Timed Stochastic Relations.
[BibTeX]
[DOI]
Daniel Brown
,
Riccardo Pucella
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Future contracts.
[BibTeX]
[DOI]
Christos Dimoulas
,
Riccardo Pucella
,
Matthias Felleisen
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008
A Runs-and-Systems Semantics for Logics of Announcements.
[BibTeX]
[DOI]
Riccardo Pucella
,
Mehrnoosh Sadrzadeh
Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

Haskell session types with (almost) no class.
[BibTeX]
[DOI]
Riccardo Pucella
,
Jesse A. Tov
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007
Introduction.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2007

Alternative Logics: a book review: SIGACT news logic column 18.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2007

Characterizing and reasoning about probabilistic and non-probabilistic expectation.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
J. ACM, 2007

Logic Column 18: Alternative Logics: A Book Review
[BibTeX]
[DOI]
Riccardo Pucella
CoRR, 2007

Perfect cryptography, S5 knowledge, and algorithmic knowledge.
[BibTeX]
[DOI]
Sabina Petride
,
Riccardo Pucella
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Dealing with logical omniscience.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

2006
SIGACT news logic column 15.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2006

Deductive Algorithmic Knowledge.
[BibTeX]
[DOI]
Riccardo Pucella
J. Log. Comput., 2006

Phantom types and subtyping.
[BibTeX]
[DOI]
Matthew Fluet
,
Riccardo Pucella
J. Funct. Program., 2006

A Logic for Reasoning about Evidence.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
J. Artif. Intell. Res., 2006

A Formal Foundation for ODRL
[BibTeX]
[DOI]
Riccardo Pucella
,
Vicky Weissman
CoRR, 2006

Independence From Obfuscation: A Semantic Framework for Dive.
[BibTeX]
[DOI]
Riccardo Pucella
,
Fred B. Schneider
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005
SIGACT news logic column 14.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2005

SIGACT news logic column 13.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2005

Review of "Logic for Computer Scientists, by Uwe Schöning", Birkhauser, 1994.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2005

Logical verification and equational verification.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2005

The finite and the infinite in temporal logic.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2005

Probabilistic Algorithmic Knowledge.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
Log. Methods Comput. Sci., 2005

Validating a web service security abstraction by typing.
[BibTeX]
[DOI]
Andrew D. Gordon
,
Riccardo Pucella
Formal Aspects Comput., 2005

Practical Datatype Specializations with Phantom Types and Recursion Schemes.
[BibTeX]
[DOI]
Matthew Fluet
,
Riccardo Pucella
Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

Logic Column 12: Logical Verification and Equational Verification
[BibTeX]
[DOI]
Riccardo Pucella
CoRR, 2005

Logic Column 11: The Finite and the Infinite in Temporal Logic
[BibTeX]
[DOI]
Riccardo Pucella
CoRR, 2005

On Partially Additive Kleene Algebras
[BibTeX]
[DOI]
Riccardo Pucella
CoRR, 2005

2004
Reasoning about Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis.
[BibTeX]
Riccardo Pucella
PhD thesis, 2004

A coalgebraic approach to Kleene algebra with tests.
[BibTeX]
[DOI]
Hubie Chen
,
Riccardo Pucella
Theor. Comput. Sci., 2004

Specifying confidentiality.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2004

On Equivalences for a Class of Timed Regular Expressions.
[BibTeX]
[DOI]
Riccardo Pucella
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
[BibTeX]
[DOI]
Riccardo Pucella
,
Erik Meijer
,
Dino Oliva
CoRR, 2004

Higher-Order Concurrent Win32 Programming
[BibTeX]
[DOI]
Riccardo Pucella
CoRR, 2004

Logic Column 10: Specifying Confidentiality
[BibTeX]
[DOI]
Riccardo Pucella
CoRR, 2004

A Framework for Creating Natural Language User Interfaces for Action-Based Applications
[BibTeX]
[DOI]
Stephen Chong
,
Riccardo Pucella
CoRR, 2004

Reasoning about Dynamic Policies.
[BibTeX]
[DOI]
Riccardo Pucella
,
Vicky Weissman
Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003
On the relationship between strand spaces and multi-agent systems.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
ACM Trans. Inf. Syst. Secur., 2003

Review of type-logical semantics.
[BibTeX]
[DOI]
Riccardo Pucella
,
Stephen Chong
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.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2003

Review of the pi-calculus: a theory of mobile processes.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2003

TulaFale: A Security Tool for Web Services.
[BibTeX]
[DOI]
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Riccardo Pucella
Proceedings of the Formal Methods for Components and Objects, 2003

2002
A Logic for Reasoning about Upper Probabilities.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
J. Artif. Intell. Res., 2002

Reasoning about Expectation.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
Proceedings of the UAI '02, 2002

Towards a formalization for COM part i: the primitive calculus.
[BibTeX]
[DOI]
Riccardo Pucella
Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Modeling Adversaries in a Logic for Security Protocol Analysis.
[BibTeX]
[DOI]
Joseph Y. Halpern
,
Riccardo Pucella
Proceedings of the Formal Aspects of Security, First International Conference, 2002

A Logic for Reasoning about Digital Rights.
[BibTeX]
[DOI]
Riccardo Pucella
,
Vicky Weissman
Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001
On the expressive power of first-order boolean functions in PCF.
[BibTeX]
[DOI]
Riccardo Pucella
,
Prakash Panangaden
Theor. Comput. Sci., 2001

A framework for interoperability.
[BibTeX]
[DOI]
Kathleen Fisher
,
Riccardo Pucella
,
John H. Reppy
Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

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

Review of proof, language, and interaction: essays in honour of Robin Milner edited by Plotkin, Stirling and Tofte.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2001

2000
Review of Communicating and mobile systems: the pi-calculus by Robin Silner.
[BibTeX]
[DOI]
Riccardo Pucella
SIGACT News, 2000

An Approach to the Implementation of Overlapping Rules in Standard ML
[BibTeX]
[DOI]
Riccardo Pucella
CoRR, 2000

The Design of a COM-Oriented Module System.
[BibTeX]
[DOI]
Riccardo Pucella
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2000

1998
Reactive Programming in Standard ML.
[BibTeX]
[DOI]
Riccardo Pucella
Proceedings of the 1998 International Conference on Computer Languages, 1998

1997
An Analysis of Lambek's Production Machines.
[BibTeX]
[DOI]
Riccardo Pucella
RAIRO Theor. Informatics Appl., 1997


  Loading...