| 2012 | ||
|---|---|---|
| c11 | Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Niels Grabe, Julio Saez-Rodriguez, Anne Siegel: Revisiting the Training of Logic Models of Protein Signaling Networks with ASP. CMSB 2012: 342-361 | |
| i2 | Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Niels Grabe, Julio Saez-Rodriguez, Anne Siegel: Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming. CoRR abs/1210.0690 (2012) | |
| 2011 | ||
| j1 | 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 | ||
| c10 | Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber: The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) 2010: 383-389 | |
| c9 | 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 | |
| i1 | Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. CoRR abs/1007.0134 (2010) | |
| 2009 | ||
| c8 | Torsten Schaub, Sven Thiele: Metabolic Network Expansion with Answer Set Programming. ICLP 2009: 312-326 | |
| c7 | Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508 | |
| 2008 | ||
| c6 | 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 | |
| c5 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205 | |
| 2007 | ||
| c4 | James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele: COBA 2.0: A Consistency-Based Belief Change System. ECSQARU 2007: 78-90 | |
| c3 | Martin Gebser, Torsten Schaub, Sven Thiele: GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271 | |
| 2006 | ||
| c2 | 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 | ||
| c1 | 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 | |
Data released under the ODC-BY 1.0 license — See also our legal information page