A Logic for Reasoning about Digital Rights. - Riccardo Pucella; Vicky Weissman (CSFW, 2002)

Review of Modal and temporal properties of processes by Colin Stirling. Springer Verlag 2001. - Vicky Weissman (SIGACT News, 2003)

Towards a Policy Language for Humans and Computers. - Vicky Weissman; Carl Lagoze (ECDL, 2004)

Reasoning about Dynamic Policies. - Riccardo Pucella; Vicky Weissman (FoSSaCS, 2004)

A Formal Foundation for ODRL - Riccardo Pucella; Vicky Weissman (CoRR, 2006)

Reasoning about authorization policies. - Vicky Weissman (2007)

A formal foundation for XrML. - Joseph Y. Halpern; Vicky Weissman (J. ACM, 2008)

Using First-Order Logic to Reason about Policies. - Joseph Y. Halpern; Vicky Weissman (ACM Trans. Inf. Syst. Secur., 2008)