Open Access Methodology article

Steady state analysis of Boolean molecular network models via model reduction and computational algebra

Alan Veliz-Cuba12*, Boris Aguilar3, Franziska Hinkelmann4 and Reinhard Laubenbacher5

Author Affiliations

1 Department of Mathematics, University of Houston, 651 PGH Building, Houston TX, USA

2 Department of Biochemistry and Cell Biology, Rice University, W100 George R. Brown Hall, Houston TX, USA

3 Department of Computer Science, Virginia Tech, Blacksburg VA, USA

4 TNG Technology Consulting GmbH, Unterföhring, Germany

5 Center for Quantitative Medicine, University of Connecticut Health Center and Jackson Laboratory for Genomic Medicine, Farmington CT, USA

For all author emails, please log on.

BMC Bioinformatics 2014, 15:221  doi:10.1186/1471-2105-15-221

The electronic version of this article is the complete one and can be found online at: http://www.biomedcentral.com/1471-2105/15/221


Received:17 February 2014
Accepted:17 June 2014
Published:26 June 2014

© 2014 Veliz-Cuba et al.; licensee BioMed Central Ltd.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.

Abstract

Background

A key problem in the analysis of mathematical models of molecular networks is the determination of their steady states. The present paper addresses this problem for Boolean network models, an increasingly popular modeling paradigm for networks lacking detailed kinetic information. For small models, the problem can be solved by exhaustive enumeration of all state transitions. But for larger models this is not feasible, since the size of the phase space grows exponentially with the dimension of the network. The dimension of published models is growing to over 100, so that efficient methods for steady state determination are essential. Several methods have been proposed for large networks, some of them heuristic. While these methods represent a substantial improvement in scalability over exhaustive enumeration, the problem for large networks is still unsolved in general.

Results

This paper presents an algorithm that consists of two main parts. The first is a graph theoretic reduction of the wiring diagram of the network, while preserving all information about steady states. The second part formulates the determination of all steady states of a Boolean network as a problem of finding all solutions to a system of polynomial equations over the finite number system with two elements. This problem can be solved with existing computer algebra software. This algorithm compares favorably with several existing algorithms for steady state determination. One advantage is that it is not heuristic or reliant on sampling, but rather determines algorithmically and exactly all steady states of a Boolean network. The code for the algorithm, as well as the test suite of benchmark networks, is available upon request from the corresponding author.

Conclusions

The algorithm presented in this paper reliably determines all steady states of sparse Boolean networks with up to 1000 nodes. The algorithm is effective at analyzing virtually all published models even those of moderate connectivity. The problem for large Boolean networks with high average connectivity remains an open problem.

Keywords:
Steady state computation; Boolean model; Discrete model

Background

Boolean network (BN) models are widely used in molecular and systems biology to capture coarse-grained dynamics of a variety of regulatory networks, with a particular focus on features such as steady state behavior [1-22]. One advantage of discrete models of this type is that, for small models, the entire dynamics can be explored by exhaustive enumeration of all state transitions. Since the size of the state space of a Boolean model with n nodes is 2n, this approach becomes unfeasible for larger models, those with more than approximately 30 variables, depending on the computational resources available. Also, for larger models, finding steady states (fixed points in this manuscript) through sampling is not effective anymore either, since even large attractors can be missed entirely by this approach. On the theoretical side, it has been shown that the problem of finding, or even counting, steady states of Boolean networks is NP-hard [23,24], so that any algorithm for this problem will eventually encounter serious limitations. Since the size of published models has increased in recent years, including models with 100 or more nodes [15,17,21,22], it is important to develop more efficient methods that find all steady states of a Boolean model.

Several methods have been proposed in the literature for dealing with this problem, including exact as well as heuristic methods. We provide a brief review of the different types here. For this purpose, we represent a Boolean network as follows. Let K={0,1}, and assume that the network has n nodes x1,…,xn. Each node xi has associated to it a Boolean function fi:KnK. Thus, we can represent the Boolean network as a function

<a onClick="popup('http://www.biomedcentral.com/1471-2105/15/221/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/15/221/mathml/M1">View MathML</a>

