| 2007 |
|---|
| 74 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Dealing with logical omniscience.
TARK 2007: 169-176 |
| 73 | EE | Sabina Petride,
Riccardo Pucella:
Perfect cryptography, S5 knowledge, and algorithmic knowledge.
TARK 2007: 239-247 |
| 72 | EE | Riccardo Pucella:
Logic Column 18: Alternative Logics: A Book Review
CoRR abs/0705.1367: (2007) |
| 71 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Dealing With Logical Omniscience: Expressiveness and Pragmatics
CoRR abs/cs/0702011: (2007) |
| 70 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Characterizing and reasoning about probabilistic and non-probabilistic expectation.
J. ACM 54(3): 15 (2007) |
| 69 | EE | Riccardo Pucella:
Alternative Logics: a book review: SIGACT news logic column 18.
SIGACT News 38(2): 75-86 (2007) |
| 68 | EE | Riccardo Pucella:
Introduction.
SIGACT News 38(3): 76 (2007) |
| 67 | EE | Riccardo Pucella:
Introduction.
SIGACT News 38(4): 64 (2007) |
| 2006 |
|---|
| 66 | EE | Riccardo Pucella,
Fred B. Schneider:
Independence From Obfuscation: A Semantic Framework for Dive.
CSFW 2006: 230-241 |
| 65 | EE | Riccardo Pucella,
Vicky Weissman:
A Formal Foundation for ODRL
CoRR abs/cs/0601085: (2006) |
| 64 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis
CoRR abs/cs/0607146: (2006) |
| 63 | EE | Matthew Fluet,
Riccardo Pucella:
Practical Datatype Specializations with Phantom Types and Recursion Schemes.
Electr. Notes Theor. Comput. Sci. 148(2): 211-237 (2006) |
| 62 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Evidence.
J. Artif. Intell. Res. (JAIR) 26: 1-34 (2006) |
| 61 | EE | Matthew Fluet,
Riccardo Pucella:
Phantom types and subtyping.
J. Funct. Program. 16(6): 751-791 (2006) |
| 60 | EE | Riccardo Pucella:
Deductive Algorithmic Knowledge.
J. Log. Comput. 16(2): 287-309 (2006) |
| 59 | EE | Riccardo Pucella:
SIGACT news logic column 15.
SIGACT News 37(2): 57 (2006) |
| 2005 |
|---|
| 58 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Evidence with Uncertain Likelihoods.
UAI 2005: 243-250 |
| 57 | EE | Riccardo Pucella:
On Partially Additive Kleene Algebras
CoRR abs/cs/0501032: (2005) |
| 56 | EE | Riccardo Pucella:
Logic Column 11: The Finite and the Infinite in Temporal Logic
CoRR abs/cs/0502031: (2005) |
| 55 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Probabilistic Algorithmic Knowledge
CoRR abs/cs/0503018: (2005) |
| 54 | EE | Riccardo Pucella:
Logic Column 12: Logical Verification and Equational Verification
CoRR abs/cs/0505024: (2005) |
| 53 | EE | Matthew Fluet,
Riccardo Pucella:
Practical Datatype Specializations with Phantom Types and Recursion Schemes
CoRR abs/cs/0510074: (2005) |
| 52 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Evidence with Uncertain Likelihoods
CoRR abs/cs/0510079: (2005) |
| 51 | EE | Andrew D. Gordon,
Riccardo Pucella:
Validating a web service security abstraction by typing.
Formal Asp. Comput. 17(3): 277-318 (2005) |
| 50 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Probabilistic Algorithmic Knowledge.
Logical Methods in Computer Science 1(3): (2005) |
| 49 | EE | Riccardo Pucella:
The finite and the infinite in temporal logic.
SIGACT News 36(1): 86-99 (2005) |
| 48 | EE | Riccardo Pucella:
Logical verification and equational verification.
SIGACT News 36(2): 77-88 (2005) |
| 47 | EE | Riccardo Pucella:
Review of "Logic for Computer Scientists, by Uwe Schöning", Birkhauser, 1994.
SIGACT News 36(3): 17-19 (2005) |
| 46 | EE | Riccardo Pucella:
SIGACT news logic column 13.
SIGACT News 36(3): 51-66 (2005) |
| 45 | EE | Riccardo Pucella:
SIGACT news logic column 14.
SIGACT News 36(4): 47-69 (2005) |
| 2004 |
|---|
| 44 | EE | Riccardo Pucella:
Deductive Algorithmic Knowledge.
AMAI 2004 |
| 43 | EE | Riccardo Pucella,
Vicky Weissman:
Reasoning about Dynamic Policies.
FoSSaCS 2004: 453-467 |
| 42 | EE | Karthikeyan Bhargavan,
Cédric Fournet,
Andrew D. Gordon,
Riccardo Pucella:
TulaFale: A Security Tool for Web Services
CoRR abs/cs/0412044: (2004) |
| 41 | EE | Andrew D. Gordon,
Riccardo Pucella:
Validating a Web Service Security Abstraction by Typing
CoRR abs/cs/0412045: (2004) |
| 40 | EE | Stephen Chong,
Riccardo Pucella:
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
CoRR abs/cs/0412065: (2004) |
| 39 | EE | Riccardo Pucella:
Deductive Algorithmic Knowledge
CoRR cs.AI/0405038: (2004) |
| 38 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Evidence
CoRR cs.AI/0405098: (2004) |
| 37 | EE | Riccardo Pucella,
Vicky Weissman:
A Logic for Reasoning about Digital Rights
CoRR cs.CR/0405066: (2004) |
| 36 | EE | Riccardo Pucella:
An Analysis of Lambek's Production Machines
CoRR cs.LO/0405081: (2004) |
| 35 | EE | Hubie Chen,
Riccardo Pucella:
A Coalgebraic Approach to Kleene Algebra with Tests
CoRR cs.LO/0405097: (2004) |
| 34 | EE | Riccardo Pucella:
Logic Column 10: Specifying Confidentiality
CoRR cs.LO/0411032: (2004) |
| 33 | EE | Matthew Fluet,
Riccardo Pucella:
Phantom Types and Subtyping
CoRR cs.PL/0403034: (2004) |
| 32 | EE | Riccardo Pucella:
Higher-Order Concurrent Win32 Programming
CoRR cs.PL/0405079: (2004) |
| 31 | EE | Riccardo Pucella:
Reactive Programming in Standard ML
CoRR cs.PL/0405080: (2004) |
| 30 | EE | Riccardo Pucella,
Erik Meijer,
Dino Oliva:
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
CoRR cs.PL/0405082: (2004) |
| 29 | EE | Riccardo Pucella:
The Design of a COM-Oriented Module System
CoRR cs.PL/0405083: (2004) |
| 28 | EE | Kathleen Fisher,
Riccardo Pucella,
John H. Reppy:
A Framework for Interoperability
CoRR cs.PL/0405084: (2004) |
| 27 | EE | Riccardo Pucella,
Prakash Panangaden:
On the Expressive Power of First-Order Boolean Functions in PCF
CoRR cs.PL/0405085: (2004) |
| 26 | EE | Riccardo Pucella:
On Equivalences for a Class of Timed Regular Expressions.
Electr. Notes Theor. Comput. Sci. 106: 315-333 (2004) |
| 25 | EE | Riccardo Pucella:
Specifying confidentiality.
SIGACT News 35(4): 72-83 (2004) |
| 24 | EE | Hubie Chen,
Riccardo Pucella:
A coalgebraic approach to Kleene algebra with tests.
Theor. Comput. Sci. 327(1-2): 23-44 (2004) |
| 2003 |
|---|
| 23 | EE | Karthikeyan Bhargavan,
Cédric Fournet,
Andrew D. Gordon,
Riccardo Pucella:
TulaFale: A Security Tool for Web Services.
FMCO 2003: 197-222 |
| 22 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Probabilistic algorithmic knowledge.
TARK 2003: 118-130 |
| 21 | | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Evidence.
UAI 2003: 297-304 |
| 20 | EE | 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) |
| 19 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A logic for reasoning about upper probabilities
CoRR cs.AI/0307069: (2003) |
| 18 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Reasoning About Expectation
CoRR cs.AI/0312037: (2003) |
| 17 | EE | Joseph Y. Halpern,
Riccardo Pucella:
On the Relationship between Strand Spaces and Multi-Agent Systems
CoRR cs.CR/0306107: (2003) |
| 16 | EE | Hubie Chen,
Riccardo Pucella:
A Coalgebraic Approach to Kleene Algebra with Tests.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 2002 |
|---|
| 15 | EE | Riccardo Pucella,
Vicky Weissman:
A Logic for Reasoning about Digital Rights.
CSFW 2002: 282-294 |
| 14 | EE | Joseph Y. Halpern,
Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis.
FASec 2002: 115-132 |
| 13 | | Matthew Fluet,
Riccardo Pucella:
Phantom Types and Subtyping.
IFIP TCS 2002: 448-460 |
| 12 | EE | Riccardo Pucella:
Towards a formalization for COM part i: the primitive calculus.
OOPSLA 2002: 331-342 |
| 11 | | Joseph Y. Halpern,
Riccardo Pucella:
Reasoning about Expectation.
UAI 2002: 207-215 |
| 10 | EE | Andrew D. Gordon,
Riccardo Pucella:
Validating a Web service security abstraction by typing.
XML Security 2002: 18-29 |
| 9 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities.
J. Artif. Intell. Res. (JAIR) 17: 57-81 (2002) |
| 2001 |
|---|
| 8 | EE | 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 |
| 7 | EE | Joseph Y. Halpern,
Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities.
UAI 2001: 203-210 |
| 6 | EE | Kathleen Fisher,
Riccardo Pucella,
John H. Reppy:
A framework for interoperability.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
| 5 | EE | Riccardo Pucella,
Prakash Panangaden:
On the expressive power of first-order boolean functions in PCF.
Theor. Comput. Sci. 266(1-2): 543-567 (2001) |
| 2000 |
|---|
| 4 | | Riccardo Pucella:
The Design of a COM-Oriented Module System.
JMLC 2000: 104-118 |
| 3 | EE | Riccardo Pucella:
An Approach to the Implementation of Overlapping Rules in Standard ML
CoRR cs.PL/0010009: (2000) |
| 1998 |
|---|
| 2 | EE | Riccardo Pucella:
Reactive Programming in Standard ML.
ICCL 1998: 48- |
| 1997 |
|---|
| 1 | | Riccardo Pucella:
An Analysis of Lambek's Production Machines.
ITA 31(5): 483-497 (1997) |
