Sven Thiele

According to our database, Sven Thiele authored at least 22 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

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

2019

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

2017

Meneco, a Topology-Based Gap-Filling Tool Applicable to Degraded Genome-Wide Metabolic Networks.

Sylvain Prigent, 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, Anne Siegel

PLoS Comput. Biol., 2017

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

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

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

Extending the Metabolic Network of <i>Ectocarpus Siliculosus</i> Using Answer Set Programming.

Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

An ASP Application in Integrative Biology: Identification of Functional Gene Units.

Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, Sven Thiele

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Modeling biological systems with Answer Set Programming.

Sven Thiele

PhD thesis, 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

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

Proceedings of the Computational Methods in Systems Biology, 2012

2011

Detecting inconsistencies in large biological networks with answer set programming.

Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber

Theory Pract. Log. Program., 2011

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

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

The BioASP Library: ASP Solutions for Systems Biology.

Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

On the Input Language of ASP Grounder Gringo.

Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Metabolic Network Expansion with Answer Set Programming.

Torsten Schaub, Sven Thiele

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.

Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber

Proceedings of the Logic Programming, 24th International Conference, 2008

Engineering an Incremental ASP Solver.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

GrinGo : A New Grounder for Answer Set Programming.

Martin Gebser, Torsten Schaub, Sven Thiele

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

COBA 2.0: A Consistency-Based Belief Change System.

James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

2006

On Probing and Multi-Threading in Platypus.

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Platypus: A Platform for Distributed Answer Set Solving.

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005