- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Andreas Lochbihler: Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL. TPHOLs 2009: 310-326 |
| 4 | | Andreas Lochbihler, Gregor Snelting: On temporal path conditions in dependence graphs. Autom. Softw. Eng. 16(2): 263-290 (2009) |
| 2008 | ||
| 3 | | Daniel Wasserrab, Andreas Lochbihler: Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL. TPHOLs 2008: 294-309 |
| 2007 | ||
| 2 | | Andreas Lochbihler, Gregor Snelting: On Temporal Path Conditions in Dependence Graphs. SCAM 2007: 49-58 |
| 2004 | ||
| 1 | | 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] [4] |
| 3 | Daniel Wasserrab | [3] |