TY - JOUR AU - Sahin, O. AU - Frohlich, H. AU - Lobke, C. AU - Korf, U. AU - Burmester, S. AU - Majety, M. AU - Mattern, J. AU - Schupp, I. AU - Chaouiya, C. AU - Thieffry, D. AU - Poustka, A. AU - Wiemann, S. AU - Beissbarth, T. AU - Arlt, D. PY - 2009 DA - 2009// TI - Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance JO - BMC Systems Biology VL - 3 UR - https://doi.org/10.1186/1752-0509-3-1 DO - 10.1186/1752-0509-3-1 ID - Sahin2009 ER - TY - JOUR AU - Heiser, L. AU - Wang, N. AU - Talcott, C. AU - Laderoute, K. AU - Knapp, M. AU - Guan, Y. AU - Hu, Z. AU - Ziyad, S. AU - Weber, B. AU - Laquerre, S. AU - Jackson, J. AU - Wooster, R. AU - Kuo, L. AU - Gray, J. AU - Spellman, P. PY - 2009 DA - 2009// TI - Integrated analysis of breast cancer cell lines reveals unique signaling pathways JO - Genome Biology VL - 10 UR - https://doi.org/10.1186/gb-2009-10-3-r31 DO - 10.1186/gb-2009-10-3-r31 ID - Heiser2009 ER - TY - JOUR AU - Calzone, L. AU - Tournier, L. AU - Fourquet, S. AU - Thieffry, D. AU - Zhivotovsky, B. AU - Barillot, E. AU - Zinovyev, A. PY - 2010 DA - 2010// TI - Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement JO - PLoS Comput Biol VL - 6 UR - https://doi.org/10.1371/journal.pcbi.1000702 DO - 10.1371/journal.pcbi.1000702 ID - Calzone2010 ER - TY - JOUR AU - Steggles, L. J. AU - Banks, R. AU - Shaw, O. AU - Wipat, A. PY - 2007 DA - 2007// TI - Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach JO - Bioinformatics VL - 23 UR - https://doi.org/10.1093/bioinformatics/btl596 DO - 10.1093/bioinformatics/btl596 ID - Steggles2007 ER - TY - JOUR AU - Sackmann, A. AU - Heiner, M. AU - Koch, I. PY - 2006 DA - 2006// TI - Application of Petri net based analysis techniques to signal transduction pathways JO - BMC Bioinformatics VL - 7 UR - https://doi.org/10.1186/1471-2105-7-482 DO - 10.1186/1471-2105-7-482 ID - Sackmann2006 ER - TY - JOUR AU - Shmulevich, I. AU - Dougherty, E. R. AU - Kim, S. AU - Zhang, W. PY - 2002 DA - 2002// TI - Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks JO - Bioinformatics VL - 18 UR - https://doi.org/10.1093/bioinformatics/18.2.261 DO - 10.1093/bioinformatics/18.2.261 ID - Shmulevich2002 ER - TY - CHAP AU - Naldi, A. AU - Thieffry, D. AU - Chaouiya, C. PY - 2007 DA - 2007// TI - Decision diagrams for the representation and analysis of logical models of genetic networks BT - CMSB'07: Proceedings of the 2007 international conference on Computational methods in systems biology PB - Springer-Verlag CY - Berlin, Heidelberg ID - Naldi2007 ER - TY - JOUR AU - Bonchev, D. AU - Thomas, S. AU - Apte, A. AU - Kier, L. B. PY - 2010 DA - 2010// TI - Cellular automata modelling of biomolecular networks dynamics JO - SAR and QSAR in Environmental Research VL - 21 UR - https://doi.org/10.1080/10629360903568580 DO - 10.1080/10629360903568580 ID - Bonchev2010 ER - TY - STD TI - Laubenbacher R, Jarrah AS, Mortveit H, Ravi SS: Encyclopedia of Complexity and System Science. New York: Springer Verlag 2009 chap. A mathematical foundation for agent-based computer simulation; ID - ref9 ER - TY - JOUR AU - Naldi, A. AU - Berenguier, D. AU - Fauré, A. AU - Lopez, F. AU - Thieffry, D. AU - Chaouiya, C. PY - 2009 DA - 2009// TI - Logical modelling of regulatory networks with GINsim 2.3 JO - Biosystems VL - 97 UR - https://doi.org/10.1016/j.biosystems.2009.04.008 DO - 10.1016/j.biosystems.2009.04.008 ID - Naldi2009 ER - TY - JOUR AU - Müssel, C. AU - Hopfensitz, M. AU - Kestler, H. A. PY - 2010 DA - 2010// TI - BoolNet--an R package for generation, reconstruction and analysis of Boolean networks JO - Bioinformatics VL - 26 UR - https://doi.org/10.1093/bioinformatics/btq124 DO - 10.1093/bioinformatics/btq124 ID - Müssel2010 ER - TY - JOUR AU - Rohr, C. AU - Marwan, W. AU - Heiner, M. PY - 2010 DA - 2010// TI - Snoopy--a unifying Petri net framework to investigate biomolecular networks JO - Bioinformatics VL - 26 UR - https://doi.org/10.1093/bioinformatics/btq050 DO - 10.1093/bioinformatics/btq050 ID - Rohr2010 ER - TY - CHAP AU - Wuensche, A. PY - 2010 DA - 2010// BT - DDLab - Discrete Dynamics Lab ID - Wuensche2010 ER - TY - CHAP AU - Shmulevich, I. AU - Lähdesmäki, H. PY - 2005 DA - 2005// BT - BN/PBN MATLAB Toolbox ID - Shmulevich2005 ER - TY - CHAP AU - Dubrova, E. AU - Teslenko, M. PY - 2010 DA - 2010// TI - A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks BT - IEEE/ACM Transactions on Computational Biology and Bioinformatics ID - Dubrova2010 ER - TY - JOUR AU - Ruths, D. AU - Muller, M. AU - Tseng, J. T. T. AU - Nakhleh, L. AU - Ram, P. T. PY - 2008 DA - 2008// TI - The signaling petri net-based simulator: a non-parametric strategy for characterizing the dynamics of cell-specific signaling networks JO - PLoS computational biology VL - 4 UR - https://doi.org/10.1371/journal.pcbi.1000005 DO - 10.1371/journal.pcbi.1000005 ID - Ruths2008 ER - TY - JOUR AU - Veliz-Cuba, A. AU - Jarrah, A. S. AU - Laubenbacher, R. PY - 2010 DA - 2010// TI - Polynomial algebra of discrete models in systems biology JO - Bioinformatics VL - 26 UR - https://doi.org/10.1093/bioinformatics/btq240 DO - 10.1093/bioinformatics/btq240 ID - Veliz-Cuba2010 ER - TY - CHAP AU - Hinkelmann, F. AU - Murrugarra, D. AU - Jarrah, A. S. AU - Laubenbacher, R. PY - 2010 DA - 2010// TI - A Mathematical Framework for Agent Based Models of Complex Biological Networks BT - Bulletin of Mathematical Biology ID - Hinkelmann2010 ER - TY - STD TI - Hinkelmann F, Brandon M, Guang B, McNeill R, Veliz-Cuba A, Laubenbacher R: ADAM, Analysis of Dynamic Algebraic Models.[http://adam.vbi.vt.edu] UR - http://adam.vbi.vt.edu ID - ref19 ER - TY - STD TI - Laubenbacher R: DVD - Discrete Visualizer of Dynamics.[http://dvd.vbi.vt.edu/] UR - http://dvd.vbi.vt.edu/ ID - ref20 ER - TY - BOOK AU - Cox, D. A. AU - Little, J. AU - O'Shea, D. PY - 2007 DA - 2007// TI - Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) PB - Springer-Verlag New York, Inc CY - Secaucus, NJ, USA UR - https://doi.org/10.1007/978-0-387-35651-8 DO - 10.1007/978-0-387-35651-8 ID - Cox2007 ER - TY - STD TI - Hinkelmann F: Model Repository of Discrete Biological Systems.[http://dvd.vbi.vt.edu/repository.html] UR - http://dvd.vbi.vt.edu/repository.html ID - ref22 ER - TY - JOUR AU - Jarrah, A. AU - Laubenbacher, R. AU - Veliz-Cuba, A. PY - 2010 DA - 2010// TI - The Dynamics of Conjunctive and Disjunctive Boolean Network Models JO - Bulletin of Mathematical Biology VL - 72 UR - https://doi.org/10.1007/s11538-010-9501-z DO - 10.1007/s11538-010-9501-z ID - Jarrah2010 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 - Journal of Theoretical Biology 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 - STD TI - Naldi A, Thieffry D, Chaouiya C: GINsim - model repository.[http://gin.univ-mrs.fr/GINsim/model_repository.html] UR - http://gin.univ-mrs.fr/GINsim/model_repository.html ID - ref25 ER - TY - CHAP AU - Grayson, D. R. AU - Stillman, M. E. PY - 1992 DA - 1992// BT - Macaulay2, a software system for research in algebraic geometry ID - Grayson1992 ER - TY - CHAP AU - Leclerc, R. o. b. e. r. t. D. PY - 2008 DA - 2008// TI - Survival of the sparsest: robust gene networks are parsimonious BT - Mol Syst Biol ID - Leclerc2008 ER - TY - JOUR AU - Jarrah, A. S. AU - Laubenbacher, R. AU - Stigler, B. AU - Stillman, M. E. PY - 2007 DA - 2007// TI - Reverse-engineering of polynomial dynamical systems JO - Adv Appl Math VL - 39 UR - https://doi.org/10.1016/j.aam.2006.08.004 DO - 10.1016/j.aam.2006.08.004 ID - Jarrah2007 ER - TY - CHAP AU - Giovini, A. AU - Mora, T. AU - Niesi, G. AU - Robbiano, L. AU - Traverso, C. PY - 1991 DA - 1991// TI - "One sugar cube, please" or selection strategies in the Buchberger algorithm BT - ISSAC '91: Proceedings of the 1991 international symposium on Symbolic and algebraic computation PB - ACM CY - New York, NY, USA UR - https://doi.org/10.1145/120694.120701 DO - 10.1145/120694.120701 ID - Giovini1991 ER -