Sven Thiele

24 papers A* 1A 1B 8C 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
CNApy: a CellNetAnalyzer GUI in Python for analyzing and designing metabolic networks.
Bioinform.
Sven Thiele, Axel von Kamp, Pavlos Stephanos Bekiaris, Philipp Schneider, Steffen Klamt
2019 J jnl
Designing Optimal Experiments to Discriminate Interaction Graph Models.
IEEE ACM Trans. Comput. Biol. Bioinform.
Sven Thiele, Sandra Heise, Wiebke Hessenkemper, Hannes Bongartz, Melissa Fensky, Fred Schaper, Steffen Klamt
2017 J jnl
Meneco, a Topology-Based Gap-Filling Tool Applicable to Degraded Genome-Wide Metabolic Networks.
PLoS Comput. Biol.
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
2015 J jnl
Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies.
BMC Bioinform.
Sven Thiele, Luca Cerone, Julio Saez-Rodriguez, Anne Siegel, Carito Guziolowski, Steffen Klamt
2015 J jnl
Learning Boolean logic models of signaling networks with ASP.
Theor. Comput. Sci.
Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez, Torsten Schaub, Anne Siegel
2014 J jnl
Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming.
Bioinform.
Carito Guziolowski, Santiago Videla, Federica Eduati, Sven Thiele, Thomas Cokelaer, Anne Siegel, Julio Saez-Rodriguez
2013 B conf
An ASP Application in Integrative Biology: Identification of Functional Gene Units.
LPNMR
Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, Sven Thiele
2013 J jnl
Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming.
Bioinform.
Carito Guziolowski, Santiago Videla, Federica Eduati, Sven Thiele, Thomas Cokelaer, Anne Siegel, Julio Saez-Rodriguez
2013 B conf
Extending the Metabolic Network of
LPNMR
Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele
2012 — —
Modeling biological systems with Answer Set Programming.
Sven Thiele
2012 — conf
Revisiting the Training of Logic Models of Protein Signaling Networks with ASP.
CMSB
Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Niels Grabe, Julio Saez-Rodriguez, Anne Siegel
2012 J jnl
Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach based on Answer Set Programming
CoRR
Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Niels Grabe, Julio Saez-Rodriguez, Anne Siegel
2011 J jnl
Detecting inconsistencies in large biological networks with answer set programming.
Theory Pract. Log. Program.
Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber
2010 J jnl
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
CoRR
Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber
2010 A* conf
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
KR
Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber
2010 — conf
The BioASP Library: ASP Solutions for Systems Biology.
ICTAI (1)
Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber
2009 B conf
Metabolic Network Expansion with Answer Set Programming.
ICLP
Torsten Schaub, Sven Thiele
2009 B conf
On the Input Language of ASP Grounder Gringo.
LPNMR
Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele
2008 B conf
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.
ICLP
Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber
2008 B conf
Engineering an Incremental ASP Solver.
ICLP
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
2007 C conf
COBA 2.0: A Consistency-Based Belief Change System.
ECSQARU
James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele
2007 B conf
GrinGo : A New Grounder for Answer Set Programming.
LPNMR
Martin Gebser, Torsten Schaub, Sven Thiele
2006 A conf
On Probing and Multi-Threading in Platypus.
ECAI
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
2005 B conf
Platypus: A Platform for Distributed Answer Set Solving.
LPNMR
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy