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).
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

2013
Knowledge and Security
CoRR, 2013

2011
Roles, stacks, histories: A triple for Hoare.
J. Funct. Program., 2011

Dealing with logical omniscience: Expressiveness and pragmatics.
Artif. Intell., 2011

Practical affine types.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

A theory of substructural types and control.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
SIGACT news logic column 21.
SIGACT News, 2010

Independence from obfuscation: A semantic framework for diversity.
J. Comput. Secur., 2010

Stateful Contracts for Affine Types.
Proceedings of the Programming Languages and Systems, 2010

Roles, Stacks, Histories: A Triple for Hoare.
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009
Evidence with uncertain likelihoods.
Synth., 2009

Categories of Timed Stochastic Relations.
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Future contracts.
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.
Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

Haskell session types with (almost) no class.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007
Introduction.
SIGACT News, 2007

Alternative Logics: a book review: SIGACT news logic column 18.
SIGACT News, 2007

Characterizing and reasoning about probabilistic and non-probabilistic expectation.
J. ACM, 2007

Logic Column 18: Alternative Logics: A Book Review
CoRR, 2007

Perfect cryptography, S5 knowledge, and algorithmic knowledge.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Dealing with logical omniscience.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

2006
SIGACT news logic column 15.
SIGACT News, 2006

Deductive Algorithmic Knowledge.
J. Log. Comput., 2006

Phantom types and subtyping.
J. Funct. Program., 2006

A Logic for Reasoning about Evidence.
J. Artif. Intell. Res., 2006

A Formal Foundation for ODRL
CoRR, 2006

Independence From Obfuscation: A Semantic Framework for Dive.
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005
SIGACT news logic column 14.
SIGACT News, 2005

SIGACT news logic column 13.
SIGACT News, 2005

Review of "Logic for Computer Scientists, by Uwe Schöning", Birkhauser, 1994.
SIGACT News, 2005

Logical verification and equational verification.
SIGACT News, 2005

The finite and the infinite in temporal logic.
SIGACT News, 2005

Probabilistic Algorithmic Knowledge.
Log. Methods Comput. Sci., 2005

Validating a web service security abstraction by typing.
Formal Aspects Comput., 2005

Practical Datatype Specializations with Phantom Types and Recursion Schemes.
Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

Logic Column 12: Logical Verification and Equational Verification
CoRR, 2005

Logic Column 11: The Finite and the Infinite in Temporal Logic
CoRR, 2005

On Partially Additive Kleene Algebras
CoRR, 2005

2004
Reasoning about Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis.
PhD thesis, 2004

Specifying confidentiality.
SIGACT News, 2004

On Equivalences for a Class of Timed Regular Expressions.
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
CoRR, 2004

Higher-Order Concurrent Win32 Programming
CoRR, 2004

Logic Column 10: Specifying Confidentiality
CoRR, 2004

A Framework for Creating Natural Language User Interfaces for Action-Based Applications
CoRR, 2004

Reasoning about Dynamic Policies.
Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003
On the relationship between strand spaces and multi-agent systems.
ACM Trans. Inf. Syst. Secur., 2003

Review of type-logical semantics.
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.
SIGACT News, 2003

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

A Coalgebraic Approach to Kleene Algebra with Tests.
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

TulaFale: A Security Tool for Web Services.
Proceedings of the Formal Methods for Components and Objects, 2003

2002
A Logic for Reasoning about Upper Probabilities.
J. Artif. Intell. Res., 2002

Reasoning about Expectation.
Proceedings of the UAI '02, 2002

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

Modeling Adversaries in a Logic for Security Protocol Analysis.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

A Logic for Reasoning about Digital Rights.
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.
Theor. Comput. Sci., 2001

A framework for interoperability.
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.
SIGACT News, 2001

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

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

An Approach to the Implementation of Overlapping Rules in Standard ML
CoRR, 2000

The Design of a COM-Oriented Module System.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2000

1998
Reactive Programming in Standard ML.
Proceedings of the 1998 International Conference on Computer Languages, 1998

1997
An Analysis of Lambek's Production Machines.
RAIRO Theor. Informatics Appl., 1997


  Loading...