 | 2009 |
|---|
| 3 |       | James P. Delgrande,
Torsten Grote,
Aaron Hunter:
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.
LPNMR 2009: 355-367 |
| 2008 |
|---|
| 2 | | 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 |
