Christian Hammer Vis

University of Karlsruhe

other persons with the same name:

• Christian Hammer

*	2009
8	EE	Dennis Giffhorn, Christian Hammer: Precise slicing of concurrent programs. Autom. Softw. Eng. 16(2): 197-234 (2009)
	2008
7	EE	Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240
6	EE	Christian Hammer, Rüdiger Schaade, Gregor Snelting: Static path conditions for Java. PLAS 2008: 57-66
5	EE	Dennis Giffhorn, Christian Hammer: Precise Analysis of Java Programs Using JOANA. SCAM 2008: 267-268
	2007
4	EE	Dennis Giffhorn, Christian Hammer: An Evaluation of Slicing Algorithms for Concurrent Programs. SCAM 2007: 17-26
	2006
3	EE	Christian Hammer, Jens Krinke, Frank Nodes: Intransitive Noninterference in Dependence Graphs. ISoLA 2006: 119-128
2	EE	Christian Hammer, Martin Grimme, Jens Krinke: Dynamic path conditions in dependence graphs. PEPM 2006: 58-67
	2004
1	EE	Christian Hammer, Gregor Snelting: An improved slicer for Java. PASTE 2004: 17-22

Coauthor Index

1	Julian Dolby	[7]
2	Dennis Giffhorn	[4] [5] [8]
3	Martin Grimme	[2]
4	Jens Krinke	[2] [3]
5	Frank Nodes	[3]
6	Rüdiger Schaade	[6]
7	Gregor Snelting	[1] [6]
8	Frank Tip	[7]
9	Mandana Vaziri	[7]

Colors in the list of coauthors