pith. sign in

Riccardo Pucella

Identifiers

  • name variant Riccardo Pucella 0.60 · backfill

Papers (34)

  1. A Logic for Reasoning about Upper Probabilities cs.AI · 2014 · author #2
  2. Evidence with Uncertain Likelihoods cs.AI · 2014 · author #2
  3. A Logic for Reasoning about Evidence cs.AI · 2014 · author #2
  4. Reasoning about Expectation cs.AI · 2014 · author #2
  5. Knowledge and Security cs.CR · 2013 · author #1
  6. Logic Column 18: Alternative Logics: A Book Review cs.LO · 2007 · author #1
  7. Dealing With Logical Omniscience: Expressiveness and Pragmatics cs.LO · 2007 · author #2
  8. A Formal Foundation for ODRL cs.LO · 2006 · author #1
  9. Evidence with Uncertain Likelihoods cs.AI · 2005 · author #2
  10. Practical Datatype Specializations with Phantom Types and Recursion Schemes cs.PL · 2005 · author #2
  11. Logic Column 12: Logical Verification and Equational Verification cs.LO · 2005 · author #1
  12. Probabilistic Algorithmic Knowledge cs.AI · 2005 · author #2
  13. Logic Column 11: The Finite and the Infinite in Temporal Logic cs.LO · 2005 · author #1
  14. On Partially Additive Kleene Algebras cs.LO · 2005 · author #1
  15. A Framework for Creating Natural Language User Interfaces for Action-Based Applications cs.CL · 2004 · author #2
  16. Validating a Web Service Security Abstraction by Typing cs.CR · 2004 · author #2
  17. TulaFale: A Security Tool for Web Services cs.CR · 2004 · author #4
  18. Logic Column 10: Specifying Confidentiality cs.LO · 2004 · author #1
  19. A Logic for Reasoning about Evidence cs.AI · 2004 · author #2
  20. A Coalgebraic Approach to Kleene Algebra with Tests cs.LO · 2004 · author #2
  21. On the Expressive Power of First-Order Boolean Functions in PCF cs.PL · 2004 · author #1
  22. A Framework for Interoperability cs.PL · 2004 · author #2
  23. The Design of a COM-Oriented Module System cs.PL · 2004 · author #1
  24. Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel cs.PL · 2004 · author #1
  25. An Analysis of Lambek's Production Machines cs.LO · 2004 · author #1
  26. Reactive Programming in Standard ML cs.PL · 2004 · author #1
  27. Higher-Order Concurrent Win32 Programming cs.PL · 2004 · author #1
  28. A Logic for Reasoning about Digital Rights cs.CR · 2004 · author #1
  29. Deductive Algorithmic Knowledge cs.AI · 2004 · author #1
  30. Phantom Types and Subtyping cs.PL · 2004 · author #2
  31. Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation cs.AI · 2003 · author #2
  32. A logic for reasoning about upper probabilities cs.AI · 2003 · author #2
  33. On the Relationship between Strand Spaces and Multi-Agent Systems cs.CR · 2003 · author #2
  34. An Approach to the Implementation of Overlapping Rules in Standard ML cs.PL · 2000 · author #1

Mentions

  • 0705.1367 #1 · backfill · confidence 0.70 Riccardo Pucella

Frequent Coauthors