Matthias Heizmann

	2010
4		Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Nested interpolants. POPL 2010: 471-482
3		Matthias Heizmann, Neil D. Jones, Andreas Podelski: Size-Change Termination and Transition Invariants. SAS 2010: 22-50
	2009
2		Matthias Heizmann, Jochen Hoenicke, Andreas Podelski: Refinement of Trace Abstraction. SAS 2009: 69-85
1		Christopher A. Krygowski, Dean G. Bair, Rebecca M. Gott, M. H. Decker, A. V. Giri, Christian Habermann, Matthias Heizmann, Stefan Letz, William J. Lewis, Steven M. Licker, H. Mallar, Edward C. McCain, Wolfgang Roesner, N. Siddique, A. E. Seigler, Brian W. Thompto, K. Weber, Ralf Winkelmann: Functional verification of the IBM System z10 processor chipset. IBM Journal of Research and Development 53(1): 3 (2009)

Coauthor Index

1	Dean G. Bair	[1]
2	M. H. Decker	[1]
3	A. V. Giri	[1]
4	Rebecca M. Gott	[1]
5	Christian Habermann	[1]
6	Jochen Hoenicke	[2] [4]
7	Neil D. Jones	[3]
8	Christopher A. Krygowski	[1]
9	Stefan Letz	[1]
10	William J. Lewis	[1]
11	Steven M. Licker	[1]
12	H. Mallar	[1]
13	Edward C. McCain	[1]
14	Andreas Podelski	[2] [3] [4]
15	Wolfgang Roesner	[1]
16	A. E. Seigler	[1]
17	N. Siddique	[1]
18	Brian W. Thompto	[1]
19	K. Weber	[1]
20	Ralf Winkelmann	[1]

Colors in the list of coauthors

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