@article{Hinkelmann:2011aa,
    Abstract = {Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, to gain a better understanding of them. The computational complexity to analyze the complete dynamics of these models grows exponentially in the number of variables, which impedes working with complex models. There exist software tools to analyze discrete models, but they either lack the algorithmic functionality to analyze complex models deterministically or they are inaccessible to many users as they require understanding the underlying algorithm and implementation, do not have a graphical user interface, or are hard to install. Efficient analysis methods that are accessible to modelers and easy to use are needed.},
    Author = {Hinkelmann, Franziska and Brandon, Madison and Guang, Bonny and McNeill, Rustin and Blekherman, Grigoriy and Veliz-Cuba, Alan and Laubenbacher, Reinhard},
    File = {ADAM- Analysis of Discrete Models of Biological Systems Using Computer Algebra - ADAM\_ Analysis of Discrete Models of Biological Systems Using Com - a - x.pdf},
    ISBN = {1471-2105},
    Journal = {BMC Bioinformatics},
    Number = {1},
    Pages = {295},
    Title = {ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra},
    URL = {https://doi.org/10.1186/1471-2105-12-295},
    Volume = {12},
    Year = {2011},
    bdsk-url-1 = {https://doi.org/10.1186/1471-2105-12-295},
    da = {2011/07/20},
    date-added = {2021-01-20 18:44:50 +0100},
    date-modified = {2021-01-20 18:44:50 +0100},
    id = {Hinkelmann2011},
    ty = {JOUR},
    doi = {10.1186/1471-2105-12-295}
}

@article{Hinkelmann:2011aa, Abstract = {Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, to gain a better understanding of them. The computational complexity to analyze the complete dynamics of these models grows exponentially in the number of variables, which impedes working with complex models. There exist software tools to analyze discrete models, but they either lack the algorithmic functionality to analyze complex models deterministically or they are inaccessible to many users as they require understanding the underlying algorithm and implementation, do not have a graphical user interface, or are hard to install. Efficient analysis methods that are accessible to modelers and easy to use are needed.}, Author = {Hinkelmann, Franziska and Brandon, Madison and Guang, Bonny and McNeill, Rustin and Blekherman, Grigoriy and Veliz-Cuba, Alan and Laubenbacher, Reinhard}, File = {ADAM- Analysis of Discrete Models of Biological Systems Using Computer Algebra - ADAM_ Analysis of Discrete Models of Biological Systems Using Com - a - x.pdf}, ISBN = {1471-2105}, Journal = {BMC Bioinformatics}, Number = {1}, Pages = {295}, Title = {ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra}, URL = {https://doi.org/10.1186/1471-2105-12-295}, Volume = {12}, Year = {2011}, bdsk-url-1 = {https://doi.org/10.1186/1471-2105-12-295}, da = {2011/07/20}, date-added = {2021-01-20 18:44:50 +0100}, date-modified = {2021-01-20 18:44:50 +0100}, id = {Hinkelmann2011}, ty = {JOUR}, doi = {10.1186/1471-2105-12-295} }