| |
| 2008 | ||
|---|---|---|
| 2 | EE | Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber: The System BioC for Reasoning about Biological Models in Action Language C. ICTAI (1) 2008: 11-18 |
| 1 | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432 | |
| 1 | Christian Drescher | [1] |
| 2 | Steve Dworschak | [2] |
| 3 | Martin Gebser | [1] |
| 4 | Benjamin Kaufmann | [1] |
| 5 | Arne König | [1] [2] |
| 6 | Max Ostrowski | [1] |
| 7 | Torsten Schaub | [1] [2] |
| 8 | Philippe Veber | [2] |