Digital Symposium Collection 2000

Steven Dawson Minimal Data Upgrading to Prevent Inference and Association Publications Note: Links lead to the DBLP on the Web. Steven Dawson 9 Steven Dawson, Sabrina De Capitani di Vimercati , Pierangela Samarati : Specification and Enforcement of Classification and Inference Constraints. IEEE Symposium on Security and Privacy 1999 : 181-195 8 Steven Dawson, Sabrina De Capitani di Vimercati , Patrick Lincoln , Pierangela Samarati : Minimal Data Upgrading to Prevent Inference and Association. PODS 1999 : 114-125 7 Hasan Davulcu , Michael Kifer , L. Robert Pokorny , C. R. Ramakrishnan , I. V. Ramakrishnan , Steven Dawson: Modeling and Analysis of Interactions in Virtual Enterprises. RIDE 1999 : 12-18 6 Steven Dawson, C. R. Ramakrishnan , David Scott Warren : Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. PLDI 1996 : 117-126 5 Steven Dawson, C. R. Ramakrishnan , Steven Skiena , Terrance Swift : Principles and Practice of Unification Factoring. TOPLAS 18 (5): 528-563 (1996) 4 Steven Dawson, C. R. Ramakrishnan , I. V. Ramakrishnan , Terrance Swift : Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995 : 194-208 3 Steven Dawson, C. R. Ramakrishnan , I. V. Ramakrishnan : Design and Implementation of Jump Tables for Fast Indexing of Logic Programs. PLILP 1995 : 133-150 2 Steven Dawson, C. R. Ramakrishnan , I. V. Ramakrishnan , Konstantinos F. Sagonas , Steven Skiena , Terrance Swift , David Scott Warren : Unification Factoring for Efficient Execution of Logic Programs. POPL 1995 : 247-258 1 Steven Dawson, C. R. Ramakrishnan , I. V. Ramakrishnan , R. C. Sekar : Extracting Determinacy in Logic Programs. ICLP 1993 : 424-438 Copyright(C) 2000 ACM