Platypus: A Platform for Distributed Answer Set Solving. - Jean Gressmann; Tomi Janhunen; Robert E. Mercer; Torsten Schaub; Sven Thiele; Richard Tichy (LPNMR, 2005)

On Probing and Multi-Threading in Platypus. - Jean Gressmann; Tomi Janhunen; Robert E. Mercer; Torsten Schaub; Sven Thiele; Richard Tichy (ECAI, 2006)

COBA 2.0: A Consistency-Based Belief Change System. - James P. Delgrande; Daphne H. Liu; Torsten Schaub; Sven Thiele (ECSQARU, 2007)

GrinGo : A New Grounder for Answer Set Programming. - Martin Gebser; Torsten Schaub; Sven Thiele (LPNMR, 2007)

Engineering an Incremental ASP Solver. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub; Sven Thiele (ICLP, 2008)

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. - Martin Gebser; Torsten Schaub; Sven Thiele; Björn Usadel; Philippe Veber (ICLP, 2008)

Metabolic Network Expansion with Answer Set Programming. - Torsten Schaub; Sven Thiele (ICLP, 2009)

On the Input Language of ASP Grounder Gringo. - Martin Gebser; Roland Kaminski; Max Ostrowski; Torsten Schaub; Sven Thiele (LPNMR, 2009)

The BioASP Library: ASP Solutions for Systems Biology. - Martin Gebser; Arne König; Torsten Schaub; Sven Thiele; Philippe Veber (ICTAI (1), 2010)

Repair 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 (KR, 2010)

Detecting inconsistencies in large biological networks with answer set programming. - Martin Gebser; Torsten Schaub; Sven Thiele; Philippe Veber (Theory Pract. Log. Program., 2011)

Revisiting the Training of Logic Models of Protein Signaling Networks with ASP. - Santiago Videla; Carito Guziolowski; Federica Eduati; Sven Thiele; Niels Grabe; Julio Saez-Rodriguez; Anne Siegel (CMSB, 2012)

Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming - Santiago Videla; Carito Guziolowski; Federica Eduati; Sven Thiele; Niels Grabe; Julio Saez-Rodriguez; Anne Siegel (CoRR, 2012)

Modeling biological systems with Answer Set Programming. - Sven Thiele (2012)

An ASP Application in Integrative Biology: Identification of Functional Gene Units. - Philippe Bordron; Damien Eveillard; Alejandro Maass; Anne Siegel; Sven Thiele (LPNMR, 2013)

Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming. - Guillaume Collet; Damien Eveillard; Martin Gebser; Sylvain Prigent 001; Torsten Schaub; Anne Siegel; Sven Thiele (LPNMR, 2013)

Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming. - Carito Guziolowski; Santiago Videla; Federica Eduati; Sven Thiele; Thomas Cokelaer; Anne Siegel; Julio Saez-Rodriguez (Bioinform., 2013)

Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies. - Sven Thiele; Luca Cerone; Julio Saez-Rodriguez; Anne Siegel; Carito Guziolowski; Steffen Klamt (BMC Bioinform., 2015)

Learning Boolean logic models of signaling networks with ASP. - Santiago Videla; Carito Guziolowski; Federica Eduati; Sven Thiele; Martin Gebser; Jacques Nicolas; Julio Saez-Rodriguez; Torsten Schaub; Anne Siegel (Theor. Comput. Sci., 2015)

Meneco, a Topology-Based Gap-Filling Tool Applicable to Degraded Genome-Wide Metabolic Networks. - Sylvain Prigent 001; Clémence Frioux; Simon M. Dittami; Sven Thiele; Abdelhalim Larhlimi; Guillaume Collet; Fabien Gutknecht; Jeanne Got; Damien Eveillard; Jérémie Bourdon; Frédéric Plewniak; Thierry Tonon; et al. (PLoS Comput. Biol., 2017)

Designing Optimal Experiments to Discriminate Interaction Graph Models. - Sven Thiele; Sandra Heise; Wiebke Hessenkemper; Hannes Bongartz; Melissa Fensky; Fred Schaper; Steffen Klamt (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

CNApy: a CellNetAnalyzer GUI in Python for analyzing and designing metabolic networks. - Sven Thiele; Axel von Kamp; Pavlos Stephanos Bekiaris; Philipp Schneider; Steffen Klamt (Bioinform., 2022)