Stefan Kupferschmid

	2009
2		Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid: Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. TACAS 2009: 383-397
	2008
1		Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige: Challenges in Constraint-Based Analysis of Hybrid Systems. CSCLP 2008: 51-65

Coauthor Index

1	Stefan Disch	[2]
2	Andreas Eggers	[1]
3	Natalia Kalinnik	[1]
4	Florian Pigorsch	[2]
5	Christoph Scholl	[2]
6	Tino Teige	[1]

Colors in the list of coauthors