Riccardo Pucella

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	An Epistemic Foundation for Authentication Logics (Extended Abstract)	2017	Joseph Y. Halpern Ron van der Meyden Riccardo Pucella
+	An Epistemic Foundation for Authentication Logics (Extended Abstract)	2017	Joseph Y. Halpern Ron van der Meyden Riccardo Pucella
+	Reasoning about Expectation	2014	Joseph Y. Halpern Riccardo Pucella
+	Reasoning about Expectation	2014	Joseph Y. Halpern Riccardo Pucella
+	A Logic for Reasoning about Upper Probabilities	2014	Joseph Y. Halpern Riccardo Pucella
+	A Logic for Reasoning about Evidence	2014	Joseph Y. Halpern Riccardo Pucella
+	Evidence with Uncertain Likelihoods	2014	Joseph Y. Halpern Riccardo Pucella
+	Knowledge and Security	2013	Riccardo Pucella
+ PDF Chat	Modeling Adversaries in a Logic for Security Protocol Analysis	2012	Joseph Y. Halpern Riccardo Pucella
+	Dealing with logical omniscience: Expressiveness and pragmatics	2010	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	Evidence with uncertain likelihoods	2008	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	Characterizing and reasoning about probabilistic and non-probabilistic expectation	2007	Joseph Y. Halpern Riccardo Pucella
+	Logic Column 18: Alternative Logics: A Book Review	2007	Riccardo Pucella
+	Dealing With Logical Omniscience: Expressiveness and Pragmatics	2007	Joseph Y. Halpern Riccardo Pucella
+	Modeling Adversaries in a Logic for Security Protocol Analysis	2006	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	A Logic for Reasoning about Evidence	2006	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	Deductive Algorithmic Knowledge	2006	Riccardo Pucella
+	Practical Datatype Specializations with Phantom Types and Recursion Schemes	2006	Matthew Fluet Riccardo Pucella
+	A Formal Foundation for ODRL	2006	Riccardo Pucella Vicky Weissman
+ PDF Chat	Probabilistic Algorithmic Knowledge	2005	Joseph Y. Halpern Riccardo Pucella
+	Logical verification and equational verification	2005	Riccardo Pucella
+	On Partially Additive Kleene Algebras	2005	Riccardo Pucella
+	Logic Column 12: Logical Verification and Equational Verification	2005	Riccardo Pucella
+	Logic Column 11: The Finite and the Infinite in Temporal Logic	2005	Riccardo Pucella
+	Evidence with Uncertain Likelihoods	2005	Joseph Y. Halpern Riccardo Pucella
+	Practical Datatype Specializations with Phantom Types and Recursion Schemes	2005	Matthew Fluet Riccardo Pucella
+	TulaFale: A Security Tool for Web Services	2004	Karthikeyan Bhargavan Cédric Fournet Andrew D. Gordon Riccardo Pucella
+	A coalgebraic approach to Kleene algebra with tests	2004	Hubie Chen Riccardo Pucella
+	The Design of a COM-Oriented Module System	2004	Riccardo Pucella
+	A Framework for Creating Natural Language User Interfaces for Action-Based Applications	2004	Stephen Chong Riccardo Pucella
+	Logic Column 10: Specifying Confidentiality	2004	Riccardo Pucella
+	Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel	2004	Riccardo Pucella Erik Meijer Dino P. Oliva
+ PDF Chat	TulaFale: A Security Tool for Web Services	2004	Karthikeyan Bhargavan Cédric Fournet Andrew D. Gordon Riccardo Pucella
+	On the Expressive Power of First-Order Boolean Functions in PCF	2004	Riccardo Pucella Prakash Panangaden
+	A Logic for Reasoning about Evidence	2004	Joseph Y. Halpern Riccardo Pucella
+	A Coalgebraic Approach to Kleene Algebra with Tests	2004	Hubie Chen Riccardo Pucella
+	Higher-Order Concurrent Win32 Programming	2004	Riccardo Pucella
+	Phantom Types and Subtyping	2004	Matthew Fluet Riccardo Pucella
+	An Analysis of Lambek's Production Machines	2004	Riccardo Pucella
+	Deductive Algorithmic Knowledge	2004	Riccardo Pucella
+	A Logic for Reasoning about Digital Rights	2004	Riccardo Pucella Vicky Weissman
+	A Framework for Interoperability	2004	Kathleen Fisher Riccardo Pucella John Reppy
+	TulaFale: A Security Tool for Web Services	2004	Karthikeyan Bhargavan Cédric Fournet Andrew Gordon Riccardo Pucella
+	The Design of a COM-Oriented Module System	2004	Riccardo Pucella
+	Validating a Web Service Security Abstraction by Typing	2004	Andrew D. Gordon Riccardo Pucella
+	A Coalgebraic Approach to Kleene Algebra with Tests	2003	Hubie Chen Riccardo Pucella
+ PDF Chat	A logic for reasoning about digital rights	2003	Riccardo Pucella Vicky Weissman
+ PDF Chat	Probabilistic algorithmic knowledge	2003	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	On the relationship between strand spaces and multi-agent systems	2003	Joseph Y. Halpern Riccardo Pucella
+	Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation	2003	Joseph Y. Halpern Riccardo Pucella
+	A logic for reasoning about upper probabilities	2003	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	Modeling Adversaries in a Logic for Security Protocol Analysis	2003	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	Probabilistic algorithmic knowledge	2003	Joseph Y. Halpern Riccardo Pucella
+	On the Relationship between Strand Spaces and Multi-Agent Systems	2003	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	Reactive programming in Standard ML	2002	Riccardo Pucella
+ PDF Chat	A Logic for Reasoning about Upper Probabilities	2002	Joseph Y. Halpern Riccardo Pucella
+	A logic for reasoning about evidence	2002	Joseph Y. Halpern Riccardo Pucella
+	Validating a Web service security abstraction by typing	2002	Andrew D. Gordon Riccardo Pucella
+ PDF Chat	On the relationship between strand spaces and multi-agent systems	2001	Joseph Y. Halpern Riccardo Pucella
+	A framework for interoperability	2001	Kathleen Fisher Riccardo Pucella John Reppy
+ PDF Chat	On the expressive power of first-order boolean functions in PCF	2001	Riccardo Pucella Prakash Panangaden
+ PDF Chat	On the relationship between strand spaces and multi-agent systems	2001	Joseph Y. Halpern Riccardo Pucella
+ PDF Chat	The Design of a COM-Oriented Module System	2000	Riccardo Pucella
+	An Approach to the Implementation of Overlapping Rules in Standard ML	2000	Riccardo Pucella
+	Higher-order concurrent Win32 programming	1999	Riccardo Pucella
+ PDF Chat	An analysis of Lambek's production machines	1997	Riccardo Pucella

Common Coauthors

Coauthor	Papers Together
Joseph Y. Halpern	28
Karthikeyan Bhargavan	3
Matthew Fluet	3
Cédric Fournet	3
Vicky Weissman	3
Andrew D. Gordon	2
Andrew D. Gordon	2
John Reppy	2
Ron van der Meyden	2
Kathleen Fisher	2
Prakash Panangaden	2
Hubie Chen	2
Andrew Gordon	1
Stephen Chong	1
Erik Meijer	1
Hubie Chen	1
Dino P. Oliva	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	A Mathematical Theory of Evidence	2020	Glenn Shafer	11
+ PDF Chat	Probabilistic Algorithmic Knowledge	2005	Joseph Y. Halpern Riccardo Pucella	7
+ PDF Chat	The inductive approach to verifying cryptographic protocols	1998	Lawrence C. Paulson	6
+	An Introduction to Mathematical Logic	2005	Elliott Mendelson	5
+	Typed Kleene Algebra	1998	Dexter Kozen	4
+ PDF Chat	Deductive Algorithmic Knowledge	2006	Riccardo Pucella	4
+	A logic for reasoning about evidence	2002	Joseph Y. Halpern Riccardo Pucella	4
+ PDF Chat	A Logic for Reasoning about Upper Probabilities	2002	Joseph Y. Halpern Riccardo Pucella	3
+	The mean value of a fuzzy number	1987	Didier Dubois Henri Prade	3
+	Secrecy in multiagent systems	2003	Joseph Y. Halpern Kevin O’Neill	3
+	Probability and the Weighing of Evidence.	1950	P. A. M. I. J. Good	2
+ PDF Chat	A Logic for Reasoning about Evidence	2006	Joseph Y. Halpern Riccardo Pucella	2
+	Logical Methods in Computer Science	2006		2
+ PDF Chat	Probabilistic Deduction with Conditional Constraints over Basic Events	1999	Thomas Lukasiewicz	2
+	Solvability and Consistency for Linear Equations and Inequalities	1956	Harold W. Kuhn	2
+ PDF Chat	A note on knowledge-based programs and specifications	2000	Joseph Y. Halpern	2
+ PDF Chat	Using first-order logic to reason about policies	2004	Joseph Y. Halpern Vicky Weissman	2
+	TerraService.NET: An Introduction to Web Services	2002	Thomas Barclay Jim Gray Eric Strand Steve Ekblad Jeffrey Richter	2
+ PDF Chat	Evidence with uncertain likelihoods	2008	Joseph Y. Halpern Riccardo Pucella	2
+	Degrees of parallelism in computations	1976	Vladimir Sazonov	2
+ PDF Chat	On the relationship between strand spaces and multi-agent systems	2003	Joseph Y. Halpern Riccardo Pucella	2
+	Integral representation without additivity	1986	David Schmeidler	2
+	Sequentiality in an Extensional Framework	1994	A. Bucciarelli Thomas Ehrhard	2
+	Truth and Probability	2016	Frank Plumpton Ramsey	2
+	Algebras with a Scheme of Operators	1963	Philip J. Higgins	2
+ PDF Chat	On a theory of probabilistic deductive databases	2001	Laks V. S. Lakshmanan Fereidoon Sadri	2
+	A MATHEMATICIAN LOOKS AT LATIN CONJUGATION	1979	J. Lambek	2
+ PDF Chat	Multiply Subadditive Functions	1952	G. G. Lorentz	2
+ PDF Chat	Upper and Lower Probabilities Induced by a Multivalued Mapping	1967	A. P. Dempster	2
+ PDF Chat	Infinitely subadditive capacities as upper envelopes of measures	1985	Bernd Anger J�rn Lembcke	2
+ PDF Chat	Great expectations. Part II: generalized expected utility as a universal decision rule	2004	Francis C. Chu Joseph Y. Halpern	2
+	A Logic for Reasoning about Evidence	2004	Joseph Y. Halpern Riccardo Pucella	2
+	Validating a Web service security abstraction by typing	2002	Andrew D. Gordon Riccardo Pucella	2
+	Theorie der einfachen Ungleichungen.	1902	Julius Farkas	1
+	Foundations of Mathematics and other Logical Essays	2013	Frank Plumpton Ramsey	1
+ PDF Chat	Wiley Series in Probability and Mathematical Statistics	1981	Reuven Y. Rubinstein	1
+	Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel	2004	Riccardo Pucella Erik Meijer Dino P. Oliva	1
+ PDF Chat	The Prospects for Mathematical Logic in the Twenty-First Century	2001	Samuel R. Buss Alexander S. Kechris Anand Pillay Richard A. Shore	1
+ PDF Chat	A logic for SDSI's linked local name spaces	2001	Joseph Y. Halpern Ron van der Meyden	1
+	Probability and the Weighing of Evidence.	1951	Leonard J. Savage I. J. Good	1
+	On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination	1992	James Renegar	1
+ PDF Chat	Knowledge and common knowledge in a distributed environment	1990	Joseph Y. Halpern Yoram Moses	1
+ PDF Chat	A Spatial-Epistemic Logic for Reasoning about Security Protocols	2011	Bernardo Toninho Luı́s Caires	1
+	Practical Datatype Specializations with Phantom Types and Recursion Schemes	2006	Matthew Fluet Riccardo Pucella	1
+ PDF Chat	Probabilistic algorithmic knowledge	2003	Joseph Y. Halpern Riccardo Pucella	1
+	Principles of mathematical analysis	1964	Walter Rudin	1
+ PDF Chat	How to construct random functions	1986	Oded Goldreich Shafi Goldwasser Silvio Micali	1
+ PDF Chat	Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness	2007	Parosh Aziz Abdulla Pritha Mahata Richard Mayr	1
+ PDF Chat	Natural language interfaces to databases – an introduction	1995	Ion Androutsopoulos Graéme Ritchie Peter Thanisch	1
+	Knowledge and Security	2013	Riccardo Pucella	1