The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Riccardo Pucella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Riccardo Pucella
    Deductive Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP]
    AMAI, 2004, pp:- [Conf]
  2. Joseph Y. Halpern, Riccardo Pucella
    On the relationship between strand spaces and multi-agent systems. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2001, pp:106-115 [Conf]
  3. Riccardo Pucella, Vicky Weissman
    A Logic for Reasoning about Digital Rights. [Citation Graph (0, 0)][DBLP]
    CSFW, 2002, pp:282-294 [Conf]
  4. Riccardo Pucella, Fred B. Schneider
    Independence From Obfuscation: A Semantic Framework for Dive. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:230-241 [Conf]
  5. Joseph Y. Halpern, Riccardo Pucella
    Modeling Adversaries in a Logic for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    FASec, 2002, pp:115-132 [Conf]
  6. Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
    TulaFale: A Security Tool for Web Services. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:197-222 [Conf]
  7. Riccardo Pucella, Vicky Weissman
    Reasoning about Dynamic Policies. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:453-467 [Conf]
  8. Riccardo Pucella
    Reactive Programming in Standard ML. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:48-0 [Conf]
  9. Matthew Fluet, Riccardo Pucella
    Phantom Types and Subtyping. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:448-460 [Conf]
  10. Riccardo Pucella
    The Design of a COM-Oriented Module System. [Citation Graph (0, 0)][DBLP]
    JMLC, 2000, pp:104-118 [Conf]
  11. Riccardo Pucella
    Towards a formalization for COM part i: the primitive calculus. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:331-342 [Conf]
  12. Joseph Y. Halpern, Riccardo Pucella
    Probabilistic algorithmic knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 2003, pp:118-130 [Conf]
  13. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Upper Probabilities. [Citation Graph (0, 0)][DBLP]
    UAI, 2001, pp:203-210 [Conf]
  14. Joseph Y. Halpern, Riccardo Pucella
    Reasoning about Expectation. [Citation Graph (0, 0)][DBLP]
    UAI, 2002, pp:207-215 [Conf]
  15. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Evidence. [Citation Graph (0, 0)][DBLP]
    UAI, 2003, pp:297-304 [Conf]
  16. Joseph Y. Halpern, Riccardo Pucella
    A logic for reasoning about upper probabilities [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  17. Joseph Y. Halpern, Riccardo Pucella
    Reasoning About Expectation [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  18. Riccardo Pucella
    Deductive Algorithmic Knowledge [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  19. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Evidence [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  20. Joseph Y. Halpern, Riccardo Pucella
    On the Relationship between Strand Spaces and Multi-Agent Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  21. Riccardo Pucella, Vicky Weissman
    A Logic for Reasoning about Digital Rights [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  22. Riccardo Pucella
    An Analysis of Lambek's Production Machines [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  23. Hubie Chen, Riccardo Pucella
    A Coalgebraic Approach to Kleene Algebra with Tests [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  24. Riccardo Pucella
    Logic Column 10: Specifying Confidentiality [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  25. Riccardo Pucella
    An Approach to the Implementation of Overlapping Rules in Standard ML [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  26. Matthew Fluet, Riccardo Pucella
    Phantom Types and Subtyping [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  27. Riccardo Pucella
    Higher-Order Concurrent Win32 Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  28. Riccardo Pucella
    Reactive Programming in Standard ML [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  29. Riccardo Pucella, Erik Meijer, Dino Oliva
    Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  30. Riccardo Pucella
    The Design of a COM-Oriented Module System [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  31. Kathleen Fisher, Riccardo Pucella, John H. Reppy
    A Framework for Interoperability [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  32. Riccardo Pucella, Prakash Panangaden
    On the Expressive Power of First-Order Boolean Functions in PCF [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  33. Hubie Chen, Riccardo Pucella
    A Coalgebraic Approach to Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  34. Matthew Fluet, Riccardo Pucella
    Practical Datatype Specializations with Phantom Types and Recursion Schemes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:211-237 [Journal]
  35. Riccardo Pucella
    On Equivalences for a Class of Timed Regular Expressions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:315-333 [Journal]
  36. Andrew D. Gordon, Riccardo Pucella
    Validating a web service security abstraction by typing. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:3, pp:277-318 [Journal]
  37. Riccardo Pucella
    An Analysis of Lambek's Production Machines. [Citation Graph (0, 0)][DBLP]
    ITA, 1997, v:31, n:5, pp:483-497 [Journal]
  38. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Upper Probabilities. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2002, v:17, n:, pp:57-81 [Journal]
  39. Matthew Fluet, Riccardo Pucella
    Phantom types and subtyping. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:6, pp:751-791 [Journal]
  40. Joseph Y. Halpern, Riccardo Pucella
    Probabilistic Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:3, pp:- [Journal]
  41. Riccardo Pucella
    Deductive Algorithmic Knowledge. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:2, pp:287-309 [Journal]
  42. Hubie Chen, Riccardo Pucella
    A coalgebraic approach to Kleene algebra with tests. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:327, n:1-2, pp:23-44 [Journal]
  43. Kathleen Fisher, Riccardo Pucella, John H. Reppy
    A framework for interoperability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:1, pp:- [Journal]
  44. Riccardo Pucella, Prakash Panangaden
    On the expressive power of first-order boolean functions in PCF. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:543-567 [Journal]
  45. Joseph Y. Halpern, Riccardo Pucella
    On the relationship between strand spaces and multi-agent systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst. Secur., 2003, v:6, n:1, pp:43-70 [Journal]
  46. Joseph Y. Halpern, Riccardo Pucella
    Evidence with Uncertain Likelihoods. [Citation Graph (0, 0)][DBLP]
    UAI, 2005, pp:243-250 [Conf]
  47. Joseph Y. Halpern, Riccardo Pucella
    Dealing With Logical Omniscience: Expressiveness and Pragmatics [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  48. Riccardo Pucella
    Logic Column 18: Alternative Logics: A Book Review [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  49. Riccardo Pucella, Vicky Weissman
    A Formal Foundation for ODRL [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  50. Riccardo Pucella
    On Partially Additive Kleene Algebras [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  51. Riccardo Pucella
    Logic Column 11: The Finite and the Infinite in Temporal Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  52. Joseph Y. Halpern, Riccardo Pucella
    Probabilistic Algorithmic Knowledge [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  53. Joseph Y. Halpern, Riccardo Pucella
    Modeling Adversaries in a Logic for Security Protocol Analysis [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  54. Stephen Chong, Riccardo Pucella
    A Framework for Creating Natural Language User Interfaces for Action-Based Applications [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  55. Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
    TulaFale: A Security Tool for Web Services [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  56. Andrew D. Gordon, Riccardo Pucella
    Validating a Web Service Security Abstraction by Typing [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  57. Joseph Y. Halpern, Riccardo Pucella
    Characterizing and reasoning about probabilistic and non-probabilistic expectation. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2007, v:54, n:3, pp:15- [Journal]
  58. Joseph Y. Halpern, Riccardo Pucella
    A Logic for Reasoning about Evidence. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:1-34 [Journal]

  59. Stateful Contracts for Affine Types. [Citation Graph (, )][DBLP]


  60. Future contracts. [Citation Graph (, )][DBLP]


  61. Dealing with logical omniscience. [Citation Graph (, )][DBLP]


  62. Perfect cryptography, S5 knowledge, and algorithmic knowledge. [Citation Graph (, )][DBLP]


  63. Haskell session types with (almost) no class. [Citation Graph (, )][DBLP]


  64. Validating a Web service security abstraction by typing. [Citation Graph (, )][DBLP]


  65. A Runs-and-Systems Semantics for Logics of Announcements. [Citation Graph (, )][DBLP]


  66. Logic Column 12: Logical Verification and Equational Verification [Citation Graph (, )][DBLP]


  67. Practical Datatype Specializations with Phantom Types and Recursion Schemes [Citation Graph (, )][DBLP]


  68. Evidence with Uncertain Likelihoods [Citation Graph (, )][DBLP]


  69. Categories of Timed Stochastic Relations. [Citation Graph (, )][DBLP]


Search in 3.096secs, Finished in 3.099secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002