Skip to content

Sven Thiele

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

6

Active years

2005–2013

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2013LPNMRAn ASP Application in Integrative Biology: Identification of Functional Gene Units.Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, Sven Thiele
2013LPNMRExtending the Metabolic Network ofGuillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele
2010ICTAIThe BioASP Library: ASP Solutions for Systems Biology.Martin Gebser, Arne Knig, Torsten Schaub, Sven Thiele, Philippe Veber
2010KRRepair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber
2009ICLPMetabolic Network Expansion with Answer Set Programming.Torsten Schaub, Sven Thiele
2009LPNMROn the Input Language of ASP Grounder Gringo.Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele
2008ICLPEngineering an Incremental ASP Solver.Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
2008ICLPDetecting Inconsistencies in Large Biological Networks with Answer Set Programming.Martin Gebser, Torsten Schaub, Sven Thiele, Bjrn Usadel, Philippe Veber
2007ECSQARUCOBA 2.0: A Consistency-Based Belief Change System.James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele
2007LPNMRGrinGo : A New Grounder for Answer Set Programming.Martin Gebser, Torsten Schaub, Sven Thiele
2006ECAIOn Probing and Multi-Threading in Platypus.Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
2005LPNMRPlatypus: A Platform for Distributed Answer Set Solving.Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy