Riccardo Pucella, Ph.D.
Affiliations: | 2004 | Cornell University, Ithaca, NY, United States |
Area:
Computer ScienceGoogle:
"Riccardo Pucella"Parents
Sign in to add mentor| Joseph Halpern | grad student | 2004 | Cornell | |
| (Reasoning about resource -bounded knowledge: Theory and application to security protocol analysis.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Halpern JY, Pucella R. (2012) Modeling adversaries in a logic for security protocol analysis Logical Methods in Computer Science. 8 |
| Borgström J, Gordon AD, Pucella R. (2011) Roles, stacks, histories: A triple for Hoare Journal of Functional Programming. 21: 159-207 |
| Pucella R. (2010) SIGACT news logic column 21 Sigact News. 41: 74-74 |
| Halpern JY, Pucella R. (2010) Dealing with logical omniscience: Expressiveness and pragmatics Artificial Intelligence. 175: 220-235 |
| Pucella R, Sadrzadeh M. (2010) A runs-and-systems semantics for logics of announcements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6006: 112-134 |
| Brown D, Pucella R. (2009) Categories of Timed Stochastic Relations Electronic Notes in Theoretical Computer Science. 249: 193-217 |
| Petride S, Pucella R. (2007) Perfect cryptography, S5 knowledge, and algorithmic knowledge Proceedings of the 11th Conference On Theoretical Aspects of Rationality and Knowledge, Tark 2007. 239-247 |
| Halpern JY, Pucella R. (2007) Dealing with logical omniscience Proceedings of the 11th Conference On Theoretical Aspects of Rationality and Knowledge, Tark 2007. 169-176 |
| Pucella R. (2007) Alternative Logics: a book review: SIGACT news logic column 18 Sigact News. 38: 75-86 |
| Halpern JY, Pucella R. (2007) Characterizing and reasoning about probabilistic and non-probabilistic expectation Journal of the Acm. 54 |