Riccardo Pucella

100 papers A* 2A 7B 6C 2Journal 67Unranked 14

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