{"title":"fnyzer: A Python Package for the Analysis of Flexible Nets","authors":"J. Júlvez, S. Oliver","doi":"10.1007/978-3-030-60327-4_19","DOIUrl":"https://doi.org/10.1007/978-3-030-60327-4_19","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132794584","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Sophie Le Bars, Jérémie Bourdon, Carito Guziolowski
{"title":"Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurodegenerative Disease Model","authors":"Sophie Le Bars, Jérémie Bourdon, Carito Guziolowski","doi":"10.1007/978-3-030-60327-4_8","DOIUrl":"https://doi.org/10.1007/978-3-030-60327-4_8","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"133 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125056826","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Drawing the Line: Basin Boundaries in Safe Petri Nets","authors":"S. Haar, Loïc Paulevé, Stefan Schwoon","doi":"10.1007/978-3-030-60327-4_17","DOIUrl":"https://doi.org/10.1007/978-3-030-60327-4_17","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117010543","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Déborah Boyenval, G. Bernot, Hélène Collavizza, J. Comet
{"title":"What is a Cell Cycle Checkpoint? The TotemBioNet Answer","authors":"Déborah Boyenval, G. Bernot, Hélène Collavizza, J. Comet","doi":"10.1007/978-3-030-60327-4_21","DOIUrl":"https://doi.org/10.1007/978-3-030-60327-4_21","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126870704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Schwieger, M. Bender, H. Siebert, Christian Haase
{"title":"Classifier Construction in Boolean Networks Using Algebraic Methods","authors":"R. Schwieger, M. Bender, H. Siebert, Christian Haase","doi":"10.1007/978-3-030-60327-4_12","DOIUrl":"https://doi.org/10.1007/978-3-030-60327-4_12","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128421498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
V. Danos, T. Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
{"title":"Rate Equations for Graphs","authors":"V. Danos, T. Heindel, Ricardo Honorato-Zimmer, Sandro Stucki","doi":"10.1007/978-3-030-60327-4_1","DOIUrl":"https://doi.org/10.1007/978-3-030-60327-4_1","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127343377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Control Strategy Identification via Trap Spaces in Boolean Networks","authors":"L. Fontanals, Elisa Tonello, H. Siebert","doi":"10.1007/978-3-030-60327-4_9","DOIUrl":"https://doi.org/10.1007/978-3-030-60327-4_9","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127105969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Kappa Simulator Made Interactive","authors":"Pierre Boutillier","doi":"10.1007/978-3-030-31304-3_16","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_16","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129895962","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic","authors":"Judah Goldfeder, H. Kugler","doi":"10.1007/978-3-030-31304-3_15","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_15","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124503090","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Chemical Reaction Network Design by a Nested Evolution Algorithm","authors":"E. Degrand, Mathieu Hemery, F. Fages","doi":"10.1007/978-3-030-31304-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_5","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126309885","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}