- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j37 |      | Joseph Y. Halpern, Riccardo Pucella: Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. 175(1): 220-235 (2011) |
| j36 | | Johannes Borgström, Andrew D. Gordon, Riccardo Pucella: Roles, stacks, histories: A triple for Hoare. J. Funct. Program. 21(2): 159-207 (2011) |
| c26 | | |
| c25 | | |
| 2010 | ||
| j35 | | Riccardo Pucella, Fred B. Schneider: Independence from obfuscation: A semantic framework for diversity. Journal of Computer Security 18(5): 701-749 (2010) |
| j34 | | |
| c24 | | |
| 2009 | ||
| j33 | | Daniel Brown, Riccardo Pucella: Categories of Timed Stochastic Relations. Electr. Notes Theor. Comput. Sci. 249: 193-217 (2009) |
| j32 | | Joseph Y. Halpern, Riccardo Pucella: Evidence with uncertain likelihoods. Synthese 171(1): 111-133 (2009) |
| c23 | | |
| 2008 | ||
| c22 | | |
| c21 | | Riccardo Pucella, Mehrnoosh Sadrzadeh: A Runs-and-Systems Semantics for Logics of Announcements. LOFT 2008: 112-134 |
| 2007 | ||
| j31 | | Joseph Y. Halpern, Riccardo Pucella: Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM 54(3): 15 (2007) |
| j30 | | Riccardo Pucella: Alternative Logics: a book review: SIGACT news logic column 18. SIGACT News 38(2): 75-86 (2007) |
| j29 | | |
| j28 | | |
| c20 | | |
| c19 | | Sabina Petride, Riccardo Pucella: Perfect cryptography, S5 knowledge, and algorithmic knowledge. TARK 2007: 239-247 |
| i30 | | |
| i29 | | Joseph Y. Halpern, Riccardo Pucella: Dealing With Logical Omniscience: Expressiveness and Pragmatics. CoRR abs/cs/0702011 (2007) |
| 2006 | ||
| j27 | | Matthew Fluet, Riccardo Pucella: Practical Datatype Specializations with Phantom Types and Recursion Schemes. Electr. Notes Theor. Comput. Sci. 148(2): 211-237 (2006) |
| j26 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. J. Artif. Intell. Res. (JAIR) 26: 1-34 (2006) |
| j25 | | Matthew Fluet, Riccardo Pucella: Phantom types and subtyping. J. Funct. Program. 16(6): 751-791 (2006) |
| j24 | | |
| j23 | | |
| c18 | | Riccardo Pucella, Fred B. Schneider: Independence From Obfuscation: A Semantic Framework for Dive. CSFW 2006: 230-241 |
| i28 | | |
| i27 | | Joseph Y. Halpern, Riccardo Pucella: Modeling Adversaries in a Logic for Security Protocol Analysis. CoRR abs/cs/0607146 (2006) |
| 2005 | ||
| j22 | | Andrew D. Gordon, Riccardo Pucella: Validating a web service security abstraction by typing. Formal Asp. Comput. 17(3): 277-318 (2005) |
| j21 | | Joseph Y. Halpern, Riccardo Pucella: Probabilistic Algorithmic Knowledge. Logical Methods in Computer Science 1(3) (2005) |
| j20 | | |
| j19 | | |
| j18 | | Riccardo Pucella: Review of "Logic for Computer Scientists, by Uwe Schöning", Birkhauser, 1994. SIGACT News 36(3): 17-19 (2005) |
| j17 | | |
| j16 | | |
| c17 | | |
| i26 | | |
| i25 | | Riccardo Pucella: Logic Column 11: The Finite and the Infinite in Temporal Logic. CoRR abs/cs/0502031 (2005) |
| i24 | | Joseph Y. Halpern, Riccardo Pucella: Probabilistic Algorithmic Knowledge. CoRR abs/cs/0503018 (2005) |
| i23 | | Riccardo Pucella: Logic Column 12: Logical Verification and Equational Verification. CoRR abs/cs/0505024 (2005) |
| i22 | | Matthew Fluet, Riccardo Pucella: Practical Datatype Specializations with Phantom Types and Recursion Schemes. CoRR abs/cs/0510074 (2005) |
| i21 | | Joseph Y. Halpern, Riccardo Pucella: Evidence with Uncertain Likelihoods. CoRR abs/cs/0510079 (2005) |
| 2004 | ||
| j15 | | Riccardo Pucella: On Equivalences for a Class of Timed Regular Expressions. Electr. Notes Theor. Comput. Sci. 106: 315-333 (2004) |
| j14 | | |
| j13 | | Hubie Chen, Riccardo Pucella: A coalgebraic approach to Kleene algebra with tests. Theor. Comput. Sci. 327(1-2): 23-44 (2004) |
| c16 | | |
| c15 | | |
| c14 | | |
| i20 | | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. CoRR abs/cs/0412044 (2004) |
| i19 | | Andrew D. Gordon, Riccardo Pucella: Validating a Web Service Security Abstraction by Typing. CoRR abs/cs/0412045 (2004) |
| i18 | | Stephen Chong, Riccardo Pucella: A Framework for Creating Natural Language User Interfaces for Action-Based Applications. CoRR abs/cs/0412065 (2004) |
| i17 | | |
| i16 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. CoRR cs.AI/0405098 (2004) |
| i15 | | Riccardo Pucella, Vicky Weissman: A Logic for Reasoning about Digital Rights. CoRR cs.CR/0405066 (2004) |
| i14 | | |
| i13 | | Hubie Chen, Riccardo Pucella: A Coalgebraic Approach to Kleene Algebra with Tests. CoRR cs.LO/0405097 (2004) |
| i12 | | |
| i11 | | |
| i10 | | |
| i9 | | |
| i8 | | Riccardo Pucella, Erik Meijer, Dino Oliva: Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel. CoRR cs.PL/0405082 (2004) |
| i7 | | |
| i6 | | Kathleen Fisher, Riccardo Pucella, John H. Reppy: A Framework for Interoperability. CoRR cs.PL/0405084 (2004) |
| i5 | | Riccardo Pucella, Prakash Panangaden: On the Expressive Power of First-Order Boolean Functions in PCF. CoRR cs.PL/0405085 (2004) |
| 2003 | ||
| j12 | | Hubie Chen, Riccardo Pucella: A Coalgebraic Approach to Kleene Algebra with Tests. Electr. Notes Theor. Comput. Sci. 82(1): 94-109 (2003) |
| j11 | | |
| j10 | | Riccardo Pucella: Review of the pi-calculus: a theory of mobile processes. SIGACT News 34(1): 17-24 (2003) |
| j9 | | Riccardo Pucella: 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 34(4): 26-31 (2003) |
| j8 | | Joseph Y. Halpern, Riccardo Pucella: On the relationship between strand spaces and multi-agent systems. ACM Trans. Inf. Syst. Secur. 6(1): 43-70 (2003) |
| c13 | | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella: TulaFale: A Security Tool for Web Services. FMCO 2003: 197-222 |
| c12 | | |
| c11 | | |
| i4 | | Joseph Y. Halpern, Riccardo Pucella: A logic for reasoning about upper probabilities. CoRR cs.AI/0307069 (2003) |
| i3 | | |
| i2 | | Joseph Y. Halpern, Riccardo Pucella: On the Relationship between Strand Spaces and Multi-Agent Systems. CoRR cs.CR/0306107 (2003) |
| 2002 | ||
| j7 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. (JAIR) 17: 57-81 (2002) |
| c10 | | |
| c9 | | Joseph Y. Halpern, Riccardo Pucella: Modeling Adversaries in a Logic for Security Protocol Analysis. FASec 2002: 115-132 |
| c8 |  | |
| c7 | | Riccardo Pucella: Towards a formalization for COM part i: the primitive calculus. OOPSLA 2002: 331-342 |
| c6 | | |
| c5 | | Andrew D. Gordon, Riccardo Pucella: Validating a Web service security abstraction by typing. XML Security 2002: 18-29 |
| 2001 | ||
| j6 | | Riccardo Pucella: Review of proof, language, and interaction: essays in honour of Robin Milner edited by Plotkin, Stirling and Tofte. SIGACT News 32(1): 12-16 (2001) |
| j5 | | Riccardo Pucella: Review of Dynamic Logic (Foundations of Computing): authors of book: D. Harel, D. Kozen and J. Tiuryn. SIGACT News 32(4): 9-17 (2001) |
| j4 | | Kathleen Fisher, Riccardo Pucella, John H. Reppy: A framework for interoperability. Electr. Notes Theor. Comput. Sci. 59(1): 3-19 (2001) |
| j3 | | Riccardo Pucella, Prakash Panangaden: On the expressive power of first-order boolean functions in PCF. Theor. Comput. Sci. 266(1-2): 543-567 (2001) |
| c4 | | Joseph Y. Halpern, Riccardo Pucella: On the relationship between strand spaces and multi-agent systems. ACM Conference on Computer and Communications Security 2001: 106-115 |
| c3 | | Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Upper Probabilities. UAI 2001: 203-210 |
| 2000 | ||
| j2 | | Riccardo Pucella: Review of Communicating and mobile systems: the pi-calculus by Robin Silner. SIGACT News 31(4): 24-26 (2000) |
| c2 | | |
| i1 | | Riccardo Pucella: An Approach to the Implementation of Overlapping Rules in Standard ML. CoRR cs.PL/0010009 (2000) |
| 1998 | ||
| c1 | | |
| 1997 | ||
| j1 | | |
Colors in the list of coauthors
Last update Thu May 23 16:49:46 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page