dblp.uni-trier.dewww.uni-trier.de

Riccardo Pucella Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Karthikeyan Bhargavan [23] [42]
2Hubie Chen [16] [24] [35]
3Stephen Chong [40]
4Christos Dimoulas [75]
5Matthias Felleisen [75]
6Kathleen Fisher [6] [28]
7Matthew Fluet [13] [33] [53] [61] [63]
8Cédric Fournet [23] [42]
9Andrew D. Gordon (Andy Gordon) [10] [23] [41] [42] [51]
10Joseph Y. Halpern [7] [8] [9] [11] [14] [17] [18] [19] [20] [21] [22] [38] [50] [52] [55] [58] [62] [64] [70] [71] [74]
11Erik Meijer [30]
12Dino Oliva [30]
13Prakash Panangaden [5] [27]
14Sabina Petride [73]
15John H. Reppy [6] [28]
16Fred B. Schneider [66]
17Vicky Weissman [15] [37] [43] [65]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)