One can represent the variable dependencies through the dependency graph of the network, whose nodes are the variables x1,…,xn. There is an edge xixj if xi appears in the function fj, that is, the state of xj depends on the state of xi. The problem of finding steady states is then formulated as finding all states xKn such that f(x)=x.

One approach to the problem is model reduction. Some existing reduction methods use a “steady-state approximation” [25-28] to reduce the number of variables. Intuitively, if a function depends on a variable, e.g., fi=fi(xj,xk,xl), then we can remove variable xj from the network by replacing fi(xj,xk,xl) with the new function fi(fj(x1,…,xn),xk,xl). By repeating this process, one obtains a reduced network that in practice is much smaller than the original network. The stopping criteria for reduction methods is that variables can be removed only if the steady state information is preserved. The steady states of the reduced network are in algorithmic one-to-one correspondence with the steady states of the original network. More precisely, the reduction algorithm decomposes a large system into a smaller system and a set of equations in triangular form, so that when the steady states of the reduced system are found, the steady states of the original systems can be found simply by backwards substitution. That is, the existence of the one-to-one correspondence is not just theoretical.

Another method uses the fact that one can represent a Boolean function as a polynomial function in the variables x1,…,xn, with coefficients in the finite number system K={0,1} (with integer addition and multiplication modulo 2). The problem of finding the steady states of a Boolean network in n variables, as above, can then be reformulated as the problem of finding the solutions to a system of polynomial equations pi:=fi(x1,…,xn)−xi=0;i=1,…,n[29-31]. Then, the roots of the system of polynomial equations is encoded by the set {p1,…,pn}. Using tools from computational algebra it is possible to find another set that has the same roots (a Gröbner basis), such that it is possible to do a generalized version of Gaussian elimination. These computations can be done using several different software packages developed for this purpose.

A graph-theoretic method, Minimal Feedback Vertex Sets, consists of finding a set of vertices in the dependency graph of the network that “generate” all steady states. More precisely, one finds a set S⊂{1,…,n} such that knowing the coordinates xi, for all iS, of a steady state completely and algorithmically determines the other coordinates of the steady state. It turns out that so-called feedback vertex sets have this property. In practice, by finding a minimal feedback vertex set, one reduces the problem from checking 2n states to the problem of checking 2|S| states, where |S| is typically much smaller than n[23]. A feedback vertex set can be found by removing vertices from the graph until the graph has no directed cycles. A minimal feedback vertex set can be found by finding the smallest number of vertices that we need to remove from the graph so that it does not have directed cycles.

SAT methods have also been used for the purpose of finding steady states of Boolean networks, which are used to determine whether a Boolean expression in several variables has a variable assignment that makes the expression true; see [32-35]. In essence, the system of Boolean equations, fi=xi, is rewritten as a single equation G(x)=1, and then the problem of finding the steady states becomes the problem of finding when the equation G(x)=1 is satisfied. For example, Melkman, Tamura, and Akutsu [33,35] used SAT algorithms to find steady states of AND/OR Boolean networks, i.e., Boolean networks in which the fi contain only the AND and OR operators, with a time complexity of O(1.587n) (where n is the number of nodes). Dubrova and Teslenko [34] also developed a SAT-based algorithm to find all attractors of a Boolean network with very good performance characteristics. The methodology was tested on Boolean networks with sizes ranging from 12 to 52. It was also tested using random networks with up to 7000 nodes and average in-degree less than 2. For a fixed in-degree of 2 the maximum size networks tested have 2000 nodes.

Integer programming-based method have also been used to find the steady states of Boolean networks, Tamura, Hayashida, and Akutsu [36]. In essence, the system of Boolean equations is rewritten as a set of inequalities Axb,x≥0 and the goal is to maximize a linear function of the form cTx.

Strategic Sampling, (Zhang, Hayashida, Akutsu, Ching, and Ng, [37]) is a recursive search approach to identify all steady states of a random Boolean network with maximum in-degree 2, with an average time complexity of O(1.19n) (where n is the number of nodes). The idea is that the equations are solved recursively: First one considers the solutions of the equation f1=x1. Since the fi’s depend on few variables in practice, one only has to keep track of the variables that appear in f1. Then, one finds the solutions of f2=x2 that are compatible with the solutions previously found. The process continues until one finds solutions of all equations. In the worst case, however, algorithm complexity can be O(n2n) [31].

