Kerstin Eder

	2006
4		Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh: Towards Automating Simulation-Based Design Verification Using ILP. ILP 2006: 154-168
	2002
3		Kerstin Eder, Geoff Barrett: Achieving maximum performance: a method for the verification of interlocked pipeline control logic. DAC 2002: 135-140
	1996
2		Kerstin Eder, Steffen Hölldobler, Michael Thielscher: An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151
	1995
1		Kerstin Eder, Steffen Hölldobler, Michael Thielscher: A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246

Coauthor Index

1	Geoff Barrett	[3]
2	Peter A. Flach	[4]
3	Steffen Hölldobler	[1] [2]
4	Hsiou-Wen Hsueh	[4]
5	Michael Thielscher	[1] [2]

Colors in the list of coauthors