Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sven Thiele
@article{DBLP:journals/bioinformatics/ThieleKBSK22,
author = {Sven Thiele and
Axel von Kamp and
Pavlos Stephanos Bekiaris and
Philipp Schneider and
Steffen Klamt},
title = {CNApy: a CellNetAnalyzer {GUI} in Python for analyzing and designing
metabolic networks},
journal = {Bioinform.},
volume = {38},
number = {5},
pages = {1467--1469},
year = {2022},
url = {https://doi.org/10.1093/bioinformatics/btab828},
doi = {10.1093/BIOINFORMATICS/BTAB828},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/ThieleKBSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/ThieleHHBFSK19,
author = {Sven Thiele and
Sandra Heise and
Wiebke Hessenkemper and
Hannes Bongartz and
Melissa Fensky and
Fred Schaper and
Steffen Klamt},
title = {Designing Optimal Experiments to Discriminate Interaction Graph Models},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {16},
number = {3},
pages = {925--935},
year = {2019},
url = {https://doi.org/10.1109/TCBB.2018.2812184},
doi = {10.1109/TCBB.2018.2812184},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/ThieleHHBFSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/PrigentFDTLCGGE17,
author = {Sylvain Prigent and
Cl{\'{e}}mence Frioux and
Simon M. Dittami and
Sven Thiele and
Abdelhalim Larhlimi and
Guillaume Collet and
Fabien Gutknecht and
Jeanne Got and
Damien Eveillard and
J{\'{e}}r{\'{e}}mie Bourdon and
Fr{\'{e}}d{\'{e}}ric Plewniak and
Thierry Tonon and
Anne Siegel},
title = {Meneco, a Topology-Based Gap-Filling Tool Applicable to Degraded Genome-Wide
Metabolic Networks},
journal = {PLoS Comput. Biol.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.1371/journal.pcbi.1005276},
doi = {10.1371/JOURNAL.PCBI.1005276},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ploscb/PrigentFDTLCGGE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ThieleCSSGK15,
author = {Sven Thiele and
Luca Cerone and
Julio Saez{-}Rodriguez and
Anne Siegel and
Carito Guziolowski and
Steffen Klamt},
title = {Extended notions of sign consistency to relate experimental data to
signaling and regulatory network topologies},
journal = {{BMC} Bioinform.},
volume = {16},
pages = {345:1--345:13},
year = {2015},
url = {https://doi.org/10.1186/s12859-015-0733-7},
doi = {10.1186/S12859-015-0733-7},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/ThieleCSSGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VidelaGETGNSSS15,
author = {Santiago Videla and
Carito Guziolowski and
Federica Eduati and
Sven Thiele and
Martin Gebser and
Jacques Nicolas and
Julio Saez{-}Rodriguez and
Torsten Schaub and
Anne Siegel},
title = {Learning Boolean logic models of signaling networks with {ASP}},
journal = {Theor. Comput. Sci.},
volume = {599},
pages = {79--101},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.06.022},
doi = {10.1016/J.TCS.2014.06.022},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/VidelaGETGNSSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GuziolowskiVETCSS14,
author = {Carito Guziolowski and
Santiago Videla and
Federica Eduati and
Sven Thiele and
Thomas Cokelaer and
Anne Siegel and
Julio Saez{-}Rodriguez},
title = {Exhaustively characterizing feasible logic models of a signaling network
using Answer Set Programming},
journal = {Bioinform.},
volume = {30},
number = {13},
pages = {1942},
year = {2014},
url = {https://doi.org/10.1093/bioinformatics/btu357},
doi = {10.1093/BIOINFORMATICS/BTU357},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/GuziolowskiVETCSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GuziolowskiVETCSS13,
author = {Carito Guziolowski and
Santiago Videla and
Federica Eduati and
Sven Thiele and
Thomas Cokelaer and
Anne Siegel and
Julio Saez{-}Rodriguez},
title = {Exhaustively characterizing feasible logic models of a signaling network
using Answer Set Programming},
journal = {Bioinform.},
volume = {29},
number = {18},
pages = {2320--2326},
year = {2013},
url = {https://doi.org/10.1093/bioinformatics/btt393},
doi = {10.1093/BIOINFORMATICS/BTT393},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/GuziolowskiVETCSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BordronEMST13,
author = {Philippe Bordron and
Damien Eveillard and
Alejandro Maass and
Anne Siegel and
Sven Thiele},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {An {ASP} Application in Integrative Biology: Identification of Functional
Gene Units},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {206--218},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_21},
doi = {10.1007/978-3-642-40564-8\_21},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BordronEMST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ColletEGPSST13,
author = {Guillaume Collet and
Damien Eveillard and
Martin Gebser and
Sylvain Prigent and
Torsten Schaub and
Anne Siegel and
Sven Thiele},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Extending the Metabolic Network of \emph{Ectocarpus Siliculosus} Using
Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {245--256},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_25},
doi = {10.1007/978-3-642-40564-8\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ColletEGPSST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Thiele12,
author = {Sven Thiele},
title = {Modeling biological systems with Answer Set Programming},
school = {University of Potsdam},
year = {2012},
url = {http://opus.kobv.de/ubp/volltexte/2012/5938/},
urn = {urn:nbn:de:kobv:517-opus-59383},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Thiele12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/VidelaGETGSS12,
author = {Santiago Videla and
Carito Guziolowski and
Federica Eduati and
Sven Thiele and
Niels Grabe and
Julio Saez{-}Rodriguez and
Anne Siegel},
editor = {David R. Gilbert and
Monika Heiner},
title = {Revisiting the Training of Logic Models of Protein Signaling Networks
with {ASP}},
booktitle = {Computational Methods in Systems Biology - 10th International Conference,
{CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7605},
pages = {342--361},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33636-2\_20},
doi = {10.1007/978-3-642-33636-2\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/VidelaGETGSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-0690,
author = {Santiago Videla and
Carito Guziolowski and
Federica Eduati and
Sven Thiele and
Niels Grabe and
Julio Saez{-}Rodriguez and
Anne Siegel},
title = {Revisiting the Training of Logic Models of Protein Signaling Networks
with a Formal Approach based on Answer Set Programming},
journal = {CoRR},
volume = {abs/1210.0690},
year = {2012},
url = {http://arxiv.org/abs/1210.0690},
eprinttype = {arXiv},
eprint = {1210.0690},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0690.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserSTV11,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele and
Philippe Veber},
title = {Detecting inconsistencies in large biological networks with answer
set programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {323--360},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000554},
doi = {10.1017/S1471068410000554},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserSTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GebserKSTV10,
author = {Martin Gebser and
Arne K{\"{o}}nig and
Torsten Schaub and
Sven Thiele and
Philippe Veber},
title = {The BioASP Library: {ASP} Solutions for Systems Biology},
booktitle = {22nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2010, Arras, France, 27-29 October 2010 - Volume 1},
pages = {383--389},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICTAI.2010.62},
doi = {10.1109/ICTAI.2010.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GebserKSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GebserGISSTV10,
author = {Martin Gebser and
Carito Guziolowski and
Mihail Ivanchev and
Torsten Schaub and
Anne Siegel and
Sven Thiele and
Philippe Veber},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Repair and Prediction (under Inconsistency) in Large Biological Networks
with Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1334},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GebserGISSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-0134,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele and
Philippe Veber},
title = {Detecting Inconsistencies in Large Biological Networks with Answer
Set Programming},
journal = {CoRR},
volume = {abs/1007.0134},
year = {2010},
url = {http://arxiv.org/abs/1007.0134},
eprinttype = {arXiv},
eprint = {1007.0134},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-0134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchaubT09,
author = {Torsten Schaub and
Sven Thiele},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Metabolic Network Expansion with Answer Set Programming},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {312--326},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_27},
doi = {10.1007/978-3-642-02846-5\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchaubT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKOST09,
author = {Martin Gebser and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sven Thiele},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {On the Input Language of {ASP} Grounder Gringo},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {502--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_49},
doi = {10.1007/978-3-642-04238-6\_49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKOST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserSTUV08,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele and
Bj{\"{o}}rn Usadel and
Philippe Veber},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Detecting Inconsistencies in Large Biological Networks with Answer
Set Programming},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {130--144},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_19},
doi = {10.1007/978-3-540-89982-2\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserSTUV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserKKOST08,
author = {Martin Gebser and
Roland Kaminski and
Benjamin Kaufmann and
Max Ostrowski and
Torsten Schaub and
Sven Thiele},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Engineering an Incremental {ASP} Solver},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {190--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_23},
doi = {10.1007/978-3-540-89982-2\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserKKOST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/DelgrandeLST07,
author = {James P. Delgrande and
Daphne H. Liu and
Torsten Schaub and
Sven Thiele},
editor = {Khaled Mellouli},
title = {{COBA} 2.0: {A} Consistency-Based Belief Change System},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
9th European Conference, {ECSQARU} 2007, Hammamet, Tunisia, October
31 - November 2, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4724},
pages = {78--90},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75256-1\_10},
doi = {10.1007/978-3-540-75256-1\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/DelgrandeLST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserST07,
author = {Martin Gebser and
Torsten Schaub and
Sven Thiele},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {GrinGo : {A} New Grounder for Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {266--271},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_24},
doi = {10.1007/978-3-540-72200-7\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GressmannJMSTT06,
author = {Jean Gressmann and
Tomi Janhunen and
Robert E. Mercer and
Torsten Schaub and
Sven Thiele and
Richard Tichy},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {On Probing and Multi-Threading in Platypus},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {392--396},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GressmannJMSTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GressmannJMSTT05,
author = {Jean Gressmann and
Tomi Janhunen and
Robert E. Mercer and
Torsten Schaub and
Sven Thiele and
Richard Tichy},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Platypus: {A} Platform for Distributed Answer Set Solving},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {227--239},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_18},
doi = {10.1007/11546207\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GressmannJMSTT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