Finally, the problem of finding attractors has also been studied by using Binary Decision Diagrams (BDD) [38-41]. The idea is to represent the Boolean functions as a directed graph that efficiently encodes the functions by allowing fast evaluation. Then, by combining the BDD representation of all the Boolean functions, the problem of finding steady states becomes a search problem in the larger BDD. Many of these methods were tested on some biologically relevant networks with fewer than 100 nodes.

In this paper, we present a new method for computing steady states of a Boolean network, combining a graph theoretic reduction/transformation method with an approach using computational algebra. We show that the method performs favorably on some types of networks in comparison with other methods on a collection of benchmark networks, consisting of both published models and random networks with certain properties, namely Kauffman networks and networks whose in-degree distribution satisfies a power law.

Methods

The method we propose for steady state analysis is a combination of network reduction/transformation and computational algebra (see Figure 1). The reduction technique we use is based on results in [42,43]. In [42] it was shown that any Boolean network can be “transformed” into an AND-NOT network, namely a network whose Boolean functions are all of the form y1y2∧…, where yi∈{xixi}. The AND-NOT network has the property that its steady states are in one-to-one correspondence with the steady states of the original network. Furthermore, the one-to-one correspondence between steady states is algorithmic. In [43], the authors proposed a method to reduce an AND-NOT network to another, smaller AND-NOT network in polynomial time, in such a way that the steady states of the original and the reduced network are in one-to-one correspondence, in a constructive way. This reduction algorithm looks for motifs (e.g. feed-forward loops) in the wiring diagram and removes nodes in such motifs; the reduction stops when there are no more motifs to be reduced (attempting to do further reductions would destroy the 1-1 correspondence of steady states). Once the reduced network is constructed, one can compute its steady states by converting the Boolean functions into polynomial functions and then solving a system of polynomial equations, as explained above. The computational algebra technique is based on [29,30]. The idea is that by computing a Gröbner basis (a special set of polynomials with the same roots as the original equations), it is possible to find the roots of the system of polynomial equations using a generalized version of Gaussian elimination.

thumbnailFigure 1. Flow chart of steady state computation. Main steps in our method highlighting the intermediate systems. S denotes the set of steady states of a given network; f is an arbitrary Boolean network, g is an AND-NOT network (in possibly more variables), h is a reduced AND-NOT network, p is the polynomial representation of h.

The correspondence between Boolean and polynomial functions is accomplished via the “dictionary” xyx·y,xyx+y+xyxx+1. The correspondence is unique if we limit the degree with which each variable appears in the polynomial function to 1, since any function KnK can be represented uniquely as a polynomial function that is square-free, that is, in which every variable appears with exponent 1.

The algorithm is summarized in the following pseudocode and a more detailed description follows. The source code can be found at github.com/PlantSimLab/ ADAM.

The input of our algorithm is an n−dimensional Boolean network f=(f1,…,fn). In Step 1, we use the formulas from [42] to compute an AND-NOT network g=(g1,…,gm), with mn, which has the same number of steady states as f. The idea is to introduce variables to rewrite the Boolean operations using only the operators AND and NOT; for example, f1x2∧(x3x4) can be written as f1x2∧¬x5, where f5x3∧¬x4. Furthermore, the steady states of f are given by projecting the steady states of g to their first n coordinates. In Step 2, we simply consider the wiring diagram of g, which is a signed directed graph that encodes which variable depends on which others and whether the interactions are activating or inhibiting. In Step 3, we use the algorithm from [43] to reduce the wiring diagram of g to another signed directed graph, W. Then, in Step 4, we construct the AND-NOT network that has W as its wiring diagram, h=(h1,…,hl); the steady states of g can be computed from the steady states of h by backtracking [43]. In Step 5, we compute the polynomial representation of h. This is done by replacing ¬xi with 1+xi, and xixj with xixj, as explained earlier. In Step 6 we solve the system of polynomial equations hi=xi, i=1,…,l; this is done using tools from computational algebra as done in [29,30]. The solutions of the system, L={s1″,…,sr″}, will also be solutions of h. In Step 7, we use backtracking to compute the steady states of g, L={s1′,…,sr′}. And finally, in Step 8, we project each sj′ to its first n coordinates and obtain the steady states of f (See Additional file 1 for an example and Additional files 2 and 3 for the code version used for this publication).

