Unfolding of Parametric Boolean Networks

Albert, 2003, The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster, Journal of Theoretical Biology, 223, 1, 10.1016/S0022-5193(03)00035-3 Baier, 2008 Barnat, 2012, On parameter synthesis by parallel model checking, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9, 693, 10.1109/TCBB.2011.110 Bernot, 2004, Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic, Journal of Theoretical Biology, 229, 339, 10.1016/j.jtbi.2004.04.003 Corblin, 2010, Applications of a formal approach to decipher discrete genetic networks, BMC Bioinformatics, 11, 1, 10.1186/1471-2105-11-385 de Jong, 2002, Modeling and simulation of genetic regulatory systems: A literature review, Journal of Computational Biology, 9, 67, 10.1089/10665270252833208 Esparza, 2010, Unfoldings: A Partial-Order Approach to Model Checking Esparza, 2002, An improvement of McMillan's unfolding algorithm, Formal Methods in System Design, 20, 285, 10.1023/A:1014746130920 Fromentin, 2007, Analysing gene regulatory networks by both constraint programming and model-checking, 4595 Gallet, 2014, Formal Methods and Software Engineering, 155 Giacomantonio, 2010, A boolean model of the gene regulatory network underlying mammalian cortical area development, PLOS Computational Biology, 6, 1, 10.1371/journal.pcbi.1000936 Grätzer, 2011 Kitano, 2002, Computational systems biology, Nature, 420, 206, 10.1038/nature01254 Klarner, 2012, Computational Methods in Systems Biology, 207 Laubenbacher, 2004, A computational algebra approach to the reverse engineering of gene regulatory networks, Journal of Theoretical Biology, 229, 523, 10.1016/j.jtbi.2004.04.037 MacNamara, 2012, State–time spectrum of signal transduction logic models, Physical Biology, 9, 10.1088/1478-3975/9/4/045003 Ostrowski, 2015, Computational Methods in Systems Biology, 170 Thomas, 1973, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, 42, 563, 10.1016/0022-5193(73)90247-6 Wang, 2012, Boolean modeling in systems biology: an overview of methodology and applications, Physical Biology, 9, 10.1088/1478-3975/9/5/055001