TY - JOUR AU - Gilbert, D. AU - Fuss, H. AU - Gu, X. AU - Orton, R. AU - Robinson, S. AU - Vyshemirsky, V. AU - Kurth, M. J. AU - Downes, C. S. AU - Dubitzky, W. PY - 2006 DA - 2006// TI - Computational methodologies for modelling, analysis and simulation of signalling networks JO - Brief Bioinform VL - 7 UR - https://doi.org/10.1093/bib/bbl043 DO - 10.1093/bib/bbl043 ID - Gilbert2006 ER - TY - JOUR AU - Pawson, T. AU - Nash, P. PY - 2003 DA - 2003// TI - Assembly of cell regulatory systems through protein interaction domains JO - Science VL - 300 UR - https://doi.org/10.1126/science.1083653 DO - 10.1126/science.1083653 ID - Pawson2003 ER - TY - JOUR AU - Hlavacek, W. S. AU - Faeder, J. R. AU - Blinov, M. L. AU - Perelson, A. S. AU - Goldstein, B. PY - 2003 DA - 2003// TI - The complexity of complexes in signal transduction JO - Biotechnology and Bioengineering VL - 84 UR - https://doi.org/10.1002/bit.10842 DO - 10.1002/bit.10842 ID - Hlavacek2003 ER - TY - JOUR AU - Faeder, J. R. AU - Blinov, M. L. AU - Goldstein, B. AU - Hlavacek, W. S. PY - 2005 DA - 2005// TI - Rule-based modeling of biochemical networks JO - Complexity VL - 10 UR - https://doi.org/10.1002/cplx.20074 DO - 10.1002/cplx.20074 ID - Faeder2005 ER - TY - JOUR AU - Sneddon, M. W. AU - Faeder, J. R. AU - Emonet, T. PY - 2011 DA - 2011// TI - Efficient modeling, simulation and coarse-graining of biological complexity with NFsim JO - Nat Methods VL - 8 UR - https://doi.org/10.1038/nmeth.1546 DO - 10.1038/nmeth.1546 ID - Sneddon2011 ER - TY - JOUR AU - Koschorreck, M. AU - Conzelmann, H. AU - Ebert, S. AU - Ederer, M. AU - Gilles, E. D. PY - 2007 DA - 2007// TI - Reduced modeling of signal transduction - a modular approach JO - BMC Bioinformatics VL - 8 UR - https://doi.org/10.1186/1471-2105-8-336 DO - 10.1186/1471-2105-8-336 ID - Koschorreck2007 ER - TY - JOUR AU - Conzelmann, H. AU - Fey, D. AU - Gilles, E. D. PY - 2008 DA - 2008// TI - Exact model reduction of combinatorial reaction networks JO - BMC Syst Biol VL - 2 UR - https://doi.org/10.1186/1752-0509-2-78 DO - 10.1186/1752-0509-2-78 ID - Conzelmann2008 ER - TY - JOUR AU - Borisov, N. M. AU - Chistopolsky, A. S. AU - Faeder, J. R. AU - Kholodenko, B. N. PY - 2008 DA - 2008// TI - Domain-oriented reduction of rule-based network models JO - IET Syst Biol VL - 2 UR - https://doi.org/10.1049/iet-syb:20070081 DO - 10.1049/iet-syb:20070081 ID - Borisov2008 ER - TY - JOUR AU - Saez-Rodriguez, J. AU - Simeoni, L. AU - Lindquist, J. A. AU - Hemenway, R. AU - Bommhardt, U. AU - Arndt, B. AU - Haus, U. U. AU - Weismantel, R. AU - Gilles, E. D. AU - Klamt, S. AU - Schraven, B. PY - 2007 DA - 2007// TI - A logical model provides insights into T cell receptor signaling JO - PLoS Comput Biol VL - 3 UR - https://doi.org/10.1371/journal.pcbi.0030163 DO - 10.1371/journal.pcbi.0030163 ID - Saez-Rodriguez2007 ER - TY - JOUR AU - Samaga, R. AU - Saez-Rodriguez, J. AU - Alexopoulos, L. G. AU - Sorger, P. K. AU - Klamt, S. PY - 2009 DA - 2009// TI - The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data JO - PLoS Comput Biol VL - 5 UR - https://doi.org/10.1371/journal.pcbi.1000438 DO - 10.1371/journal.pcbi.1000438 ID - Samaga2009 ER - TY - JOUR AU - Schlatter, R. AU - Schmich, K. AU - Vizcarra, I. A. AU - Scheurich, P. AU - Sauter, T. AU - Borner, C. AU - Ederer, M. AU - Merfort, I. AU - Sawodny, O. PY - 2009 DA - 2009// TI - ON/OFF and beyond–a boolean model of apoptosis JO - PLoS Comput Biol VL - 5 UR - https://doi.org/10.1371/journal.pcbi.1000595 DO - 10.1371/journal.pcbi.1000595 ID - Schlatter2009 ER - TY - JOUR AU - Klamt, S. AU - Saez-Rodriguez, J. AU - Lindquist, J. A. AU - Simeoni, L. AU - Gilles, E. D. PY - 2006 DA - 2006// TI - A methodology for the structural and functional analysis of signaling and regulatory networks JO - BMC Bioinformatics VL - 7 UR - https://doi.org/10.1186/1471-2105-7-56 DO - 10.1186/1471-2105-7-56 ID - Klamt2006 ER - TY - JOUR AU - Klamt, S. AU - Saez-Rodriguez, J. AU - Gilles, E. D. PY - 2007 DA - 2007// TI - Structural and functional analysis of cellular networks with CellNetAnalyzer JO - BMC Syst Biol VL - 1 UR - https://doi.org/10.1186/1752-0509-1-2 DO - 10.1186/1752-0509-1-2 ID - Klamt2007 ER - TY - JOUR AU - Samaga, R. AU - von Kamp, A. AU - Klamt, S. PY - 2010 DA - 2010// TI - Computing combinatorial intervention strategies and failure modes in signaling networks JO - J Comput Biol VL - 17 UR - https://doi.org/10.1089/cmb.2009.0121 DO - 10.1089/cmb.2009.0121 ID - Samaga2010 ER - TY - JOUR AU - Saez-Rodriguez, J. AU - Mirschel, S. AU - Hemenway, R. AU - Klamt, S. AU - Gilles, E. D. AU - Ginkel, M. PY - 2006 DA - 2006// TI - Visual setup of logical models of signaling and regulatory networks with ProMoT JO - BMC Bioinformatics VL - 7 UR - https://doi.org/10.1186/1471-2105-7-506 DO - 10.1186/1471-2105-7-506 ID - Saez-Rodriguez2006 ER - TY - JOUR AU - Mirschel, S. AU - Steinmetz, K. AU - Rempel, M. AU - Ginkel, M. AU - Gilles, E. D. PY - 2009 DA - 2009// TI - PROMOT: modular modeling for systems biology JO - Bioinformatics VL - 25 UR - https://doi.org/10.1093/bioinformatics/btp029 DO - 10.1093/bioinformatics/btp029 ID - Mirschel2009 ER - TY - JOUR AU - Faeder, J. R. AU - Blinov, M. L. AU - Hlavacek, W. S. PY - 2009 DA - 2009// TI - Rule-based modeling of biochemical systems with BioNetGen JO - Methods Mol Biol VL - 500 UR - https://doi.org/10.1007/978-1-59745-525-1_5 DO - 10.1007/978-1-59745-525-1_5 ID - Faeder2009 ER - TY - JOUR AU - Blinov, M. L. AU - Faeder, J. R. AU - Goldstein, B. AU - Hlavacek, W. S. PY - 2004 DA - 2004// TI - BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains JO - Bioinformatics VL - 20 UR - https://doi.org/10.1093/bioinformatics/bth378 DO - 10.1093/bioinformatics/bth378 ID - Blinov2004 ER - TY - JOUR AU - Koschorreck, M. AU - Gilles, E. D. PY - 2008 DA - 2008// TI - ALC: automated reduction of rule-based models JO - BMC Syst Biol VL - 2 UR - https://doi.org/10.1186/1752-0509-2-91 DO - 10.1186/1752-0509-2-91 ID - Koschorreck2008 ER - TY - CHAP AU - Krivine, J. AU - Danos, V. AU - Benecke, A. ED - Bouajjani, A. ED - Maler, O. PY - 2009 DA - 2009// TI - Modelling Epigenetic Information Maintenance: a Kappa Tutorial BT - Computer Aided Verification, Proceedings, Volume 5643 of Lecture Notes in Computer Science ID - Krivine2009 ER - TY - CHAP AU - Blinov, M. AU - Yang, J. AU - Faeder, J. AU - Hlavacek, W. ED - Priami, C. ED - Ingólfsdóttir, A. ED - Mishra, B. PY - 2006 DA - 2006// TI - Graph Theory for Rule-Based Modeling of Biochemical Networks BT - Transactions on Computational Systems Biology VII, Volume 4230 of Lecture Notes in Computer Science PB - Springer Berlin / Heidelberg CY - Riis Nielson H ID - Blinov2006 ER - TY - JOUR AU - Nag, A. AU - Monine, M. I. AU - Blinov, M. L. AU - Goldstein, B. PY - 2010 DA - 2010// TI - A detailed mathematical model predicts that serial engagement of IgE-Fc epsilon RI complexes can enhance Syk activation in mast cells JO - J Immunol VL - 185 UR - https://doi.org/10.4049/jimmunol.1000326 DO - 10.4049/jimmunol.1000326 ID - Nag2010 ER - TY - JOUR AU - Geier, F. AU - Fengos, G. AU - Iber, D. PY - 2011 DA - 2011// TI - A computational analysis of the dynamic roles of talin, Dok1, and PIPKI for integrin activation JO - PLoS One VL - 6 UR - https://doi.org/10.1371/journal.pone.0024808 DO - 10.1371/journal.pone.0024808 ID - Geier2011 ER - TY - JOUR AU - Chylek, L. A. AU - Hu, B. AU - Blinov, M. L. AU - Emonet, T. AU - Faeder, J. R. AU - Goldstein, B. AU - Gutenkunst, R. N. AU - Haugh, J. M. AU - Lipniacki, T. AU - Posner, R. G. AU - Yang, J. AU - Hlavacek, W. S. PY - 2011 DA - 2011// TI - Guidelines for visualizing and annotating rule-based models JO - Mol Biosyst VL - 7 UR - https://doi.org/10.1039/c1mb05077j DO - 10.1039/c1mb05077j ID - Chylek2011 ER - TY - JOUR AU - Kocieniewski, P. AU - Faeder, J. R. AU - Lipniacki, T. PY - 2012 DA - 2012// TI - The interplay of double phosphorylation and scaffolding in MAPK pathways JO - J Theor Biol VL - 295 UR - https://doi.org/10.1016/j.jtbi.2011.11.014 DO - 10.1016/j.jtbi.2011.11.014 ID - Kocieniewski2012 ER - TY - JOUR AU - Yang, J. AU - Monine, M. I. AU - Faeder, J. R. AU - Hlavacek, W. S. PY - 2008 DA - 2008// TI - Kinetic Monte Carlo method for rule-based modeling of biochemical networks JO - Phys Rev E Stat Nonlin Soft Matter Phys VL - 78 UR - https://doi.org/10.1103/PhysRevE.78.031910 DO - 10.1103/PhysRevE.78.031910 ID - Yang2008 ER - TY - JOUR AU - Colvin, J. AU - Monine, M. AU - Gutenkunst, R. AU - Hlavacek, W. AU - Von Hoff, D. AU - Posner, R. PY - 2010 DA - 2010// TI - RuleMonkey: software for stochastic simulation of rule-based models JO - BMC Bioinformatics VL - 11 UR - https://doi.org/10.1186/1471-2105-11-404 DO - 10.1186/1471-2105-11-404 ID - Colvin2010 ER - TY - JOUR AU - Yang, J. AU - Meng, X. AU - Hlavacek, W. S. PY - 2010 DA - 2010// TI - Rule-based modeling and simulation of biochemical systems with molecular finite automata JO - IET Syst Biol VL - 4 UR - https://doi.org/10.1049/iet-syb.2010.0015 DO - 10.1049/iet-syb.2010.0015 ID - Yang2010 ER - TY - JOUR AU - Kauffman, S. A. PY - 1969 DA - 1969// TI - Metabolic stability and epigenesis in randomly constructed genetic nets JO - J Theor Biol VL - 22 UR - https://doi.org/10.1016/0022-5193(69)90015-0 DO - 10.1016/0022-5193(69)90015-0 ID - Kauffman1969 ER - TY - JOUR AU - Thomas, R. PY - 1973 DA - 1973// TI - Boolean formalization of genetic control circuits JO - J Theor Biol VL - 42 UR - https://doi.org/10.1016/0022-5193(73)90247-6 DO - 10.1016/0022-5193(73)90247-6 ID - Thomas1973 ER - TY - BOOK AU - Thomas, R. AU - D’Ari, R. PY - 1990 DA - 1990// TI - Biological Feedback PB - CRC Press CY - Boca Raton Florida ID - Thomas1990 ER - TY - JOUR AU - Mendoza, L. AU - Thieffry, D. AU - Alvarez-Buylla, E. R. PY - 1999 DA - 1999// TI - Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis JO - Bioinformatics VL - 15 UR - https://doi.org/10.1093/bioinformatics/15.7.593 DO - 10.1093/bioinformatics/15.7.593 ID - Mendoza1999 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 - J Theor Biol 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 - JOUR AU - Christensen, T. S. AU - Oliveira, A. P. AU - Nielsen, J. PY - 2009 DA - 2009// TI - Reconstruction and logical modeling of glucose repression signaling pathways in Saccharomyces cerevisiae JO - BMC Syst Biol VL - 3 UR - https://doi.org/10.1186/1752-0509-3-7 DO - 10.1186/1752-0509-3-7 ID - Christensen2009 ER - TY - JOUR AU - Ryll, A. AU - Samaga, R. AU - Schaper, F. AU - Alexopoulos, L. G. AU - Klamt, S. PY - 2011 DA - 2011// TI - Large-scale network models of IL-1 and IL-6 signalling and their hepatocellular specification JO - Mol Biosyst VL - 7 UR - https://doi.org/10.1039/c1mb05261f DO - 10.1039/c1mb05261f ID - Ryll2011 ER - TY - BOOK AU - Cornish-Bowden, A. PY - 2004 DA - 2004// TI - Fundamentals of Enzyme Kinetics PB - Portland Press Ltd. CY - London ID - Cornish-Bowden2004 ER - TY - JOUR AU - Karnaugh, M. PY - 1953 DA - 1953// TI - The map method for synthesis of combinational logic circuits JO - Transactions of the American Institute of Electrical Engineers VL - 72 ID - Karnaugh1953 ER - TY - CHAP AU - Veitch, E. W. PY - 1952 DA - 1952// TI - A chart method for simplifying truth functions BT - Proceedings of the 1952 ACM national meeting (Pittsburgh), PB - ACM, ACM ’52 CY - New York, NY USA UR - https://doi.org/10.1145/609784.609801 DO - 10.1145/609784.609801 ID - Veitch1952 ER - TY - JOUR AU - McCluskey, E. J. PY - 1956 DA - 1956// TI - Minimization of Boolean functions JO - Bell Syst Tech J VL - 35 UR - https://doi.org/10.1002/j.1538-7305.1956.tb03835.x DO - 10.1002/j.1538-7305.1956.tb03835.x ID - McCluskey1956 ER - TY - JOUR AU - Ginkel, M. AU - Kremling, A. AU - Nutsch, T. AU - Rehner, R. AU - Gilles, E. D. PY - 2003 DA - 2003// TI - Modular modeling of cellular systems with ProMoT/Diva JO - Bioinformatics VL - 19 UR - https://doi.org/10.1093/bioinformatics/btg128 DO - 10.1093/bioinformatics/btg128 ID - Ginkel2003 ER - TY - JOUR AU - Ward, C. W. AU - Lawrence, M. C. AU - Streltsov, V. A. AU - Adams, T. E. AU - McKern, N. M. PY - 2007 DA - 2007// TI - The insulin and EGF receptor structures: new insights into ligand-induced receptor activation JO - Trends Biochem Sci VL - 32 UR - https://doi.org/10.1016/j.tibs.2007.01.001 DO - 10.1016/j.tibs.2007.01.001 ID - Ward2007 ER - TY - CHAP AU - Harris, L. A. AU - Hogg, J. S. AU - Faeder, J. R. PY - 2009 DA - 2009// TI - Compartmental rule-based modeling of biochemical systems. In Winter Simulation Conference, WSC ’09 BT - Winter Simulation Conference ID - Harris2009 ER -