Additional file 1. Example and individual performance of network reduction and computational algebra.

Format: PDF Size: 227KB Download file

This file can be viewed with: Adobe Acrobat ReaderOpen Data

Additional file 2. Instructions for usage.

Format: TXT Size: 1KB Download fileOpen Data

Additional file 3. Source code.

Format: ZIP Size: 777KB Download fileOpen Data

Results and discussion

We first tested the software implementation of our algorithm on 1,000,000 Boolean networks with 50 nodes each, for which we also computed all steady states by a custom-made algorithm based on minimal feedback vertex sets. For each graph we found the minimal number of vertices that had to be removed so that the graph had no directed cycles; call this set S. Then, for each element in {0,1}|S|, the values of the other variables are completely determined. This gave us 2|S| candidates for steady states which we then checked by exhaustive search. In all cases our algorithm computed correctly all steady states. We are therefore confident that our implementation is error-free. This extends to the relevant functionalities of other software packages we used for intermediate computations (Macaulay2 [44], Boost Library [45], BoolStuff Library [46]).

Then we used over 100,000 Boolean networks to benchmark our method against others. The methods we used for comparison were those with published benchmarks or those for which the code was readily available. As we will see later, for Kauffman networks with K=2, the timing of our method grows linearly with the number of nodes; thus, it was not necessary to include in our benchmarks methods that were reported to grow exponentially for such networks (e.g. [34,37]). We selected three methods with good computational efficiency for K=2: Zanudo and Albert [26]; Devloo, Hansen, and Labbé [32]; and Tamura, Hayashida, and Akutsu [36]. For the most recent algorithm, Zañudo and Albert [26] use a method that identifies motifs (subsets of nodes) that stabilize in one or a small number of states. The steady states from these motifs are used to reduce the network to find the attractors. It is important to mention that this method can find not only the steady states of Boolean networks, but also information about all the attractors of the network, which our method is not currently designed to do.

We used random biologically meaningful Boolean networks [47-49] and published networks [13-22] (the Boolean representation of these models was obtained from The Cell Collective[50]). The results for Zañudo and Albert and our algorithm were generated by us and the other results are reported from published benchmarks [32,36]. The computations for our algorithm and that of [26] were done on a 3.4 GHz Linux machine. The computations for Tamura’s and Devloo’s algorithms were done on a Linux system with 3GHz and a Sun SPARC Ultra 10 machine, respectively, as reported in [32,36]. Considering that the different computers described above have processors with similar speed and that the computations were done in a single processor, the use of results from different machines will not affect the main conclusions of our comparison. Moreover, some methods did not have reported results for certain network sizes; in that case, we computed an approximate timing using interpolation/extrapolation of the reported values; we linear and exponential fits for the timings that grew linearly and exponentially, respectively.

First, we compare the performance of different methods on Kauffman networks with connectivity K=2 and K=3. For our and the Zañudo algorithm, each reported number is the average or standard deviation of 1000 Boolean networks. In Table 1 we report the timings for Kauffman networks with K=2. We can see that the algorithm in [36] performs best, followed by our algorithm. Note that all timings grow linearly with the number of nodes. As mentioned in [36], the good results with Tamura’s algorithm may be due to the fact that the authors optimized the computations for Boolean functions that have 2 inputs. The results for Kauffman networks with K=3 in Table 2, however, show that our method performs better by an order of magnitude. These results show that, while our algorithm is not optimized for very low in-degree networks, it is more scalable for networks with higher connectivity.

Table 1. Timing in seconds for Kauffman networks withK=2

