dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

David A. Naumann (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStan Rosenberg, Anindya Banerjee, David A. Naumann: Decision Procedures for Region Logic. VMCAI 2012: 379-395
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStan Rosenberg, Anindya Banerjee, David A. Naumann: Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients. VSTTE 2010: 183-198
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Regional Logic for Local Reasoning about Global Invariants. ECOOP 2008: 387-411
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Expressive Declassification Policies and Modular Static Enforcement. IEEE Symposium on Security and Privacy 2008: 339-353
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Towards a logical account of declassification. PLAS 2007: 61-66

Selection of 5 from 55 records - David A. Naumann has 31 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page