Jörg Kreiker

Jörg Bauer

	2008
12		Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink: A Modal-Logic Based Graph Abstraction. ICGT 2008: 321-335
11		Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard: Relational Analysis of Correlation. SAS 2008: 32-46
	2007
10		Thomas W. Reps, Mooly Sagiv, Jörg Bauer: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday Springer 2007
9		Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal: Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE 2007: 361-376
8		Jörg Bauer, Tobe Toben, Bernd Westphal: Mind the Shapes: Abstraction Refinement Via Topology Invariants. ATVA 2007: 35-50
7		Jörg Bauer, Reinhard Wilhelm: Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS 2007: 249-264
6		Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard: Relational Analysis for Delivery of Services. TGC 2007: 73-89
	2006
5		Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal: Specification and Verification of Dynamic Communication Systems. ACSD 2006: 189-200
4		Thomas W. Reps, Mooly Sagiv, Jörg Bauer: An Appreciation of the Work of Reinhard Wilhelm. Program Analysis and Compilation 2006: 1-11
3		Jörg Bauer, Reinhard Wilhelm: Abstract Interpretation of Graph Transformation. Simulation and Verification of Dynamic Systems 2006
2		Jörg Bauer, Reinhard Wilhelm: Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
	2005
1		Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: A semantics for procedure local heaps and its abstractions. POPL 2005: 296-309

Coauthor Index

1	Iovka Boneva	[12]
2	Werner Damm	[9]
3	Marcos E. Kurbán	[12]
4	Christoffer Rosenkilde Nielsen	[6]
5	Flemming Nielson	[6] [11]
6	Hanne Riis Nielson	[6] [11]
7	Henrik Pilegaard	[6] [11]
8	Arend Rensink	[12]
9	Thomas W. Reps	[1] [4] [10]
10	Noam Rinetzky	[1]
11	Shmuel Sagiv (Mooly Sagiv)	[1] [4] [10]
12	Ina Schaefer	[5]
13	Tobe Toben	[5] [8] [9]
14	Bernd Westphal	[5] [8] [9]
15	Reinhard Wilhelm	[1] [2] [3] [7]

Colors in the list of coauthors