Table 2. Timing in seconds for Kauffman networks withK=3

Not all molecular networks have properties similar to Kauffman networks, but can exhibit power law properties for their degree distribution. Thus, we supplemented the results from Tables 1 and 2 with benchmark networks whose connectivity follows a power law distribution [51]. We considered power-law networks with average connectivity 〈k〉=2 and 〈k〉=3. That is, the average number of edges is the same, but the connectivity distribution is more biologically realistic. There were no bechmarks for these types of networks for Tamura’s and Devloo’s algorithms, so we only report Zañudo’s and our algorithm. In Table 3, we see that our algorithm can handle networks with 〈k〉=2 with up to 1000 nodes in under 7 seconds on average. It is important to mention that these timings differ considerably from the timings for K=2 (Table 1). Table 4 shows the results for networks with connectivity 〈k〉=3. Not surprisingly, increasing the average connectivity has a dramatic effect on the size of networks that can be studied; for example, the network sizes that can be dealt with in under 7 seconds decreases from 1000 to about 140 when we increase 〈k〉 from 2 to 3. Further increasing the average connectivity will have a much more dramatic effect.

Table 3. Timing in seconds for power-law networks with average connectivity〈k〉=2

Table 4. Timing in seconds for power-law networks with average connectivity〈k〉=3

Finally, our results on published networks are shown in Table 5, sorted by average connectivity. Since all models have external parameters corresponding to environmental conditions (i.e. we have one BN for each parameter set), we sampled the parameter space and computed the average timing of each algorithm. The numbers we report are the averages of 10000 simulations for each model. As expected, for all networks with small average connectivity (less than 3) our algorithm performed very well and finished in less than half a second, consistent with the timings from Tables 3 and 4. Four models have average connectivity greater than 3 and our algorithm performed very well on three of them. However, for the largest network (225 nodes and 〈k〉=5.16), there were parameter sets (51% of the sampled parameters) which could not be analyzed.

Table 5. Timimg in seconds for published models

The computational complexity of our algorithm depends on the type of networks used as well as the connectivity. The algorithm seems to run in polynomial time for Kauffman networks with K=2 (Table 1), but slower for power-law networks with the same connectivity (Table 3). For other types of networks the complexity is much harder to infer, but Table 2 suggests that the complexity is exponential. Also, the complexity of the mathematical tools we use is not well understood in the context of Boolean models. For example, the algebraic step of our algorithm can be doubly exponential, but it has been shown to work much faster in practice and, as our work shows, it runs much faster for sparse Boolean models.

Conclusions

The capability to analyze the attractors of discrete dynamic models of biological networks is a key technology in any systems biology toolkit that incorporates this popular type of model. This capability needs to include steady state analysis as well as the determination of periodic points of larger periods. And it needs to apply to models that allow an arbitrary (finite) number of states for its variables, such as logical models. In this paper, we have focused on Boolean networks as the model type most commonly used currently. And we have focused only on steady state analysis, at the exclusion of periodic limit cycles. As is the case in many situations, algorithms available for this purpose, some of which we used here for comparison, perform well on some types of models and not so well on others. For instance, for Kaufmann networks with connectivity 2, the method in [36] outperforms all other methods, including ours. The method in [26] is generally slower than our method in computing steady states, but has the added capability that it also finds limit cycles of larger lengths, which our method is not currently equipped to do.

We have used three types of networks for benchmarking: Kauffman networks, power law networks, and published networks. Kauffman networks are commonly used for this purpose, but they don’t capture all properties of molecular networks, which include a power law distribution of node connectivities. Our analysis of published networks shows that some of them have high average connectivity, not generally considered in theoretical studies. These pose serious challenges to computational methods, as we demonstrate. As more large published networks become available, they will represent the most important suite of benchmark models to be used, in our opinion.

We believe that this study also holds another important lesson. Our method is a combination of two methods, neither one of which performs particularly well when applied on its own (see Additional file 1). In combination, however, they are quite powerful: model reduction plus polynomial algebra. This might point towards a general strategy for other algorithms of this type. Nonetheless, as our calculations show, the challenge of finding steady states is far from solved in general, even for existing published models. Thus, much work remains to be done.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

