1. Serge Abiteboul Richard Hull and Victor Vianu (Eds.). 1995. Foundations of Databases: The Logical Level. Boston MA USA. Serge Abiteboul Richard Hull and Victor Vianu (Eds.). 1995. Foundations of Databases: The Logical Level. Boston MA USA.
2. Equivalences among Relational Expressions
3. Towards highly reliable enterprise network services via inference of multi-level dependencies
4. Paramvir Victor Bahl , Paul Barham , Richard Black , Ranveer Chandra , Moises Goldszmidt , Rebecca Isaacs , Srikanth Kandula , Lun Li , John MacCormick , David Maltz , Richard Mortier , Mike Wawrzoniak , and Ming Zhang . 2006. Discovering Dependencies for Network Management . In HotNets 2006 ., . Paramvir Victor Bahl, Paul Barham, Richard Black, Ranveer Chandra, Moises Goldszmidt, Rebecca Isaacs, Srikanth Kandula, Lun Li, John MacCormick, David Maltz, Richard Mortier, Mike Wawrzoniak, and Ming Zhang. 2006. Discovering Dependencies for Network Management. In HotNets 2006., .
5. A General Approach to Network Configuration Verification