| |
| 2008 | ||
|---|---|---|
| 3 | EE | Daniel Wasserrab, Andreas Lochbihler: Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL. TPHOLs 2008: 294-309 |
| 2007 | ||
| 2 | EE | Andreas Lochbihler, Gregor Snelting: On Temporal Path Conditions in Dependence Graphs. SCAM 2007: 49-58 |
| 2004 | ||
| 1 | EE | Kousha Etessami, Andreas Lochbihler: The computational complexity of Evolutionarily Stable Strategies Electronic Colloquium on Computational Complexity (ECCC)(055): (2004) |
| 1 | Kousha Etessami | [1] |
| 2 | Gregor Snelting | [2] |
| 3 | Daniel Wasserrab | [3] |