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

Christian Hammer Home Page Coauthor index pubzone.org

University of Karlsruhe

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


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

DBLP keys2012
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek: A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4 (2012)
2011
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor Richards, Christian Hammer, Brian Burg, Jan Vitek: The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. ECOOP 2011: 52-78
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam N. Sumner, Christian Hammer, Julian Dolby: Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. RV 2011: 161-176
2010
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek: A Type System for Data-Centric Synchronization. ECOOP 2010: 304-328
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hammer: Experiences with PDG-Based IFC. ESSoS 2010: 44-60
2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDennis Giffhorn, Christian Hammer: Precise slicing of concurrent programs. Autom. Softw. Eng. 16(2): 197-234 (2009)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hammer, Gregor Snelting: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. Int. J. Inf. Sec. 8(6): 399-422 (2009)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hammer: Information flow control for Java: a comprehensive approach based on path conditions in dependence graphs. Karlsruhe Institute of Technology 2009: 1-221
2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hammer, Rüdiger Schaade, Gregor Snelting: Static path conditions for Java. PLAS 2008: 57-66
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDennis Giffhorn, Christian Hammer: Precise Analysis of Java Programs Using JOANA. SCAM 2008: 267-268
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDennis Giffhorn, Christian Hammer: An Evaluation of Slicing Algorithms for Concurrent Programs. SCAM 2007: 17-26
2006
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hammer, Jens Krinke, Frank Nodes: Intransitive Noninterference in Dependence Graphs. ISoLA 2006: 119-128
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hammer, Martin Grimme, Jens Krinke: Dynamic path conditions in dependence graphs. PEPM 2006: 58-67
2004
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hammer, Gregor Snelting: An improved slicer for Java. PASTE 2004: 17-22

Coauthor Index

1Brian Burg [14]
2Julian Dolby [7] [12] [13] [15]
3Dennis Giffhorn [4] [5] [10]
4Martin Grimme [2]
5Jens Krinke [2] [3]
6Daniel Marino [15]
7Frank Nodes [3]
8Gregor Richards [14]
9Rüdiger Schaade [6]
10Gregor Snelting [1] [6] [9]
11William N. Sumner [13]
12Frank Tip [7] [12] [15]
13Mandana Vaziri [7] [12] [15]
14Jan Vitek [12] [14] [15]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page