Sven Thiele Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber: The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) 2010: 383-389
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming CoRR abs/1007.0134: (2010)
2009
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Schaub, Sven Thiele: Metabolic Network Expansion with Answer Set Programming. ICLP 2009: 312-326
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508
2008
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008: 130-144
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele: COBA 2.0: A Consistency-Based Belief Change System. ECSQARU 2007: 78-90
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Gebser, Torsten Schaub, Sven Thiele: GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271
2006
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: On Probing and Multi-Threading in Platypus. ECAI 2006: 392-396
2005
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: Platypus: A Platform for Distributed Answer Set Solving. LPNMR 2005: 227-239

Coauthor Index

1James P. Delgrande [4]
2Martin Gebser [3] [5] [6] [7] [9] [10] [11] [12]
3Jean Gressmann [1] [2]
4Carito Guziolowski [10]
5Mihail Ivanchev [10]
6Tomi Janhunen [1] [2]
7Roland Kaminski [5] [7]
8Benjamin Kaufmann [5]
9Arne König [11]
10Daphne H. Liu [4]
11Robert E. Mercer [1] [2]
12Max Ostrowski [5] [7]
13Torsten Schaub [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
14Anne Siegel [10]
15Richard Tichy [1] [2]
16Björn Usadel [6]
17Philippe Veber [6] [9] [10] [11] [12]

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page