AV-C designed and applied the graph reduction methods, and combined them with the computer algebra algorithm. He also generated the suite of benchmark networks used in the study. BA implemented the graph reduction methods. He also surveyed the literature for other available methods and carried out and collected performance data for the other methods used in the study for comparison. FH carried out Gröbner basis calculations for a subset of the benchmark networks. RL conceived, planned, and directed the project. All authors contributed to the writing of the manuscript. All authors read and approved the final manuscript.

Acknowledgements

The work of R.L. was supported in part by the grant PlantSimLab: A Simulation Laboratory for Plant Biology, funded by NSF, Award Number DBI-1146819. F.H. did the work at MBI (NSF award 0635561).

References

  1. Zhang Y, Qian M, Ouyang Q, Deng M, Li F, Tang C: Stochastic model of yeast cell-cycle network.

    Physica D: Nonlinear Phenomena 2006, 219(1):35-39. OpenURL

  2. Davidich M, Bornholdt S: Boolean network model predicts cell cycle sequence of fission yeast.

    PLoS ONE 2008, 3(2):1672. OpenURL

  3. Kauffman S, Peterson C, Samuelsson B, Troein C: Random Boolean network models and the yeast transcriptional network.

    PNAS 2003, 100(25):14796-14799. OpenURL

  4. Sahin O, Frohlich H, Lobke C, Korf U, Burmester S, Majety M, Mattern J, Schupp I, Chaouiya C, Thieffry D, Poustka A, Wiemann S, Beissbarth T, Arlt D.: Modeling ERBB receptor-regulated g1/s transition to find novel targets for de novo trastuzumab resistance.

    BMC Syst Biol 2009, 3(1):1. OpenURL

  5. Klamt S, Saez-Rodriguez J, Lindquist J, Simeoni L, Gilles E: A methodology for the structural and functional analysis of signaling and regulatory networks.

    BMC Bioinformatics 2006, 7(1):56. OpenURL

  6. Li F, Long T, Lu Y, Ouyang Q, Tang C: The yeast cell-cycle network is robustly designed.

    Proc Natl Acad Sci USA 2004, 101(14):4781-4786. OpenURL

  7. Albert R, Othmer H: The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes inDrosophila melanogaster.

    J Theor Biol 2003, 223:1-18. OpenURL

  8. Mai Z, Liu H: Boolean network-based analysis of the apoptosis network: Irreversible apoptosis and stable surviving.

    J Theor Biol 2009, 259(4):760-769. OpenURL

  9. Veliz-Cuba A, Stigler B: Boolean models can explain bistability in thelac operon.

    J Comput Biol 2011, 18(6):783-794. OpenURL

  10. Mendoza L, Xenarios I: A method for the generation of standardized qualitative dynamical systems of regulatory networks.

    Theor Biol Med Model 2006, 3(1):13. OpenURL

  11. Murrugarra D, Veliz-Cuba A, Aguilar B, Arat S, Laubenbacher R: Modeling stochasticity and variability in gene regulatory networks.

    EURASIP J Bioinformatics Syst Biol 2012, 2012(1):5. OpenURL

  12. Hinkelmann F, Murrugarra D, Jarrah A, Laubenbacher R: A mathematical framework for agent based models of complex biological networks.

    Bull Math Biol 2011, 73(7):1583-1602. OpenURL

  13. Singh A, Nascimento J, Kowar S, Busch H, Boerries M: Boolean approach to signalling pathway modelling in hgf-induced keratinocyte migration.

    Bioinformatics 2012, 28(18):495-501. OpenURL

  14. Saez-Rodriguez J, Simeoni L, Lindquist J, Hemenway R, Bommhardt U, Arndt B, Haus U, Weismantel R, Gilles E, Klamt S, Schraven B: A logical model provides insights into t cell receptor signaling.

    PLoS Comput Biol 2007, 3(8):163. OpenURL

  15. Raza S, Robertson K, Lacaze P, Page D, Enright A, Ghazal P, Freeman T: A logic-based diagram of signalling pathways central to macrophage activation.

    BMC Syst Biol 2008, 2(1):36. OpenURL

  16. Kazemzadeh L, Cvijovic M, Petranovic D: Boolean model of yeast apoptosis as a tool to study yeast and human apoptotic regulations.

    Front Physiol 2012, 3:446. OpenURL

  17. Madrahimov A, Helikar T, Kowal B, Lu G, Rogers J: Dynamics of influenza virus and human host interactions during infection and replication cycle.

    Bull Math Biol 2013, 75(6):988-1011. OpenURL

  18. Saadatpour A, Wang R, Liao A, Liu X, Loughran T, Albert I, Albert R: Dynamical and structural analysis of a T-cell survival network identifies novel candidate therapeutic targets for large granular lymphocyte leukemia.

    PLoS Comput Biol 2011, 7(11):1002267. OpenURL

  19. Zhang R, Shah M, Yang J, Nyland S, Liu X, Yun J, Albert R, Loughran T: Network model of survival signaling in large granular lymphocyte leukemia.

    PNAS 2008, 105(42):16308-16313. OpenURL

  20. Samaga R, Saez-Rodriguez J, Alexopoulos L, Sorger P, Klamt S: The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data.

    PLoS Comput Biol 2009, 5(8):1000438. OpenURL

  21. Helikar T, Konvalina J, Heidel J, Rogers J: Emergent decision-making in biological signal transduction networks.

    PNAS 2008, 105(6):1913-1918. OpenURL

  22. Helikar T, Kochi N, Kowal B, Dimri M, Naramura M, Raja S, Band V, Band H, Rogers J: A comprehensive, multi-scale dynamical model of ErbB receptor signal transduction in human mammary epithelial cells.

    PLoS ONE 2013, 8(4):61757. OpenURL

  23. Akutsu T, Kuhara S, Maruyama O, Miyano S: A system for identifying genetic networks from gene expression patterns produced by gene disruptions and overexpressions.

    Genome Inform 1998, 9:151-160. OpenURL

  24. Zhao Q: A remark on “scalar equations for synchronous Boolean networks with biological applications” by C. Farrow, J. Heidel, J. Maloney, and J. Rogers.

    IEEE Trans Neural Netw 2005, 16(6):1715-1716. OpenURL

  25. Veliz-Cuba A: Reduction of Boolean network models.

    J Theor Biol 2011, 289:167-172. OpenURL

  26. Zañudo J, Albert R: An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks.

    Chaos: Interdiscip J Nonlinear Sci 2013, 23(2):025111. OpenURL

  27. Saadatpour A, Albert I, Albert R: Attractor analysis of asynchronous Boolean models of signal transduction networks.

    J Theor Biol 2010, 266(4):641-656. OpenURL

  28. Naldi A, Remy E, Thieffry D, Chaouiya C: A reduction of logical regulatory graphs preserving essential dynamical properties. In Computational Methods in Systems Biology. Lecture Notes in Computer Science. Volume 5688. Edited by Degano P, Gorrieri R. Heidelberg, Germany: Springer; 2009:266-280. OpenURL

  29. Veliz-Cuba A, Jarrah A, Laubenbacher R: Polynomial algebra of discrete models in systems biology.

    Bioinformatics 2010, 26(13):1637-1643. OpenURL

  30. Hinkelmann F, Brandon M, Guang B, McNeill R, Blekherman G, Veliz-Cuba A, Laubenbacher R: ADAM: Analysis of discrete models of biological systems using computer algebra.

    BMC Bioinformatics 2011, 12(1):295. OpenURL

  31. Zou Y: An algorithm for detecting fixed points of Boolean network. In Complex Medical Engineering (CME), 2013 ICME International Conference On. Piscataway, New Jersey: IEEE; 2013:670-673. OpenURL

  32. Devloo V, Hansen P, Labbé M: Identification of all steady states in large networks by logical analysis.

    Bull Math Biol 2003, 65(6):1025-1051. OpenURL

  33. Tamura T, Akutsu T: Detecting a singleton attractor in a Boolean network utilizing SAT algorithms.

    IEICE Trans Fundam Electron Commun Comput Sci 2009, E92-A(2):493-501. OpenURL

  34. Dubrova E, Teslenko M: A SAT-based algorithm for finding attractors in synchronous Boolean networks.

    IEEE/ACM Trans Comput Biol Bioinformatics 2011, 8(5):1393-1399. OpenURL

  35. Melkman A, Tamura T, Akutsu T: Determining a singleton attractor of an AND/OR Boolean network inO(1.587n) time.

    Inform Process Lett 2010, 110(14–15):565-569. OpenURL

  36. Tamura T, Hayashida M, Akutsu T: Integer programming-based methods for attractor detection and control of boolean networks. In Proceedings of the 48th IEEE Conference on Decision and Control held jointly with the 28th Chinese Control Conference. CDC/CCC 2009. Piscataway, New Jersey; 2009:5610-5617.

    doi: 10.1109/CDC.2009.5400017

    OpenURL

  37. Zhang S, Hayashida M, Akutsu T, Ching W, Ng M: Algorithms for finding small attractors in Boolean networks.

    EURASIP J Bioinformatics Syst Biol 2007, 2007:4. OpenURL

  38. Zheng D, Yang G, Li X, Wang Z, Liu F, He L: An efficient algorithm for computing attractors of synchronous and asynchronous Boolean networks.

    PLoS ONE 2013, 8(4):60593. OpenURL

  39. Garg A, Di Cara A, Xenarios I, Mendoza L, De Micheli G: Synchronous versus asynchronous modeling of gene regulatory networks.

    Bioinformatics 2008, 24(17):1917-1925. OpenURL

  40. Dubrova E, Teslenko M, Martinelli A: Kauffman networks: analysis and applications. In Proceedings of the 2005 IEEE/ACM International Conference on Computer-aided Design. ICCAD ’05. Piscataway, New Jersey: IEEE Computer Society; 2005:479-484. OpenURL

  41. Naldi A, Thieffry D, Chaouiya C: Decision diagrams for the representation and analysis of logical models of genetic networks. In Computational Methods in Systems Biology. Lecture Notes in Computer Science. Edited by Calder M, Gilmore S. Heidelberg, Germany: Springer; 2007:233-247. OpenURL

  42. Veliz-Cuba A, Buschur K, Hamershock R, Kniss A, Wolff E, Laubenbacher R: AND-NOT logic framework for steady state analysis of Boolean network models.

    Appl Math Inform Sci 2013, 4(7):1263-1274. OpenURL

  43. Veliz-Cuba A, Laubenbacher R, Aguilar B: Dimension reduction of large AND-NOT network models.

    2013.

    arxiv.org/abs/1311.6868

  44. Grayson D, Stillman M: Macaulay 2, a software system for research in algebraic geometry. Available at [http://www.math.uiuc.edu/Macaulay2/ webcite]

  45. Siek J, Lee L, Lumsdaine A: Boost graph library.

    2000.

    [http://www.boost.org/libs/graph/ webcite]

  46. Sarrazin P: BoolStuff Library.

    2013.

    [http://perso.b2b2c.ca/sarrazip/dev/boolstuff.html webcite]

  47. Murrugarra D, Laubenbacher R: Regulatory patterns in molecular interaction networks.

    J Theor Biol 2011, 288(0):66-72. OpenURL

  48. Kauffman S, Peterson C, Samuelsson B, Troein C: Genetic networks with canalyzing Boolean rules are always stable.

    PNAS 1710, 101(49):2-17107. OpenURL

  49. Raeymaekers L: Dynamics of Boolean networks controlled by biologically meaningful functions.

    J Theor Biol 2002, 218(3):331-341. OpenURL

  50. Helikar T, Kowal B, McClenathan S, Bruckner M, Rowley T, Madrahimov A, Wicks B, Shrestha M, Limbu K, Rogers J: The cell collective: toward an open and collaborative approach to systems biology.

    BMC Syst Biol 2012, 6(1):96. OpenURL

  51. Albert R: Scale-free networks in cell biology.

    J Cell Sci 2005, 118(21):4947-4957. OpenURL