| |
| 2006 | ||
|---|---|---|
| 4 | EE | Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh: Towards Automating Simulation-Based Design Verification Using ILP. ILP 2006: 154-168 |
| 2002 | ||
| 3 | EE | 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 | |
| 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] |