Follow
Sven Thiele
Sven Thiele
Potassco Solutions GmbH
Verified email at potassco.com - Homepage
Title
Cited by
Cited by
Year
Gringo: A New Grounder for Answer Set Programming
M Gebser, T Schaub, S Thiele
Logic Programming and Nonmonotonic Reasoning 9th International Conference …, 2007
2672007
Engineering an Incremental ASP Solver
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
Logic Programming 24th International Conference, 190-205, 2008
1712008
A User’s Guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1592008
Detecting inconsistencies in large biological networks with answer set programming
M Gebser, T Schaub, S Thiele, P Veber
Theory and Practice of Logic Programming 11 (Special Issue 2-3), 323-360, 2011
1572011
Repair and Prediction (Under Inconsistency) in Large Biological Networks with Answer Set Programming
M Gebser, C Guziolowski, M Ivanchev, T Schaub, A Siegel, S Thiele, ...
Twelfth International Conference on the Principles of Knowledge …, 2010
1042010
Meneco, a Topology-Based Gap-Filling Tool Applicable to Degraded Genome-Wide Metabolic Networks
S Prigent, C Frioux, SM Dittami, S Thiele, A Larhlimi, G Collet, F Gutknecht, ...
PLOS Computational Biology 13 (1), e1005276, 2017
1012017
Potassco User Guide
M Gebser, R Kaminski, B Kaufmann, M Lindauer, M Ostrowski, J Romero, ...
Institute for Informatics, University of Potsdam, second edition edition, 2015
101*2015
Use of CellNetAnalyzer in biotechnology and metabolic engineering
A von Kamp, S Thiele, O Hädicke, S Klamt
Journal of biotechnology 261, 221-228, 2017
992017
Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming
C Guziolowski, S Videla, F Eduati, S Thiele, T Cokelaer, A Siegel, ...
Bioinformatics 29 (18), 2320-2326, 2013
952013
Metabolic Network Expansion with Answer Set Programming
T Schaub, S Thiele
Logic Programming 25th International Conference, 312-326, 2009
662009
On the Input Language of ASP Grounder Gringo
M Gebser, R Kaminski, M Ostrowski, T Schaub, S Thiele
Logic Programming and Nonmonotonic Reasoning 10th International Conference …, 2009
502009
The genome-scale metabolic network of Ectocarpus siliculosus (EctoGEM): a resource to study brown algal physiology and beyond
S Prigent, G Collet, SM Dittami, L Delage, F de Corny, O Dameron, ...
The Plant Journal, 2014
472014
Platypus: A Platform for Distributed Answer Set Solving
J Gressmann, T Janhunen, RE Mercer, T Schaub, S Thiele, R Tichy
Logic Programming and Nonmonotonic Reasoning 8th International Conference …, 2005
472005
Learning Boolean logic models of signaling networks with ASP
S Videla, C Guziolowski, F Eduati, S Thiele, M Gebser, J Nicolas, ...
Theoretical Computer Science, 2014
432014
The BioASP Library: ASP Solutions for Systems Biology
M Gebser, A Konig, T Schaub, S Thiele, P Veber
Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International …, 2010
352010
Revisiting the Training of Logic Models of Protein Signaling Networks with ASP
S Videla, C Guziolowski, F Eduati, S Thiele, N Grabe, J Saez-Rodriguez, ...
Computational Methods in Systems Biology 10th International Conference, 342-361, 2012
312012
Extending the Metabolic Network of Ectocarpus Siliculosus using Answer Set Programming
G Collet, D Eveillard, M Gebser, S Prigent, T Schaub, A Siegel, S Thiele
Logic Programming and Nonmonotonic Reasoning 12th International Conference …, 2013
262013
COBA 2.0: A Consistency-Based Belief Change System
JP Delgrande, DH Liu, T Schaub, S Thiele
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th …, 2007
212007
CNApy: a CellNetAnalyzer GUI in Python for analyzing and designing metabolic networks
S Thiele, A von Kamp, PS Bekiaris, P Schneider, S Klamt
Bioinformatics 38 (5), 1467-1469, 2022
202022
Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies
S Thiele, L Cerone, J Saez-Rodriguez, A Siegel, C Guziołowski, S Klamt
BMC Bioinformatics 16, 2015
192015
The system can't perform the operation now. Try again later.
Articles 1–20