Vicky Weissman

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Joseph Y. Halpern, Vicky Weissman
Using First-Order Logic to Reason about Policies. ACM Trans. Inf. Syst. Secur. 11 (4) (2008)
Joseph Y. Halpern, Vicky Weissman
A formal foundation for XrML. J. ACM 55 (1) (2008)
Joseph Y. Halpern, Vicky Weissman
A Formal Foundation for XrML CoRR (2008)
Riccardo Pucella, Vicky Weissman
A Formal Foundation for ODRL CoRR (2006)
Joseph Y. Halpern, Vicky Weissman
Using First-Order Logic to Reason about Policies CoRR (2006)
Joseph Y. Halpern, Vicky Weissman
A Formal Foundation for XrML. CSFW (2004)
Riccardo Pucella, Vicky Weissman
A Logic for Reasoning about Digital Rights CoRR (2004)
Vicky Weissman, Carl Lagoze
Towards a Policy Language for Humans and Computers. ECDL (2004)
Riccardo Pucella, Vicky Weissman
Reasoning about Dynamic Policies. FoSSaCS (2004)
Vicky Weissman
Review of Modal and temporal properties of processes by Colin Stirling. Springer Verlag 2001. SIGACT News 34 (2) (2003)
Joseph Y. Halpern, Vicky Weissman
Using First-Order Logic to Reason about Policies. CSFW (2003)
Riccardo Pucella, Vicky Weissman
A Logic for Reasoning about Digital Rights. CSFW (2002)