| 2008 | ||
|---|---|---|
| 9 | EE | Joseph Y. Halpern, Vicky Weissman: A formal foundation for XrML. J. ACM 55(1): (2008) |
| 2006 | ||
| 8 | EE | Joseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies CoRR abs/cs/0601034: (2006) |
| 7 | EE | Riccardo Pucella, Vicky Weissman: A Formal Foundation for ODRL CoRR abs/cs/0601085: (2006) |
| 2004 | ||
| 6 | EE | Joseph Y. Halpern, Vicky Weissman: A Formal Foundation for XrML. CSFW 2004: 251- |
| 5 | EE | Vicky Weissman, Carl Lagoze: Towards a Policy Language for Humans and Computers. ECDL 2004: 513-525 |
| 4 | EE | Riccardo Pucella, Vicky Weissman: Reasoning about Dynamic Policies. FoSSaCS 2004: 453-467 |
| 3 | EE | Riccardo Pucella, Vicky Weissman: A Logic for Reasoning about Digital Rights CoRR cs.CR/0405066: (2004) |
| 2003 | ||
| 2 | EE | Joseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies. CSFW 2003: 187-201 |
| 2002 | ||
| 1 | EE | Riccardo Pucella, Vicky Weissman: A Logic for Reasoning about Digital Rights. CSFW 2002: 282-294 |
| 1 | Joseph Y. Halpern | [2] [6] [8] [9] |
| 2 | Carl Lagoze | [5] |
| 3 | Riccardo Pucella | [1] [3] [4] [7] |