Cell Fates as High-Dimensional Attractor States of a Complex Gene Regulatory Network, Physical Review Letters, vol.26, issue.12, p.128701, 2005. ,
DOI : 10.1006/excr.2000.5044
Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc, Bioinformatics, vol.24, issue.16, pp.234-274, 2008. ,
DOI : 10.1093/bioinformatics/btn266
The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster, Journal of Theoretical Biology, vol.223, issue.1, pp.1-18, 2003. ,
DOI : 10.1016/S0022-5193(03)00035-3
12:20 ? We accept pre-submission inquiries ? Our selector tool helps you to find the most relevant journal ? We provide round the clock customer support ? Convenient online submission ? Thorough peer review ? Inclusion in PubMed and all major indexing services ? Maximum visibility for your research Submit your manuscript at www.biomedcentral, com/submit Submit your next manuscript to BioMed Central and we will help you at every step, 2017. ,
The origins of order: self-organization and selection in evolution, p.354, 1993. ,
Sufficient conditions for reachability in automata networks with priorities, Theoretical Computer Science, vol.608, pp.66-83, 2015. ,
DOI : 10.1016/j.tcs.2015.08.040
URL : https://hal.archives-ouvertes.fr/hal-01202671
Goal-oriented reduction of automata networks International Conference on computational methods in systems biology, Lecture notes in bioinformatics, vol.9859, pp.252-72, 2016. ,
Regulatory networks seen as asynchronous automata: A logical description, Journal of Theoretical Biology, vol.153, issue.1, pp.1-23, 1991. ,
DOI : 10.1016/S0022-5193(05)80350-9
Algorithms for Finding Small Attractors in Boolean Networks, EURASIP Journal on Bioinformatics and Systems Biology, vol.9, issue.6, pp.1-13, 2007. ,
DOI : 10.1016/j.jtbi.2006.09.023
Stable and unstable attractors in Boolean networks, Physical Review E, vol.72, issue.5, p.55101, 2005. ,
DOI : 10.1103/PhysRevLett.95.048701
URL : http://arxiv.org/pdf/cond-mat/0411102
Finding a Periodic Attractor of a Boolean Network, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.9, issue.5, pp.1410-1431, 2012. ,
DOI : 10.1109/TCBB.2012.87
The dynamics of molecular networks: applications to therapeutic discovery, Drug Discovery Today, vol.6, issue.24, pp.1267-77, 2001. ,
DOI : 10.1016/S1359-6446(01)02096-7
Improving the efficiency of attractor cycle identification in Boolean networks. Phys D: Nonlinear Phenom, pp.7-21, 2006. ,
Modeling of Multiple Valued Gene Regulatory Networks, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, pp.1398-404, 2007. ,
DOI : 10.1109/IEMBS.2007.4352560
BDD-based synthesis of reconfigurable single-electron transistor arrays, 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp.47-54 ,
DOI : 10.1109/ICCAD.2014.7001328
A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.8, issue.5, pp.1393-1402, 2011. ,
DOI : 10.1109/TCBB.2010.20
ASP-G: an ASP-based method for finding attractors in genetic regulatory networks, Bioinformatics, vol.30, issue.21, 2041. ,
DOI : 10.1093/bioinformatics/btu481
Knowledge representation, reasoning and declarative problem solving, 2003. ,
DOI : 10.1017/CBO9780511543357
Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming, 2015 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp.281-85, 2015. ,
DOI : 10.1109/BIBM.2015.7359694
URL : https://hal.archives-ouvertes.fr/hal-01252610
Analyzing Large Network Dynamics with Process Hitting, Log Model Biol Syst, vol.153, issue.1, pp.125-66 ,
DOI : 10.1016/S0022-5193(05)80350-9
FINDING ATTRACTORS IN ASYNCHRONOUS BOOLEAN DYNAMICS, Advances in Complex Systems, vol.99, issue.03, pp.439-488, 2011. ,
DOI : 10.1103/PhysRevE.82.035102
Detection of attractors of large Boolean networks via exhaustive enumeration of appropriate subspaces of the state space, BMC Bioinformatics, vol.14, issue.1, p.1, 2013. ,
DOI : 10.1371/journal.pone.0007992
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1812, 2006. ,
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364
Computing maximal and minimal trap spaces of Boolean networks, Natural Computing, vol.23, issue.2, pp.535-579, 2015. ,
DOI : 10.1088/1478-3975/9/5/055001
Fixed-points in random Boolean networks: The impact of parallelism in the Barab??si???Albert scale-free topology case, Biosystems, vol.150, pp.167-76, 2016. ,
DOI : 10.1016/j.biosystems.2016.10.003
The stable model semantics for logic programming, pp.1070-080, 1988. ,
Theory solving made easy with Clingo 5. Wadern: Schloss Dagstuhl- Leibniz-Zentrum fuer Informatik, 2016. ,
A SAT-based algorithm for computing attractors in synchronous Boolean networks, 2009. ,
Improving BDD-based Attractor Detection for Synchronous Boolean Networks, Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware '15, 2015. ,
DOI : 10.1186/1478-811X-11-46
Algorithms and Complexity Analyses for Control of Singleton Attractors in Boolean Networks, EURASIP Journal on Bioinformatics and Systems Biology, vol.9, issue.3, p.1, 2008. ,
DOI : 10.1016/j.jtbi.2005.03.015
Dynamical behaviour of biological regulatory networks?ii. Immunity control in bacteriophage lambda, Bull Math Biol, vol.57, issue.2, pp.277-97, 1995. ,
Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli, Bioinformatics, vol.21, issue.Suppl 2, pp.190-196, 2005. ,
DOI : 10.1093/bioinformatics/bti1130
URL : https://hal.archives-ouvertes.fr/hal-00117180
Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast, PLoS ONE, vol.11, issue.12, p.1672, 2008. ,
DOI : 10.1371/journal.pone.0001672.t004
Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, pp.124-155, 2006. ,
DOI : 10.1093/bioinformatics/btl210
A methodology for the structural and functional analysis of signaling and regulatory networks, BMC Bioinform, vol.7, issue.1, p.1, 2006. ,
Logical modelling of Drosophila signalling pathways, Molecular BioSystems, vol.14, issue.9, pp.2248-58, 2013. ,
DOI : 10.3390/ijms14035920
URL : https://hal.archives-ouvertes.fr/hal-01596218
Model checking to assess t-helper cell plasticity, Front Bioeng Biotechnol, vol.2, 2014. ,
DOI : 10.1101/012641
Logical Modelling of Gene Regulatory Networks with GINsim, Bact Mol Netw: Methods Protoc, vol.2012, pp.463-79 ,
DOI : 10.1007/978-1-61779-361-5_23
Pint, a static analyzer for dynamics of automata networks, 14th International Conference on computational methods in systems biology, 2016. ,
Cooperative development of logical modelling standards and tools with colomoto, Bioinformatics, vol.013, 2015. ,
Characterization of Reachable Attractors Using Petri Net Unfoldings, International Conference on computational methods in systems biology, pp.129-171 ,
DOI : 10.1007/978-3-319-12982-2_10
URL : https://hal.archives-ouvertes.fr/hal-01060450
Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-85, 1973. ,
DOI : 10.1016/0022-5193(73)90247-6
Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-67, 1969. ,
DOI : 10.1016/0022-5193(69)90015-0
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, pp.238-281, 2004. ,
Synchronism versus asynchronism in monotonic Boolean automata networks, Natural Computing, vol.10, pp.11047-11063 ,
DOI : 10.1088/0022-3719/10/18/008
URL : https://hal.archives-ouvertes.fr/hal-01479438
Identification of bifurcations in biological regulatory networks using answer-set programming. In: Constraint-based methods for bioinformatics Workshop, 2016. ,