{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T00:10:57Z","timestamp":1767831057613,"version":"3.49.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319674704","type":"print"},{"value":"9783319674711","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67471-1_20","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T19:05:14Z","timestamp":1504206314000},"page":"309-316","source":"Crossref","is-referenced-by-count":22,"title":["Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface"],"prefix":"10.1007","author":[{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,1]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Abou-Jaoud\u00e9, W., Monteiro, P.T., Naldi, A., Grandclaudon, M., Soumelis, V., Chaouiya, C., Thieffry, D.: Model checking to assess t-helper cell plasticity. In: Front. Bioeng. Biotechnol. 2, January 2015","DOI":"10.3389\/fbioe.2014.00086"},{"key":"20_CR2","volume-title":"Bioinformatics with Python cookbook","author":"T Antao","year":"2015","unstructured":"Antao, T.: Bioinformatics with Python cookbook. Packt Publishing Ltd., Birmingham (2015)"},{"key":"20_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, New York (2003)"},{"issue":"14","key":"20_CR4","doi-asserted-by":"crossref","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45657-0_29"},{"issue":"11","key":"20_CR6","doi-asserted-by":"crossref","first-page":"1422","DOI":"10.1093\/bioinformatics\/btp163","volume":"25","author":"PJA Cock","year":"2009","unstructured":"Cock, P.J.A., Antao, T., Chang, J.T., Chapman, B.A., Cox, C.J., Dalke, A., Friedberg, I., Hamelryck, T., Kauff, F., Wilczynski, B., de Hoon, M.J.L.: Biopython: freely available python tools for computational molecular biology and bioinformatics. Bioinformatics 25(11), 1422\u20131423 (2009)","journal-title":"Bioinformatics"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-45177-0_7","volume-title":"Computational Methods in Systems Biology","author":"F Fages","year":"2016","unstructured":"Fages, F., Martinez, T., Rosenblueth, D.A., Soliman, S.: Influence systems vs reaction systems. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 98\u2013115. Springer, Cham (2016). doi: 10.1007\/978-3-319-45177-0_7"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Fitime, L.F., Roux, O., Guziolowski, C., Paulev\u00e9, L.: Identification of bifurcations in biological regulatory networks using answer-set programming. In: Constraint-Based Methods for Bioinformatics Workshop (2016)","DOI":"10.1186\/s13015-017-0110-3"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.tcs.2015.08.040","volume":"608","author":"M Folschette","year":"2015","unstructured":"Folschette, M., Paulev\u00e9, L., Magnin, M., Roux, O.: Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608, 66\u201383 (2015). Part 1, From Computer Science to Biology and Back","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"20_CR10","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.biosystems.2005.10.003","volume":"84","author":"AG Gonzalez","year":"2006","unstructured":"Gonzalez, A.G., Naldi, A., S\u00e1nchez, L., Thieffry, D., Chaouiya, C.: Ginsim: A software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems 84(2), 91\u2013100 (2006). Dynamical Modeling of Biological Regulatory Networks","journal-title":"Biosystems"},{"issue":"10","key":"20_CR11","doi-asserted-by":"crossref","first-page":"e1003286","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perl\u00e8s, B., Thieffry, D.: Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol. 9(10), e1003286 (2013)","journal-title":"PLoS Comput. Biol."},{"issue":"6","key":"20_CR12","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1093\/bioinformatics\/btl655","volume":"23","author":"R Grunberg","year":"2007","unstructured":"Grunberg, R., Nilges, M., Leckner, J.: Biskit \u2013 a software platform for structural bioinformatics. Bioinformatics 23(6), 769\u2013770 (2007)","journal-title":"Bioinformatics"},{"issue":"1","key":"20_CR13","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1186\/1752-0509-6-96","volume":"6","author":"T Helikar","year":"2012","unstructured":"Helikar, T., Kowal, B., McClenathan, S., Bruckner, M., Rowley, T., Madrahimov, A., Wicks, B., Shrestha, M., Limbu, K., Rogers, J.A.: The cell collective: toward an open and collaborative approach to systems biology. BMC Syst. Biol. 6(1), 96 (2012)","journal-title":"BMC Syst. Biol."},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1093\/bioinformatics\/btw682","volume":"33","author":"H Klarner","year":"2016","unstructured":"Klarner, H., Streck, A., Siebert, H.: PyBoolNet: a python package for the generation, analysis and visualization of boolean networks. Bioinformatics 33, 770\u2013772 (2016)","journal-title":"Bioinformatics"},{"key":"20_CR15","doi-asserted-by":"crossref","first-page":"2580","DOI":"10.1093\/bioinformatics\/btx192","volume":"33","author":"FV Leprevost","year":"2017","unstructured":"Leprevost, F.V., et al.: Biocontainers: an open-source and community-driven framework for software standardization. Bioinform. (Oxford Engl.) 33, 2580\u20132582 (2017)","journal-title":"Bioinform. (Oxford Engl.)"},{"key":"20_CR16","unstructured":"LIP6\/Move. Its tools. http:\/\/ddd.lip6.fr\/itstools.php"},{"issue":"4","key":"20_CR17","doi-asserted-by":"crossref","first-page":"45003","DOI":"10.1088\/1478-3975\/9\/4\/045003","volume":"9","author":"A MacNamara","year":"2012","unstructured":"MacNamara, A., Terfve, C., Henriques, D., Bernab\u00e9, B.P., Saez-Rodriguez, J.: State-time spectrum of signal transduction logic models. Phys. Biol. 9(4), 45003 (2012)","journal-title":"Phys. Biol."},{"issue":"10","key":"20_CR18","doi-asserted-by":"crossref","first-page":"1378","DOI":"10.1093\/bioinformatics\/btq124","volume":"26","author":"C Mussel","year":"2010","unstructured":"Mussel, C., Hopfensitz, M., Kestler, H.A.: BoolNet - an R package for generation, reconstruction and analysis of boolean networks. Bioinformatics 26(10), 1378\u20131380 (2010)","journal-title":"Bioinformatics"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-319-45177-0_16","volume-title":"Computational Methods in Systems Biology","author":"L Paulev\u00e9","year":"2016","unstructured":"Paulev\u00e9, L.: Goal-oriented reduction of automata networks. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 252\u2013272. Springer, Cham (2016). doi: 10.1007\/978-3-319-45177-0_16"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-642-39799-8_4","volume-title":"Computer Aided Verification","author":"L Paulev\u00e9","year":"2013","unstructured":"Paulev\u00e9, L., Andrieux, G., Koeppl, H.: Under-approximating cut sets for reachability in large scale automata networks. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification. LNCS, vol. 8044, pp. 69\u201384. Springer, Heidelberg (2013)"},{"issue":"4","key":"20_CR21","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1017\/S0960129511000739","volume":"22","author":"L Paulev\u00e9","year":"2012","unstructured":"Paulev\u00e9, L., Magnin, M., Roux, O.: Static analysis of biological regulatory networks dynamics using abstract interpretation. Math. Struct. Comput.Sci. 22(4), 651\u2013685 (2012)","journal-title":"Math. Struct. Comput.Sci."},{"issue":"1","key":"20_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/s12918-016-0285-0","volume":"10","author":"A Rougny","year":"2016","unstructured":"Rougny, A., Froidevaux, C., Calzone, L., Paulev\u00e9, L.: Qualitative dynamics semantics for SBGN process description. BMC Syst. Biol. 10(1), 1\u201324 (2016)","journal-title":"BMC Syst. Biol."},{"issue":"8","key":"20_CR23","doi-asserted-by":"crossref","first-page":"e1000438","DOI":"10.1371\/journal.pcbi.1000438","volume":"5","author":"R Samaga","year":"2009","unstructured":"Samaga, R., Saez-Rodriguez, J., Alexopoulos, L.G., Sorger, P.K., Klamt, S.: The logic of EGFR\/ERBB signaling: theoretical properties and analysis of high-throughput data. PLoS Comput. Biol. 5(8), e1000438 (2009)","journal-title":"PLoS Comput. Biol."},{"issue":"4","key":"20_CR24","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1038\/nbt0402-370","volume":"20","author":"B Schoeberl","year":"2002","unstructured":"Schoeberl, B., Eichler-Jonsson, C., Gilles, E.D., M\u00fcller, G.: Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized egf receptors. Nature Biotechnol. 20(4), 370\u2013375 (2002)","journal-title":"Nature Biotechnol."},{"key":"20_CR25","unstructured":"Schwoon, S.: Mole. http:\/\/www.lsv.ens-cachan.fr\/~schwoon\/tools\/mole\/"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67471-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T10:32:16Z","timestamp":1692959536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67471-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674704","9783319674711"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67471-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}