default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRiccardo Pucella
Person information
- affiliation: Northeastern University, Boston, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[c31]Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella:
An Epistemic Foundation for Authentication Logics (Extended Abstract). TARK 2017: 306-323- 2014
- [i35]Joseph Y. Halpern, Riccardo Pucella:
Reasoning about Expectation. CoRR abs/1407.7184 (2014) - [i34]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. CoRR abs/1407.7185 (2014) - [i33]Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. CoRR abs/1407.7189 (2014) - [i32]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. CoRR abs/1408.1485 (2014) - 2013
- [i31]Riccardo Pucella:
Knowledge and Security. CoRR abs/1305.0876 (2013) - 2011
- [j32]Joseph Y. Halpern, Riccardo Pucella:
Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. 175(1): 220-235 (2011) - [j31]Johannes Borgström, Andrew D. Gordon, Riccardo Pucella:
Roles, stacks, histories: A triple for Hoare. J. Funct. Program. 21(2): 159-207 (2011) - [c30]Jesse A. Tov, Riccardo Pucella:
A theory of substructural types and control. OOPSLA 2011: 625-642 - [c29]Jesse A. Tov, Riccardo Pucella:
Practical affine types. POPL 2011: 447-458 - 2010
- [j30]Riccardo Pucella, Fred B. Schneider:
Independence from obfuscation: A semantic framework for diversity. J. Comput. Secur. 18(5): 701-749 (2010) - [j29]Riccardo Pucella:
SIGACT news logic column 21. SIGACT News 41(1): 74 (2010) - [c28]Jesse A. Tov, Riccardo Pucella:
Stateful Contracts for Affine Types. ESOP 2010: 550-569 - [p1]Johannes Borgström, Andrew D. Gordon, Riccardo Pucella:
Roles, Stacks, Histories: A Triple for Hoare. Reflections on the Work of C. A. R. Hoare 2010: 71-99
2000 – 2009
- 2009
- [j28]Joseph Y. Halpern, Riccardo Pucella:
Evidence with uncertain likelihoods. Synth. 171(1): 111-133 (2009) - [c27]Christos Dimoulas, Riccardo Pucella, Matthias Felleisen:
Future contracts. PPDP 2009: 195-206 - [c26]Daniel Brown, Riccardo Pucella:
Categories of Timed Stochastic Relations. MFPS 2009: 193-217 - 2008
- [c25]Riccardo Pucella, Jesse A. Tov:
Haskell session types with (almost) no class. Haskell 2008: 25-36 - [c24]Riccardo Pucella, Mehrnoosh Sadrzadeh
:
A Runs-and-Systems Semantics for Logics of Announcements. LOFT 2008: 112-134 - 2007
- [j27]Joseph Y. Halpern, Riccardo Pucella:
Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM 54(3): 15 (2007) - [j26]Riccardo Pucella:
Alternative Logics: a book review: SIGACT news logic column 18. SIGACT News 38(2): 75-86 (2007) - [j25]Riccardo Pucella:
Introduction. SIGACT News 38(3): 76 (2007) - [j24]Riccardo Pucella:
Introduction. SIGACT News 38(4): 64 (2007) - [c23]Joseph Y. Halpern, Riccardo Pucella:
Dealing with logical omniscience. TARK 2007: 169-176 - [c22]Sabina Petride, Riccardo Pucella:
Perfect cryptography, S5 knowledge, and algorithmic knowledge. TARK 2007: 239-247 - [i30]Riccardo Pucella:
Logic Column 18: Alternative Logics: A Book Review. CoRR abs/0705.1367 (2007) - [i29]Joseph Y. Halpern, Riccardo Pucella:
Dealing With Logical Omniscience: Expressiveness and Pragmatics. CoRR abs/cs/0702011 (2007) - 2006
- [j23]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. J. Artif. Intell. Res. 26: 1-34 (2006) - [j22]Matthew Fluet, Riccardo Pucella:
Phantom types and subtyping. J. Funct. Program. 16(6): 751-791 (2006) - [j21]Riccardo Pucella:
Deductive Algorithmic Knowledge. J. Log. Comput. 16(2): 287-309 (2006) - [j20]Riccardo Pucella:
SIGACT news logic column 15. SIGACT News 37(2): 57 (2006) - [c21]Riccardo Pucella, Fred B. Schneider:
Independence From Obfuscation: A Semantic Framework for Dive. CSFW 2006: 230-241 - [i28]Riccardo Pucella, Vicky Weissman:
A Formal Foundation for ODRL. CoRR abs/cs/0601085 (2006) - [i27]Joseph Y. Halpern, Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis. CoRR abs/cs/0607146 (2006) - 2005
- [j19]Andrew D. Gordon, Riccardo Pucella:
Validating a web service security abstraction by typing. Formal Aspects Comput. 17(3): 277-318 (2005) - [j18]Joseph Y. Halpern, Riccardo Pucella:
Probabilistic Algorithmic Knowledge. Log. Methods Comput. Sci. 1(3) (2005) - [j17]Riccardo Pucella:
The finite and the infinite in temporal logic. SIGACT News 36(1): 86-99 (2005) - [j16]Riccardo Pucella:
Logical verification and equational verification. SIGACT News 36(2): 77-88 (2005) - [j15]Riccardo Pucella:
Review of "Logic for Computer Scientists, by Uwe Schöning", Birkhauser, 1994. SIGACT News 36(3): 17-19 (2005) - [j14]Riccardo Pucella:
SIGACT news logic column 13. SIGACT News 36(3): 51-66 (2005) - [j13]Riccardo Pucella:
SIGACT news logic column 14. SIGACT News 36(4): 47-69 (2005) - [c20]Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. UAI 2005: 243-250 - [c19]Matthew Fluet, Riccardo Pucella:
Practical Datatype Specializations with Phantom Types and Recursion Schemes. ML 2005: 211-237 - [i26]Riccardo Pucella:
On Partially Additive Kleene Algebras. CoRR abs/cs/0501032 (2005) - [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
- [b1]Riccardo Pucella:
Reasoning about Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis. Cornell University, USA, 2004 - [j12]Riccardo Pucella:
Specifying confidentiality. SIGACT News 35(4): 72-83 (2004) - [j11]Hubie Chen, Riccardo Pucella:
A coalgebraic approach to Kleene algebra with tests. Theor. Comput. Sci. 327(1-2): 23-44 (2004) - [c18]Riccardo Pucella, Vicky Weissman:
Reasoning about Dynamic Policies. FoSSaCS 2004: 453-467 - [c17]Riccardo Pucella:
Deductive Algorithmic Knowledge. AI&M 2004 - [c16]Riccardo Pucella:
On Equivalences for a Class of Timed Regular Expressions. CMCS 2004: 315-333 - [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]Riccardo Pucella:
Deductive Algorithmic Knowledge. CoRR cs.AI/0405038 (2004) - [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]Riccardo Pucella:
An Analysis of Lambek's Production Machines. CoRR cs.LO/0405081 (2004) - [i13]Hubie Chen, Riccardo Pucella:
A Coalgebraic Approach to Kleene Algebra with Tests. CoRR cs.LO/0405097 (2004) - [i12]Riccardo Pucella:
Logic Column 10: Specifying Confidentiality. CoRR cs.LO/0411032 (2004) - [i11]Matthew Fluet, Riccardo Pucella:
Phantom Types and Subtyping. CoRR cs.PL/0403034 (2004) - [i10]Riccardo Pucella:
Higher-Order Concurrent Win32 Programming. CoRR cs.PL/0405079 (2004) - [i9]Riccardo Pucella:
Reactive Programming in Standard ML. CoRR cs.PL/0405080 (2004) - [i8]Riccardo Pucella, Erik Meijer, Dino Oliva:
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel. CoRR cs.PL/0405082 (2004) - [i7]Riccardo Pucella:
The Design of a COM-Oriented Module System. CoRR cs.PL/0405083 (2004) - [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
- [j10]Riccardo Pucella, Stephen Chong:
Review of type-logical semantics. SIGACT News 34(1): 6-17 (2003) - [j9]Riccardo Pucella:
Review of the pi-calculus: a theory of mobile processes. SIGACT News 34(1): 17-24 (2003) - [j8]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) - [j7]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) - [c15]Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella:
TulaFale: A Security Tool for Web Services. FMCO 2003: 197-222 - [c14]Joseph Y. Halpern, Riccardo Pucella:
Probabilistic algorithmic knowledge. TARK 2003: 118-130 - [c13]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. UAI 2003: 297-304 - [c12]Hubie Chen, Riccardo Pucella:
A Coalgebraic Approach to Kleene Algebra with Tests. CMCS 2003: 94-109 - [i4]Joseph Y. Halpern, Riccardo Pucella:
A logic for reasoning about upper probabilities. CoRR cs.AI/0307069 (2003) - [i3]Joseph Y. Halpern, Riccardo Pucella:
Reasoning About Expectation. CoRR cs.AI/0312037 (2003) - [i2]Joseph Y. Halpern, Riccardo Pucella:
On the Relationship between Strand Spaces and Multi-Agent Systems. CoRR cs.CR/0306107 (2003) - 2002
- [j6]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. 17: 57-81 (2002) - [c11]Riccardo Pucella, Vicky Weissman:
A Logic for Reasoning about Digital Rights. CSFW 2002: 282-294 - [c10]Joseph Y. Halpern, Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis. FASec 2002: 115-132 - [c9]Matthew Fluet, Riccardo Pucella:
Phantom Types and Subtyping. IFIP TCS 2002: 448-460 - [c8]Riccardo Pucella:
Towards a formalization for COM part i: the primitive calculus. OOPSLA 2002: 331-342 - [c7]Joseph Y. Halpern, Riccardo Pucella:
Reasoning about Expectation. UAI 2002: 207-215 - [c6]Andrew D. Gordon, Riccardo Pucella:
Validating a Web service security abstraction by typing. XML Security 2002: 18-29 - 2001
- [j5]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) - [j4]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) - [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) - [c5]Joseph Y. Halpern, Riccardo Pucella:
On the relationship between strand spaces and multi-agent systems. CCS 2001: 106-115 - [c4]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. UAI 2001: 203-210 - [c3]Kathleen Fisher, Riccardo Pucella, John H. Reppy:
A framework for interoperability. BABEL 2001: 3-19 - 2000
- [j2]Riccardo Pucella:
Review of Communicating and mobile systems: the pi-calculus by Robin Silner. SIGACT News 31(4): 24-26 (2000) - [c2]Riccardo Pucella:
The Design of a COM-Oriented Module System. JMLC 2000: 104-118 - [i1]Riccardo Pucella:
An Approach to the Implementation of Overlapping Rules in Standard ML. CoRR cs.PL/0010009 (2000)
1990 – 1999
- 1998
- [c1]Riccardo Pucella:
Reactive Programming in Standard ML. ICCL 1998: 48-57 - 1997
- [j1]Riccardo Pucella:
An Analysis of Lambek's Production Machines. RAIRO Theor. Informatics Appl. 31(5): 483-497 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
