TY - BOOK AU - Alon, U. PY - 2006 DA - 2006// TI - An Introduction to Systems Biology: Design Principles of Biological Circuits PB - Chapman and Hall/CRC CY - London ID - Alon2006 ER - TY - JOUR AU - Le Novere, N. PY - 2015 DA - 2015// TI - Quantitative and logic modelling of molecular and gene networks JO - Nat Rev Genet VL - 16 UR - https://doi.org/10.1038/nrg3885 DO - 10.1038/nrg3885 ID - Le Novere2015 ER - TY - JOUR AU - Calzone, L. AU - Barillot, E. AU - Zinovyev, A. PY - 2018 DA - 2018// TI - Logical versus kinetic modeling of biological networks: applications in cancer research JO - Curr Opin Cell Eng VL - 21 UR - https://doi.org/10.1016/j.coche.2018.02.005 DO - 10.1016/j.coche.2018.02.005 ID - Calzone2018 ER - TY - JOUR AU - Aldridge, B. B. AU - Saez-Rodriguez, J. AU - Muhlich, J. L. AU - Sorger, P. K. AU - Lauffenburger, D. A. PY - 2009 DA - 2009// TI - Fuzzy logic analysis of kinase pathway crosstalk in TNF/EGF/insulin-induced signaling JO - PLoS Comput Biol VL - 5 UR - https://doi.org/10.1371/journal.pcbi.1000340 DO - 10.1371/journal.pcbi.1000340 ID - Aldridge2009 ER - TY - JOUR AU - Wynn, M. L. AU - Consul, N. AU - Merajver, S. D. AU - Schnell, S. PY - 2012 DA - 2012// TI - Logic-based models in systems biology: a predictive and parameter-free network analysis method JO - Integr Biol VL - 4 UR - https://doi.org/10.1039/c2ib20193c DO - 10.1039/c2ib20193c ID - Wynn2012 ER - TY - JOUR AU - Morris, M. K. AU - Saez-Rodriguez, J. AU - Sorger, P. K. AU - Lauffenburger, D. A. PY - 2010 DA - 2010// TI - Logic-based models for the analysis of cell signaling networks JO - Biochemistry VL - 49 UR - https://doi.org/10.1021/bi902202q DO - 10.1021/bi902202q ID - Morris2010 ER - TY - JOUR AU - Kauffman, S. PY - 1974 DA - 1974// TI - The large scale structure and dynamics of gene control circuits: an ensemble approach JO - J Theor Biol VL - 44 UR - https://doi.org/10.1016/S0022-5193(74)80037-8 DO - 10.1016/S0022-5193(74)80037-8 ID - Kauffman1974 ER - TY - JOUR AU - Kauffman, S. A. PY - 1969 DA - 1969// TI - Metabolic stability and epigenesis in randomly constructed genetic nets JO - J Theor Biol VL - 22 UR - https://doi.org/10.1016/0022-5193(69)90015-0 DO - 10.1016/0022-5193(69)90015-0 ID - Kauffman1969 ER - TY - JOUR AU - Kauffman, S. PY - 1969 DA - 1969// TI - Homeostasis and differentiation in random genetic control networks JO - Nature VL - 224 UR - https://doi.org/10.1038/224177a0 DO - 10.1038/224177a0 ID - Kauffman1969 ER - TY - JOUR AU - Naldi, A. AU - Hernandez, C. AU - Abou-Jaoudé, W. AU - Monteiro, P. T. AU - Chaouiya, C. AU - Thieffry, D. PY - 2018 DA - 2018// TI - Logical modeling and analysis of cellular regulatory networks with ginsim 3.0 JO - Front Physiol VL - 9 UR - https://doi.org/10.3389/fphys.2018.00646 DO - 10.3389/fphys.2018.00646 ID - Naldi2018 ER - TY - JOUR AU - Gonzalez, A. G. AU - Naldi, A. AU - Sanchez, L. AU - Thieffry, D. AU - Chaouiya, C. PY - 2006 DA - 2006// TI - GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks JO - Biosystems VL - 84 UR - https://doi.org/10.1016/j.biosystems.2005.10.003 DO - 10.1016/j.biosystems.2005.10.003 ID - Gonzalez2006 ER - TY - JOUR AU - Müssel, C. AU - Hopfensitz, M. AU - Kestler, H. A. PY - 2010 DA - 2010// TI - BoolNet?an R package for generation, reconstruction and analysis of Boolean networks JO - Bioinformatics VL - 26 UR - https://doi.org/10.1093/bioinformatics/btq124 DO - 10.1093/bioinformatics/btq124 ID - Müssel2010 ER - TY - JOUR AU - Stoll, G. AU - Viara, E. AU - Barillot, E. AU - Calzone, L. PY - 2012 DA - 2012// TI - Continuous time Boolean modeling for biological signaling: application of Gillespie algorithm JO - BMC Syst Biol VL - 6 UR - https://doi.org/10.1186/1752-0509-6-116 DO - 10.1186/1752-0509-6-116 ID - Stoll2012 ER - TY - JOUR AU - Stoll, G. AU - Caron, B. AU - Viara, E. AU - Dugourd, A. AU - Zinovyev, A. AU - Naldi, A. AU - Kroemer, G. AU - Barillot, E. AU - Calzone, L. PY - 2017 DA - 2017// TI - MaBoSS 2.0: an environment for stochastic Boolean modeling JO - Bioinformatics VL - 33 UR - https://doi.org/10.1093/bioinformatics/btx123 DO - 10.1093/bioinformatics/btx123 ID - Stoll2017 ER - TY - JOUR AU - Gillespie, D. T. PY - 1977 DA - 1977// TI - Exact stochastic simulation of coupled chemical reactions JO - J Phys Chem VL - 81 UR - https://doi.org/10.1021/j100540a008 DO - 10.1021/j100540a008 ID - Gillespie1977 ER - TY - JOUR AU - Rao, C. V. AU - Arkin, A. P. PY - 2003 DA - 2003// TI - Stochastic chemical kinetics and the quasi-steady-state assumption: Application to the Gillespie algorithm JO - J Chem Phys VL - 118 UR - https://doi.org/10.1063/1.1545446 DO - 10.1063/1.1545446 ID - Rao2003 ER - TY - BOOK AU - Érdi, P. AU - Tóth, J. PY - 1989 DA - 1989// TI - Mathematical Models of Chemical Reactions: Theory and Applications of Deterministic and Stochastic Models PB - Manchester University Press CY - Manchester ID - Érdi1989 ER - TY - JOUR AU - Béal, J. AU - Montagud, A. AU - Traynard, P. AU - Barillot, E. AU - Calzone, L. PY - 2019 DA - 2019// TI - Personalization of logical models with multi-omics data allows clinical stratification of patients JO - Front Physiol VL - 9 UR - https://doi.org/10.3389/fphys.2018.01965 DO - 10.3389/fphys.2018.01965 ID - Béal2019 ER - TY - JOUR AU - Zi, Z. PY - 2011 DA - 2011// TI - Sensitivity analysis approaches applied to systems biology models JO - IET Syst Biol VL - 5 UR - https://doi.org/10.1049/iet-syb.2011.0015 DO - 10.1049/iet-syb.2011.0015 ID - Zi2011 ER - TY - JOUR AU - Fröhlich, F. AU - Kaltenbacher, B. AU - Theis, F. J. AU - Hasenauer, J. PY - 2017 DA - 2017// TI - Scalable parameter estimation for genome-scale biochemical reaction networks JO - PLoS Comput Biol VL - 13 UR - https://doi.org/10.1371/journal.pcbi.1005331 DO - 10.1371/journal.pcbi.1005331 ID - Fröhlich2017 ER - TY - JOUR AU - Gunawardena, J. PY - 2012 DA - 2012// TI - A linear framework for time-scale separation in nonlinear biochemical systems JO - PloS ONE VL - 7 UR - https://doi.org/10.1371/journal.pone.0036321 DO - 10.1371/journal.pone.0036321 ID - Gunawardena2012 ER - TY - JOUR AU - Mirzaev, I. AU - Gunawardena, J. PY - 2013 DA - 2013// TI - Laplacian dynamics on general graphs JO - Bull Math Biol VL - 75 UR - https://doi.org/10.1007/s11538-013-9884-8 DO - 10.1007/s11538-013-9884-8 ID - Mirzaev2013 ER - TY - STD TI - Koltai M. ExaStoLog tutorial. https://github.com/sysbio-curie/exact-stoch-log-mod/tree/master/doc, Accessed 22 February 2020. UR - https://github.com/sysbio-curie/exact-stoch-log-mod/tree/master/doc ID - ref23 ER - TY - JOUR AU - Li, W. AU - Cui, L. -. B. AU - Ng, M. K. PY - 2012 DA - 2012// TI - On computation of the steady-state probability distribution of probabilistic Boolean networks with gene perturbation JO - J Comput Appl Math VL - 236 UR - https://doi.org/10.1016/j.cam.2012.02.022 DO - 10.1016/j.cam.2012.02.022 ID - Li2012 ER - TY - JOUR AU - Trairatphisan, P. AU - Mizera, A. AU - Pang, J. AU - Tantar, A. A. AU - Schneider, J. AU - Sauter, T. PY - 2013 DA - 2013// TI - Recent development and biomedical applications of probabilistic Boolean networks JO - Cell Commun Signal VL - 11 UR - https://doi.org/10.1186/1478-811X-11-46 DO - 10.1186/1478-811X-11-46 ID - Trairatphisan2013 ER - TY - STD TI - Fages F, Soliman S. From reaction models to influence graphs and back: a theorem. In: International Workshop on Formal Methods in Systems Biology. Springer: 2008. p. 90–102. ID - ref26 ER - TY - JOUR AU - Bérenguier, D. AU - Chaouiya, C. AU - Monteiro, P. T. AU - Naldi, A. AU - Remy, E. AU - Thieffry, D. AU - Tichit, L. PY - 2013 DA - 2013// TI - Dynamical modeling and analysis of large cellular regulatory networks JO - Chaos: An Interdiscip J Nonlinear Sci VL - 23 UR - https://doi.org/10.1063/1.4809783 DO - 10.1063/1.4809783 ID - Bérenguier2013 ER - TY - JOUR AU - Stoll, G. AU - Rougemont, J. AU - Naef, F. PY - 2006 DA - 2006// TI - Few crucial links assure checkpoint efficiency in the yeast cell-cycle network JO - Bioinformatics VL - 22 UR - https://doi.org/10.1093/bioinformatics/btl432 DO - 10.1093/bioinformatics/btl432 ID - Stoll2006 ER - TY - JOUR AU - Shmulevich, I. AU - Dougherty, E. R. AU - Kim, S. AU - Zhang, W. PY - 2002 DA - 2002// TI - Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks JO - Bioinformatics VL - 18 UR - https://doi.org/10.1093/bioinformatics/18.2.261 DO - 10.1093/bioinformatics/18.2.261 ID - Shmulevich2002 ER - TY - BOOK AU - Van Kampen, N. G. PY - 1992 DA - 1992// TI - Stochastic processes in physics and chemistry PB - Elsevier CY - Amsterdam ID - Van Kampen1992 ER - TY - JOUR AU - Radulescu, O. AU - Gorban, A. N. AU - Zinovyev, A. AU - Lilienbaum, A. PY - 2008 DA - 2008// TI - Robust simplifications of multiscale biochemical networks JO - BMC Syst Biol VL - 2 UR - https://doi.org/10.1186/1752-0509-2-86 DO - 10.1186/1752-0509-2-86 ID - Radulescu2008 ER - TY - JOUR AU - Brun, M. AU - Dougherty, E. R. AU - Shmulevich, I. PY - 2005 DA - 2005// TI - Steady-state probabilities for attractors in probabilistic Boolean networks JO - Signal Process VL - 85 UR - https://doi.org/10.1016/j.sigpro.2005.02.016 DO - 10.1016/j.sigpro.2005.02.016 ID - Brun2005 ER - TY - JOUR AU - Zhang, S. -. Q. AU - Ching, W. -. K. AU - Ng, M. K. AU - Akutsu, T. PY - 2007 DA - 2007// TI - Simulation study in probabilistic Boolean network models for genetic regulatory networks JO - Int J Data Min Bioinforma VL - 1 UR - https://doi.org/10.1504/IJDMB.2007.011610 DO - 10.1504/IJDMB.2007.011610 ID - Zhang2007 ER - TY - JOUR AU - Ching, W. -. K. AU - Zhang, S. AU - Ng, M. K. AU - Akutsu, T. PY - 2007 DA - 2007// TI - An approximation method for solving the steady-state probability distribution of probabilistic Boolean networks JO - Bioinformatics VL - 23 UR - https://doi.org/10.1093/bioinformatics/btm142 DO - 10.1093/bioinformatics/btm142 ID - Ching2007 ER - TY - BOOK AU - Hirsch, M. W. AU - Devaney, R. L. AU - Smale, S. PY - 1974 DA - 1974// TI - Differential equations, dynamical systems, and linear algebra PB - Academic press CY - Cambridge ID - Hirsch1974 ER - TY - JOUR AU - Kahn, A. B. PY - 1962 DA - 1962// TI - Topological sorting of large networks JO - Commun ACM VL - 5 UR - https://doi.org/10.1145/368996.369025 DO - 10.1145/368996.369025 ID - Kahn1962 ER - TY - BOOK AU - Dasgupta, S. AU - Papadimitriou, C. H. AU - Vazirani, U. V. PY - 2008 DA - 2008// TI - Algorithms PB - McGraw-Hill Higher Education New York CY - New York ID - Dasgupta2008 ER - TY - JOUR AU - Traynard, P. AU - Fauré, A. AU - Fages, F. AU - Thieffry, D. PY - 2016 DA - 2016// TI - Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation JO - Bioinformatics VL - 32 UR - https://doi.org/10.1093/bioinformatics/btw457 DO - 10.1093/bioinformatics/btw457 ID - Traynard2016 ER - TY - JOUR AU - Zañudo, J. G. T. AU - Scaltriti, M. AU - Albert, R. PY - 2017 DA - 2017// TI - A network modeling approach to elucidate drug resistance mechanisms and predict combinatorial drug treatments in breast cancer JO - Cancer Converg VL - 1 UR - https://doi.org/10.1186/s41236-017-0007-6 DO - 10.1186/s41236-017-0007-6 ID - Zañudo2017 ER - TY - JOUR AU - Cohen, D. P. AU - Martignetti, L. AU - Robine, S. AU - Barillot, E. AU - Zinovyev, A. AU - Calzone, L. PY - 2015 DA - 2015// TI - Mathematical modelling of molecular pathways enabling tumour cell invasion and migration JO - PLoS Comput Biol VL - 11 UR - https://doi.org/10.1371/journal.pcbi.1004571 DO - 10.1371/journal.pcbi.1004571 ID - Cohen2015 ER - TY - JOUR AU - Sahin, Ö. AU - Fröhlich, H. AU - Löbke, C. AU - Korf, U. AU - Burmester, S. AU - Majety, M. AU - Mattern, J. AU - Schupp, I. AU - Chaouiya, C. AU - Thieffry, D. PY - 2009 DA - 2009// TI - Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance JO - BMC Syst Biol VL - 3 UR - https://doi.org/10.1186/1752-0509-3-1 DO - 10.1186/1752-0509-3-1 ID - Sahin2009 ER - TY - STD TI - Noel V. MaBoSS-Sampling. https://github.com/sysbio-curie/MaBoSS-Sampling/, Accessed 6 March 2020. UR - https://github.com/sysbio-curie/MaBoSS-Sampling/ ID - ref42 ER - TY - JOUR AU - Santio, N. M. AU - Landor, S. K. -. J. AU - Vahtera, L. AU - Ylä-Pelto, J. AU - Paloniemi, E. AU - Imanishi, S. Y. AU - Corthals, G. AU - Varjosalo, M. AU - Manoharan, G. B. AU - Uri, A. PY - 2016 DA - 2016// TI - Phosphorylation of Notch1 by Pim kinases promotes oncogenic signaling in breast and prostate cancer cells JO - Oncotarget VL - 7 UR - https://doi.org/10.18632/oncotarget.9215 DO - 10.18632/oncotarget.9215 ID - Santio2016 ER - TY - JOUR AU - Constantine, P. G. AU - Diaz, P. PY - 2017 DA - 2017// TI - Global sensitivity metrics from active subspaces JO - Reliab Eng Syst Saf VL - 162 UR - https://doi.org/10.1016/j.ress.2017.01.013 DO - 10.1016/j.ress.2017.01.013 ID - Constantine2017 ER - TY - JOUR AU - Dorel, M. AU - Klinger, B. AU - Gross, T. AU - Sieber, A. AU - Prahallad, A. AU - Bosdriesz, E. AU - Wessels, L. F. AU - Blüthgen, N. PY - 2018 DA - 2018// TI - Modelling signalling networks from perturbation data JO - Bioinformatics VL - 34 UR - https://doi.org/10.1093/bioinformatics/bty473 DO - 10.1093/bioinformatics/bty473 ID - Dorel2018 ER - TY - STD TI - Klinger B, Sieber A, Fritsche-Guenther R, Witzel F, Berry L, Schumacher D, Yan Y, Durek P, Merchant M, Schäfer R, et al. Network quantification of EGFR signaling unveils potential for targeted combination therapy. Mol Syst Biol. 2013; 9(1). ID - ref46 ER - TY - JOUR AU - Kwiatkowska, M. AU - Norman, G. AU - Parker, D. PY - 2009 DA - 2009// TI - PRISM: probabilistic model checking for performance and reliability analysis JO - ACM SIGMETRICS Perform Eval Rev VL - 36 UR - https://doi.org/10.1145/1530873.1530882 DO - 10.1145/1530873.1530882 ID - Kwiatkowska2009 ER - TY - STD TI - Kwiatkowska M, Norman G, Parker D. Symmetry reduction for probabilistic model checking. In: International Conference on Computer Aided Verification. Springer: 2006. p. 234–48. ID - ref48 ER - TY - JOUR AU - Gorban, A. N. AU - Radulescu, O. PY - 2008 DA - 2008// TI - Dynamic and static limitation in multiscale reaction networks, revisited JO - Adv Chem Eng VL - 34 UR - https://doi.org/10.1016/S0065-2377(08)00003-3 DO - 10.1016/S0065-2377(08)00003-3 ID - Gorban2008 ER - TY - JOUR AU - Gorban, A. N. AU - Radulescu, O. AU - Zinovyev, A. Y. PY - 2010 DA - 2010// TI - Asymptotology of chemical reaction networks JO - Chem Eng Sci VL - 65 UR - https://doi.org/10.1016/j.ces.2009.09.005 DO - 10.1016/j.ces.2009.09.005 ID - Gorban2010 ER -