Research graph
References from Attractor detection and enumeration algorithms for Boolean networks. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1016/0022-5193(69)90015-0
10.1016/0022-5193(69)90015-0 · External reference
Homeostasis and differentiation in random genetic control networks
10.1038/224177a0 · 1969 · External reference
10.1093/oso/9780195079517.001.0001
10.1093/oso/9780195079517.001.0001 · 1993 · External reference
Metabolic stability and epigenesis in randomly constructed genetic nets
10.1016/0022-5193(69)90015-0 · 2010 · External reference
10.1007/978-0-85729-097-7
10.1007/978-0-85729-097-7 · 2011 · External reference
10.1142/10801
10.1142/10801 · 2018 · External reference
10.1137/1.9780898718539
10.1137/1.9780898718539 · 2001 · External reference
A comprehensive, mechanistically detailed, and executable model of the cell division cycle in Saccharomyces cerevisiae
10.1038/s41467-019-08903-w · 2019 · External reference
Stochastic simulation of Boolean rxncon models: towards quantitative analysis of large signaling networks
10.1186/s12918-015-0193-8 · 2015 · External reference
Using rxncon to develop rule-based models
10.1007/978-1-4939-9102-0_4 · 2019 · External reference
10.1016/j.jtbi.2010.07.022
10.1016/j.jtbi.2010.07.022 · External reference
A network model to explore the effect of the micro-environment on endothelial cell behavior during angiogenesis
10.3389/fphys.2017.00960 · 2017 · External reference
Dynamical and structural analysis of a T cell survival network identifies novel candidate therapeutic targets for large granular lymphocyte leukemia
10.1371/journal.pcbi.1002267 · 2011 · External reference
Logical modeling and dynamical analysis of cellular networks
2016 · External reference
Identification of periodic attractors in Boolean networks using a priori information
10.1371/journal.pcbi.1009702 · 2022 · External reference
A system for identifying genetic networks from gene expression patterns produced by gene disruptions and overexpressions
1998 · External reference
Positive and negative circuits in discrete neural networks
10.1109/tnn.2003.821555 · 2004 · External reference
On finding a fixed point in a Boolean network with maximum in degree 2
10.1587/transfun.e92.a.1771 · 2009 · External reference
An improved satisfiability algorithm for nested analyzing functions and its application to determining a singleton attractor of a Boolean network
10.1089/cmb.2013.0060 · 2013 · External reference
On the number of fixed points in regulatory Boolean networks
10.1007/s11538-008-9304-7 · 2008 · External reference
Sequential operator for filtering cycles in Boolean networks
10.1016/j.aam.2010.03.002 · 2010 · External reference
10.1002/cplx.10022
10.1002/cplx.10022 · External reference
Nested canalyzing, unate cascade, and polynomial functions
10.1016/j.physd.2007.06.022 · 2007 · External reference
10.1073/pnas.0407783101
10.1073/pnas.0407783101 · External reference
Nested canalyzing depth and network stability
10.1007/s11538-011-9692-y · 2004 · External reference
10.1016/j.tcs.2013.02.020
10.1016/j.tcs.2013.02.020 · External reference
The dynamics of conjunctive and disjunctive Boolean network models
10.1007/s11538-010-9501-z · 2010 · External reference
10.1007/978-3-642-40867-0_9
10.1007/978-3-642-40867-0_9 · 2013 · External reference
10.4204/eptcs.90.4
10.4204/eptcs.90.4 · External reference
Boolean monomial dynamical systems
10.1007/s00026-004-0230-6 · 2005 · External reference
Monomial dynamical systems in # P-complete
2012 · External reference
Unresolved reference
External reference
10.1016/j.entcs.2016.09.016
10.1016/j.entcs.2016.09.016 · External reference
Dimension reduction of large sparse AND-NOT network models
10.1016/j.entcs.2015.06.012 · 2015 · External reference
10.1007/978-0-387-21789-5_2
10.1007/978-0-387-21789-5_2 · 2003 · External reference
Unresolved reference
1997 · External reference
10.1016/j.jtbi.2005.03.015
10.1016/j.jtbi.2005.03.015 · External reference
Number and length of attractors in a critical Kauffman model with connectivity one
10.1103/physrevlett.94.088701 · 2005 · External reference
Superpolynomial growth in the number of attractors in Kauffman networks
10.1103/physrevlett.90.098701 · 2003 · External reference
Regulatory networks seen as asynchronous automata: a logical description
10.1016/s0022-5193(05)80350-9 · 1991 · External reference
Taming asynchrony for attractor detection in large Boolean networks
10.1109/tcbb.2018.2850901 · 2019 · External reference
An FVS-based approach to attractor detection in asynchronous random Boolean networks
10.1109/tcbb.2020.3028862 · 2022 · External reference
Unresolved reference
External reference
10.1109/tcbb.2007.70254
10.1109/tcbb.2007.70254 · External reference
10.1109/tcbb.2010.20
10.1109/tcbb.2010.20 · External reference
Finite size corrections to random Boolean networks
2006 · External reference
Unresolved reference
2017 · External reference
Derandomizing the HSSW algorithm for 3-SAT
10.1007/s00453-012-9741-4 · 2013 · External reference
A contraction algorithm for finding small cycle cutlets
10.1016/0196-6774(88)90013-2 · 1988 · External reference
Improved algorithms for feedback vertex set problems
10.1016/j.jcss.2008.05.002 · 2008 · External reference
Unresolved reference
2020 · External reference
10.1016/j.jtbi.2013.06.009
10.1016/j.jtbi.2013.06.009 · External reference
Expected number of fixed points in Boolean networks with arbitrary topology
10.1103/physrevlett.119.028301 · 2017 · External reference
Algorithms for finding small attractors in Boolean networks
10.1155/2007/20180 · 2007 · External reference
Detection a singleton attractor in a Boolean network utilizing SAT algorithms
10.1587/transfun.e92.a.493 · 2009 · External reference
Unresolved reference
2005 · External reference
Determining a singleton attractor of an AND/OR Boolean network in O(1.587n) time
10.1016/j.ipl.2010.05.001 · 2010 · External reference
An improved upper bound for SAT
10.1016/j.tcs.2021.06.045 · 2021 · External reference
Unresolved reference
2006 · External reference
10.1007/978-3-642-16533-7
10.1007/978-3-642-16533-7 · 2010 · External reference
Finding a periodic attractor of a Boolean networks
10.1109/tcbb.2012.87 · 2012 · External reference
A fixed-parameter algorithm for detecting a singleton attractor in an AND/OR Boolean network with bounded treewidth
10.1587/transfun.e98.a.384 · 2015 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
External reference
Identification of all steady states in large networks by logical analysis
10.1016/s0092-8240(03)00061-2 · 2003 · External reference
Unresolved reference
2011 · External reference
Asp-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks
2017 · External reference
Unresolved reference
2005 · External reference
10.1093/bioinformatics/btn336
10.1093/bioinformatics/btn336 · External reference
10.1371/journal.pone.0060593
10.1371/journal.pone.0060593 · External reference
Integer programming-based approach to attractor detection and control of Boolean networks
10.1587/transinf.e95.d.2960 · 2012 · External reference
10.1007/978-3-319-11520-7_59
10.1007/978-3-319-11520-7_59 · External reference
ILP/SMT-based method for design of Boolean networks based on singleton attractors
10.1109/tcbb.2014.2325011 · 2010 · External reference
10.1016/j.jtbi.2011.08.042
10.1016/j.jtbi.2011.08.042 · External reference
Steady state analysis of Boolean molecular network models via model reduction and computational algebra
10.1186/1471-2105-15-221 · 2014 · External reference
An efficient approach of attractor calculation for large-scale Boolean gene regulatory networks
10.1016/j.jtbi.2016.08.006 · 2016 · External reference
A reduction method for Boolean network models proven to conserve attractors
10.1137/13090537x · 2013 · External reference
10.1007/978-3-030-81685-8_24
10.1007/978-3-030-81685-8_24 · 2021 · External reference
Stability structures of conjunctive Boolean networks
10.1016/j.automatica.2017.11.017 · 2018 · External reference
Asymptotic behavior of conjunctive Boolean networks over weakly connected digraphs
10.1109/tac.2019.2930675 · 2019 · External reference
10.1016/j.physd.2006.03.006
10.1016/j.physd.2006.03.006 · External reference
Towards optimal decomposition of Boolean networks
10.1109/tcbb.2019.2914051 · 2021 · External reference
An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks
2013 · External reference
Approximating attractors of Boolean networks by iterative CTL model checking
10.3389/fbioe.2015.00130 · 2015 · External reference
An efficient algorithm for identifying primary phenotype attractors of a large-scale Boolean network
2016 · External reference
Unresolved reference
2010 · External reference
10.1142/s0219525911003098
10.1142/s0219525911003098 · External reference
10.1049/iet-cta.2016.1659
10.1049/iet-cta.2016.1659 · External reference
Control of large-scale Boolean networks via network aggregation
10.1109/tnnls.2015.2442593 · 2016 · External reference
10.1016/j.knosys.2021.107277
10.1016/j.knosys.2021.107277 · External reference
