Riccardo Pucella - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 57 from 57

2011

Roles, stacks, histories: A triple for HoareJohannes Borgström, Andrew D. Gordon, Riccardo Pucella. JFP, 21(2):159-207, 2011. [doi]

Practical affine typesJesse A. Tov, Riccardo Pucella. POPL 2011: 447-458 [doi]

A theory of substructural types and controlJesse A. Tov, Riccardo Pucella. OOPSLA 2011: 625-642 [doi]

2010

Roles, Stacks, Histories: A Triple for HoareJohannes Borgström, Andrew D. Gordon, Riccardo Pucella. In A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood, editors, Reflections on the Work of C. A. R. Hoare. pages 71-99, Springer, 2010. [doi]

Independence from obfuscation: A semantic framework for diversityRiccardo Pucella, Fred B. Schneider. jcs, 18(5):701-749, 2010. [doi]

Stateful Contracts for Affine TypesJesse A. Tov, Riccardo Pucella. ESOP 2010: 550-569 [doi]

2009

Categories of Timed Stochastic RelationsDaniel Brown, Riccardo Pucella. ENTCS, 249:193-217, 2009. [doi]

Future contractsChristos Dimoulas, Riccardo Pucella, Matthias Felleisen. ppdp 2009: 195-206 [doi]

Evidence with uncertain likelihoodsJoseph Y. Halpern, Riccardo Pucella. synthese, 171(1):111-133, 2009. [doi]

2008

Haskell session types with (almost) no classRiccardo Pucella, Jesse A. Tov. haskell 2008: 25-36 [doi]

A Runs-and-Systems Semantics for Logics of AnnouncementsRiccardo Pucella, Mehrnoosh Sadrzadeh. loft 2010: 112-134 [doi]

2007

Dealing with logical omniscienceJoseph Y. Halpern, Riccardo Pucella. tark 2007: 169-176 [doi]

Perfect cryptography, S5 knowledge, and algorithmic knowledgeSabina Petride, Riccardo Pucella. tark 2007: 239-247 [doi]

IntroductionRiccardo Pucella. sigact, 38(3):76, 2007. [doi]

Alternative Logics: a book review: SIGACT news logic column 18Riccardo Pucella. sigact, 38(2):75-86, 2007. [doi]

IntroductionRiccardo Pucella. sigact, 38(4):64, 2007. [doi]

2006

Phantom types and subtypingMatthew Fluet, Riccardo Pucella. JFP, 16(6):751-791, 2006. [doi]

Practical Datatype Specializations with Phantom Types and Recursion SchemesMatthew Fluet, Riccardo Pucella. ENTCS, 148(2):211-237, 2006. [doi]

A Logic for Reasoning about EvidenceJoseph Y. Halpern, Riccardo Pucella. jair, 26:1-34, 2006. [doi]

Independence From Obfuscation: A Semantic Framework for DiveRiccardo Pucella, Fred B. Schneider. csfw 2006: 230-241 [doi]

Deductive Algorithmic KnowledgeRiccardo Pucella. logcom, 16(2):287-309, 2006. [doi]

SIGACT news logic column 15Riccardo Pucella. sigact, 37(2):57, 2006. [doi]

2005

Validating a web service security abstraction by typingAndrew D. Gordon, Riccardo Pucella. fac, 17(3):277-318, 2005. [doi]

Evidence with Uncertain LikelihoodsJoseph Y. Halpern, Riccardo Pucella. uai 2005: 243-250 [doi]

Probabilistic Algorithmic KnowledgeJoseph Y. Halpern, Riccardo Pucella. lmcs, 1(3), 2005. [doi]

SIGACT news logic column 13Riccardo Pucella. sigact, 36(3):51-66, 2005. [doi]

Review of Logic for Computer Scientists, by Uwe Schöning , Birkhauser, 1994Riccardo Pucella. sigact, 36(3):17-19, 2005. [doi]

The finite and the infinite in temporal logicRiccardo Pucella. sigact, 36(1):86-99, 2005. [doi]

Logical verification and equational verificationRiccardo Pucella. sigact, 36(2):77-88, 2005. [doi]

SIGACT news logic column 14Riccardo Pucella. sigact, 36(4):47-69, 2005. [doi]

2004

A coalgebraic approach to Kleene algebra with testsHubie Chen, Riccardo Pucella. TCS, 327(1-2):23-44, 2004. [doi]

A Framework for InteroperabilityKathleen Fisher, Riccardo Pucella, John H. Reppy. corr, cs.PL/0405084, 2004. [doi]

Specifying confidentialityRiccardo Pucella. sigact, 35(4):72-83, 2004. [doi]

Reasoning about Dynamic PoliciesRiccardo Pucella, Vicky Weissman. fossacs 2004: 453-467 [doi]

Deductive Algorithmic KnowledgeRiccardo Pucella. amai 2004: [doi]

Deductive Algorithmic KnowledgeRiccardo Pucella. isaim 2004: [doi]

2003

2002

2001

2000

The Design of a COM-Oriented Module SystemRiccardo Pucella. jmlc 2000: 104-118

1997

An Analysis of Lambek s Production MachinesRiccardo Pucella. ita, 31(5):483-497, 1997.

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Riccardo Pucella'

Viewing Publication 1 - 57 from 57

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1997

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Riccardo Pucella'

Viewing Publication 1 - 57 from 57

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1997

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1