| 2008 | ||
|---|---|---|
| 3 | Stephan Kottler, Michael Kaufmann, Carsten Sinz: Computation of Renameable Horn Backdoors. SAT 2008: 154-160 | |
| 2 | Stephan Kottler, Michael Kaufmann, Carsten Sinz: A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. SAT 2008: 161-167 | |
| 2006 | ||
| 1 | Katharina Anna Lehmann, Stephan Kottler: Visualizing Large and Clustered Networks. Graph Drawing 2006: 240-251 | |
| 1 | Michael Kaufmann | [2] [3] |
| 2 | Carsten Sinz | [2] [3] |
| 3 | Katharina Anna Zweig (Katharina Anna Lehmann) | [1] |