 | 2011 |
| 12 |  | Martin Gebser,
Torsten Schaub,
Sven Thiele,
Philippe Veber:
Detecting inconsistencies in large biological networks with answer set programming.
TPLP 11(2-3): 323-360 (2011) |
| 2010 |
| 11 |  | Martin Gebser,
Arne König,
Torsten Schaub,
Sven Thiele,
Philippe Veber:
The BioASP Library: ASP Solutions for Systems Biology.
ICTAI (1) 2010: 383-389 |
| 10 |  | Martin Gebser,
Carito Guziolowski,
Mihail Ivanchev,
Torsten Schaub,
Anne Siegel,
Sven Thiele,
Philippe Veber:
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
KR 2010 |
| 9 |  | Martin Gebser,
Torsten Schaub,
Sven Thiele,
Philippe Veber:
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
CoRR abs/1007.0134: (2010) |
| 2009 |
| 8 |  | Torsten Schaub,
Sven Thiele:
Metabolic Network Expansion with Answer Set Programming.
ICLP 2009: 312-326 |
| 7 |  | Martin Gebser,
Roland Kaminski,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
On the Input Language of ASP Grounder Gringo.
LPNMR 2009: 502-508 |
| 2008 |
| 6 |  | Martin Gebser,
Torsten Schaub,
Sven Thiele,
Björn Usadel,
Philippe Veber:
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.
ICLP 2008: 130-144 |
| 5 |  | Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
Engineering an Incremental ASP Solver.
ICLP 2008: 190-205 |
| 2007 |
| 4 |  | James P. Delgrande,
Daphne H. Liu,
Torsten Schaub,
Sven Thiele:
COBA 2.0: A Consistency-Based Belief Change System.
ECSQARU 2007: 78-90 |
| 3 |  | Martin Gebser,
Torsten Schaub,
Sven Thiele:
GrinGo : A New Grounder for Answer Set Programming.
LPNMR 2007: 266-271 |
| 2006 |
| 2 |  | Jean Gressmann,
Tomi Janhunen,
Robert E. Mercer,
Torsten Schaub,
Sven Thiele,
Richard Tichy:
On Probing and Multi-Threading in Platypus.
ECAI 2006: 392-396 |
| 2005 |
| 1 |  | Jean Gressmann,
Tomi Janhunen,
Robert E. Mercer,
Torsten Schaub,
Sven Thiele,
Richard Tichy:
Platypus: A Platform for Distributed Answer Set Solving.
LPNMR 2005: 227-239 |