TY - JOUR AU - Wuensche, A. PY - 1998 DA - 1998// TI - Genomic regulation modeled as a network with basins of attraction JO - Pac Symp Biocomput VL - 3 ID - Wuensche1998 ER - TY - JOUR AU - Huang, S. AU - Eichler, G. AU - Bar-Yam, Y. AU - Ingber, D. E. PY - 2005 DA - 2005// TI - Cell fates as high-dimensional attractor states of a complex gene regulatory network JO - Phys Rev Lett VL - 94 UR - https://doi.org/10.1103/PhysRevLett.94.128701 DO - 10.1103/PhysRevLett.94.128701 ID - Huang2005 ER - TY - JOUR AU - González, A. AU - Chaouiya, C. AU - Thieffry, D. PY - 2008 DA - 2008// TI - Logical modelling of the role of the hh pathway in the patterning of the drosophila wing disc JO - Bioinformatics VL - 24 UR - https://doi.org/10.1093/bioinformatics/btn266 DO - 10.1093/bioinformatics/btn266 ID - González2008 ER - TY - JOUR AU - Albert, R. AU - Othmer, H. G. PY - 2003 DA - 2003// TI - The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster JO - J Theor Biol VL - 223 UR - https://doi.org/10.1016/S0022-5193(03)00035-3 DO - 10.1016/S0022-5193(03)00035-3 ID - Albert2003 ER - TY - BOOK AU - Stuart, A. PY - 1993 DA - 1993// TI - Kaufmann. The origins of order: self-organization and selection in evolution PB - Oxford University Press CY - Oxford ID - Stuart1993 ER - TY - JOUR AU - Folschette, M. AU - Paulevé, L. AU - Magnin, M. AU - Roux, O. PY - 2015 DA - 2015// TI - Sufficient conditions for reachability in automata networks with priorities JO - Theor Comput Sci VL - 608 UR - https://doi.org/10.1016/j.tcs.2015.08.040 DO - 10.1016/j.tcs.2015.08.040 ID - Folschette2015 ER - TY - STD TI - Paulevé L. Goal-oriented reduction of automata networks. In: International Conference on computational methods in systems biology. Lecture notes in bioinformatics, vol. 9859. Springer; 2016. p. 252–72. ID - ref7 ER - TY - JOUR AU - Thomas, R. PY - 1991 DA - 1991// TI - Regulatory networks seen as asynchronous automata: a logical description JO - J Theor Biol VL - 153 UR - https://doi.org/10.1016/S0022-5193(05)80350-9 DO - 10.1016/S0022-5193(05)80350-9 ID - Thomas1991 ER - TY - JOUR AU - Zhang, S. -. Q. AU - Hayashida, M. AU - Akutsu, T. AU - Ching, W. -. K. AU - Ng, M. K. PY - 2007 DA - 2007// TI - Algorithms for finding small attractors in Boolean networks JO - EURASIP J Bioinform Syst Biol VL - 2007 UR - https://doi.org/10.1155/2007/20180 DO - 10.1155/2007/20180 ID - Zhang2007 ER - TY - JOUR AU - Klemm, K. AU - Bornholdt, S. PY - 2005 DA - 2005// TI - Stable and unstable attractors in Boolean networks JO - Phys Rev E VL - 72 UR - https://doi.org/10.1103/PhysRevE.72.055101 DO - 10.1103/PhysRevE.72.055101 ID - Klemm2005 ER - TY - JOUR AU - Akutsu, T. AU - Kosub, S. AU - Melkman, A. A. AU - Tamura, T. PY - 2012 DA - 2012// TI - Finding a periodic attractor of a Boolean network JO - IEEE/ACM Trans Comput Biol Bioinform VL - 9 UR - https://doi.org/10.1109/TCBB.2012.87 DO - 10.1109/TCBB.2012.87 ID - Akutsu2012 ER - TY - JOUR AU - Somogyi, R. AU - Greller, L. D. PY - 2001 DA - 2001// TI - The dynamics of molecular networks: applications to therapeutic discovery JO - Drug Discov Today VL - 6 UR - https://doi.org/10.1016/S1359-6446(01)02096-7 DO - 10.1016/S1359-6446(01)02096-7 ID - Somogyi2001 ER - TY - JOUR AU - Irons, D. J. PY - 2006 DA - 2006// TI - Improving the efficiency of attractor cycle identification in Boolean networks JO - Phys D: Nonlinear Phenom VL - 217 UR - https://doi.org/10.1016/j.physd.2006.03.006 DO - 10.1016/j.physd.2006.03.006 ID - Irons2006 ER - TY - STD TI - Garg A, Mendoza L, Xenarios I, DeMicheli G. Modeling of multiple valued gene regulatory networks. In: 2007 29th Annual International Conference of the IEEE engineering in medicine and biology society. IEEE; 2007. p. 1398–404. ID - ref14 ER - TY - STD TI - Zhao Z, Liu CW, Wang CY, Qian W. Bdd-based synthesis of reconfigurable single-electron transistor arrays. In: Proceedings of the 2014 IEEE/ACM International Conference on computer-aided design. IEEE Press; 2014. p. 47–54. ID - ref15 ER - TY - JOUR AU - Dubrova, E. AU - Teslenko, M. PY - 2011 DA - 2011// TI - A SAT-based algorithm for finding attractors in synchronous Boolean networks JO - IEEE/ACM Trans Comput Biol Bioinform VL - 8 UR - https://doi.org/10.1109/TCBB.2010.20 DO - 10.1109/TCBB.2010.20 ID - Dubrova2011 ER - TY - STD TI - Mushthofa M, Torres G, Van de Peer Y, Marchal K, De Cock M. ASP-G: an ASP-based method for finding attractors in genetic regulatory networks. Bioinformatics. 2041;481. ID - ref17 ER - TY - BOOK AU - Baral, C. PY - 2003 DA - 2003// TI - Knowledge representation, reasoning and declarative problem solving PB - Cambridge University Press CY - Cambridge UR - https://doi.org/10.1017/CBO9780511543357 DO - 10.1017/CBO9780511543357 ID - Baral2003 ER - TY - STD TI - Ben Abdallah E, Folschette M, Roux O, Magnin M. Exhaustive analysis of dynamical properties of biological regulatory networks with answer set programming. In: 2015 IEEE International Conference on bioinformatics and biomedicine (BIBM). IEEE; 2015. p. 281–85. ID - ref19 ER - TY - STD TI - Paulevé L, Chancellor C, Folschette M, Magnin M, Roux O. Analyzing large network dynamics with process hitting. Log Model Biol Syst. 2014:125–66. ID - ref20 ER - TY - JOUR AU - Skodawessely, T. AU - Klemm, K. PY - 2011 DA - 2011// TI - Finding attractors in asynchronous Boolean dynamics JO - Adv Complex Syst VL - 14 UR - https://doi.org/10.1142/S0219525911003098 DO - 10.1142/S0219525911003098 ID - Skodawessely2011 ER - TY - JOUR AU - Berntenis, N. AU - Ebeling, M. PY - 2013 DA - 2013// TI - Detection of attractors of large Boolean networks via exhaustive enumeration of appropriate subspaces of the state space JO - BMC Bioinform VL - 14 UR - https://doi.org/10.1186/1471-2105-14-361 DO - 10.1186/1471-2105-14-361 ID - Berntenis2013 ER - TY - JOUR AU - Calzone, L. AU - Fages, F. AU - Soliman, S. PY - 2006 DA - 2006// TI - Biocham: an environment for modeling biological systems and formalizing experimental knowledge JO - Bioinformatics VL - 22 UR - https://doi.org/10.1093/bioinformatics/btl172 DO - 10.1093/bioinformatics/btl172 ID - Calzone2006 ER - TY - JOUR AU - Klarner, H. AU - Bockmayr, A. AU - Siebert, H. PY - 2015 DA - 2015// TI - Computing maximal and minimal trap spaces of Boolean networks JO - Nat Comput VL - 14 UR - https://doi.org/10.1007/s11047-015-9520-7 DO - 10.1007/s11047-015-9520-7 ID - Klarner2015 ER - TY - JOUR AU - Espanés, P. M. AU - Osses, A. AU - Rapaport, I. PY - 2016 DA - 2016// TI - Fixed-points in random Boolean networks: the impact of parallelism in the barabási-albert scale-free topology case JO - Biosystems VL - 150 UR - https://doi.org/10.1016/j.biosystems.2016.10.003 DO - 10.1016/j.biosystems.2016.10.003 ID - Espanés2016 ER - TY - STD TI - Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: ICLP/SLP; 1988. p. 1070–080. ID - ref26 ER - TY - BOOK AU - Gebser, M. AU - Kaminski, R. AU - Kaufmann, B. AU - Ostrowski, M. AU - Schaub, T. AU - Wanko, P. PY - 2016 DA - 2016// TI - Theory solving made easy with Clingo 5 PB - Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik CY - Wadern ID - Gebser2016 ER - TY - STD TI - Dubrova E, Teslenko M. A SAT-based algorithm for computing attractors in synchronous Boolean networks; 2009. arXiv preprint arXiv:0901.4448. UR - http://arxiv.org/abs/0901.4448 ID - ref28 ER - TY - STD TI - Qu H, Yuan Q, Pang J, Mizera A. Improving bdd-based attractor detection for synchronous Boolean networks. In: Proceedings of the 7th Asia-Pacific Symposium on Internetware. ACM; 2015. ID - ref29 ER - TY - JOUR AU - Hayashida, M. AU - Tamura, T. AU - Akutsu, T. AU - Zhang, S. -. Q. AU - Ching, W. -. K. PY - 2008 DA - 2008// TI - Algorithms and complexity analyses for control of singleton attractors in Boolean networks JO - EURASIP J Bioinform Syst Biol VL - 2008 UR - https://doi.org/10.1155/2008/521407 DO - 10.1155/2008/521407 ID - Hayashida2008 ER - TY - JOUR AU - Thieffry, D. AU - Thomas, R. PY - 1995 DA - 1995// TI - Dynamical behaviour of biological regulatory networks—ii. Immunity control in bacteriophage lambda JO - Bull Math Biol VL - 57 ID - Thieffry1995 ER - TY - JOUR AU - Simao, E. AU - Remy, E. AU - Thieffry, D. AU - Chaouiya, C. PY - 2005 DA - 2005// TI - Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. coli JO - Bioinformatics VL - 21 UR - https://doi.org/10.1093/bioinformatics/bti1130 DO - 10.1093/bioinformatics/bti1130 ID - Simao2005 ER - TY - JOUR AU - Davidich, M. I. AU - Bornholdt, S. PY - 2008 DA - 2008// TI - Boolean network model predicts cell cycle sequence of fission yeast JO - PloS ONE VL - 3 UR - https://doi.org/10.1371/journal.pone.0001672 DO - 10.1371/journal.pone.0001672 ID - Davidich2008 ER - TY - JOUR AU - Fauré, A. AU - Naldi, A. AU - Chaouiya, C. AU - Thieffry, D. PY - 2006 DA - 2006// TI - Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle JO - Bioinformatics VL - 22 UR - https://doi.org/10.1093/bioinformatics/btl210 DO - 10.1093/bioinformatics/btl210 ID - Fauré2006 ER - TY - JOUR AU - Klamt, S. AU - Saez-Rodriguez, J. AU - Lindquist, J. A. AU - Simeoni, L. AU - Gilles, E. D. PY - 2006 DA - 2006// TI - A methodology for the structural and functional analysis of signaling and regulatory networks JO - BMC Bioinform VL - 7 UR - https://doi.org/10.1186/1471-2105-7-56 DO - 10.1186/1471-2105-7-56 ID - Klamt2006 ER - TY - JOUR AU - Mbodj, A. AU - Junion, G. AU - Brun, C. AU - Furlong, E. E. AU - Thieffry, D. PY - 2013 DA - 2013// TI - Logical modelling of drosophila signalling pathways JO - Molecular BioSyst VL - 9 UR - https://doi.org/10.1039/c3mb70187e DO - 10.1039/c3mb70187e ID - Mbodj2013 ER - TY - STD TI - Abou-Jaoudé W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D. Model checking to assess t-helper cell plasticity. Front Bioeng Biotechnol. 2014;2. ID - ref37 ER - TY - STD TI - Chaouiya C, Naldi A, Thieffry D. Logical modelling of gene regulatory networks with GINsim. Bact Mol Netw: Methods Protoc. 2012:463–79. ID - ref38 ER - TY - STD TI - Paulevé L. Pint, a static analyzer for dynamics of automata networks. In: 14th International Conference on computational methods in systems biology (CMSB 2016); 2016. ID - ref39 ER - TY - STD TI - Naldi A, Monteiro PT, Müssel C, Kestler HA, Thieffry D, Xenarios I, Saez-Rodriguez J, Helikar T, Chaouiya C, et al. Cooperative development of logical modelling standards and tools with colomoto. Bioinformatics. 2015;013. ID - ref40 ER - TY - STD TI - Chatain T, Haar S, Jezequel L, Paulevé L, Schwoon S. Characterization of reachable attractors using petri net unfoldings. In: International Conference on computational methods in systems biology. Springer. p. 129–42. ID - ref41 ER - TY - JOUR AU - Thomas, R. PY - 1973 DA - 1973// TI - Boolean formalization of genetic control circuits JO - J Theor Biol VL - 42 UR - https://doi.org/10.1016/0022-5193(73)90247-6 DO - 10.1016/0022-5193(73)90247-6 ID - Thomas1973 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 - STD TI - Gershenson C. Updating schemes in random Boolean networks: do they really matter. In: Artificial life IX Proceedings of the Ninth International Conference on the simulation and synthesis of living systems. MIT Press; 2004. p. 238–43. ID - ref44 ER - TY - JOUR AU - Noual, M. AU - Sené, S. PY - 2017 DA - 2017// TI - Synchronism versus asynchronism in monotonic Boolean automata networks JO - Nat Comput ID - Noual2017 ER - TY - STD TI - Fippo-Fittime L, Roux O, Guziolowski C, Paulevé L. Identification of bifurcations in biological regulatory networks using answer-set programming. In: Constraint-based methods for bioinformatics Workshop; 2016. ID - ref46 ER -