Graph Theory for Rule-Based Modeling of Biochemical Networks
暂无分享,去创建一个
Jin Yang | William S. Hlavacek | Michael L. Blinov | James R. Faeder | M. Blinov | J. Faeder | Jin Yang | W. Hlavacek
[1] Eric Klavins,et al. Graph grammars for self assembling robotic systems , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.
[2] William S. Hlavacek,et al. Graphical rule-based representation of signal-transduction networks , 2005, SAC '05.
[3] S. V. Aksenov,et al. A spatially extended stochastic model of the bacterial chemotaxis signalling pathway. , 2003, Journal of molecular biology.
[4] Corrado Priami,et al. Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..
[5] T. Pawson,et al. Assembly of Cell Regulatory Systems Through Protein Interaction Domains , 2003, Science.
[6] François Fages,et al. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM , 2002 .
[7] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[8] Peter F. Stadler,et al. A Graph-Based Toy Model of Chemistry , 2003, J. Chem. Inf. Comput. Sci..
[9] W. S. Hlavacek,et al. Investigation of Early Events in FcεRI-Mediated Signaling Using a Detailed Mathematical Model1 , 2003, The Journal of Immunology.
[10] M Hucka,et al. Evolving a lingua franca and associated software infrastructure for computational systems biology: the Systems Biology Markup Language (SBML) project. , 2004, Systems biology.
[11] Hiroaki Kitano,et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..
[12] W. S. Hlavacek,et al. A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity. , 2006, Bio Systems.
[13] William S. Hlavacek,et al. BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains , 2004, Bioinform..
[14] R. Brent,et al. Modelling cellular behaviour , 2001, Nature.
[15] M L Blinov,et al. Combinatorial complexity and dynamical restriction of network flows in signal transduction. , 2004, Systems biology.
[16] Carolyn L. Talcott,et al. Pathway logic modeling of protein functional domains in signal transduction , 2003, Computational Systems Bioinformatics. CSB2003. Proceedings of the 2003 IEEE Bioinformatics Conference. CSB2003.
[17] Gabriele Taentzer,et al. AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.
[18] William S. Hlavacek,et al. Rule-based modeling of biochemical networks , 2005, Complex..
[19] M. Dembo,et al. Theory of equilibrium binding of symmetric bivalent haptens to cell surface antibody: application to histamine release from basophils. , 1978, Journal of immunology.
[20] Aviv Regev,et al. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.
[21] William S. Hlavacek,et al. Modeling the early signaling events mediated by FcepsilonRI. , 2002, Molecular immunology.
[22] Arup K Chakraborty,et al. CD4 enhances T cell sensitivity to antigen by coordinating Lck accumulation at the immunological synapse , 2004, Nature Immunology.
[23] Annegret Habel,et al. Graph Transformation for Specification and Programming , 1999, Sci. Comput. Program..
[24] Dennis Bray,et al. Molecular Prodigality , 2003, Science.
[25] James R Faeder,et al. The complexity of complexes in signal transduction , 2003, Biotechnology and bioengineering.
[26] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[27] Jason M Haugh,et al. On the cross-regulation of protein tyrosine phosphatases and receptor tyrosine kinases in intracellular signaling. , 2004, Journal of theoretical biology.
[28] D. Gillespie. A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .
[29] Manfred Nagl,et al. Applications of Graph Transformations with Industrial Relevance , 2004, Lecture Notes in Computer Science.
[30] B. Kholodenko,et al. Signaling through receptors and scaffolds: independent interactions reduce combinatorial complexity. , 2005, Biophysical journal.
[31] Hiroaki Kitano,et al. A graphical notation for biochemical networks , 2003 .
[32] Andrew Finney,et al. Developing SBML Beyond Level 2: Proposals for Development , 2004, CMSB.
[33] E D Gilles,et al. Reduction of mathematical models of signal transduction networks: simulation-based approach applied to EGF receptor signalling. , 2004, Systems biology.
[34] Nicolas Le Novère,et al. STOCHSIM: modelling of stochastic biomolecular processes , 2001, Bioinform..
[35] Bruce E. Shapiro,et al. Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations , 2003, Bioinform..
[36] D. Harel,et al. Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.
[37] Julian R. Ullmann,et al. An Algorithm for Subgraph Isomorphism , 1976, J. ACM.
[38] K. Kohn. Molecular interaction maps as information organizers and simulation guides. , 2001, Chaos.
[39] José Meseguer,et al. Pathway Logic: Symbolic Analysis of Biological Signaling , 2001, Pacific Symposium on Biocomputing.
[40] Hanno Steen,et al. Development of human protein reference database as an initial platform for approaching systems biology in humans. , 2003, Genome research.
[41] Reiko Heckel,et al. Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach , 1997, Handbook of Graph Grammars.
[42] C. J.,et al. Predicting Temporal Fluctuations in an Intracellular Signalling Pathway , 1998 .
[43] M. Dembo,et al. Theory of equilibrium binding of asymmetric bivalent haptens to cell surface antibody: application to histamine release from basophils. , 1978, Journal of immunology.
[44] Francesc Rosselló,et al. Graph Transformation in Molecular Biology , 2005, Formal Methods in Software and Systems Modeling.
[45] Hans-Jörg Kreowski,et al. Formal Methods in Software and Systems Modeling , 2008 .
[46] Jean-Loup Faulon,et al. Isomorphism, Automorphism Partitioning, and Canonical Labeling Can Be Solved in Polynomial-Time for Molecular Graphs , 1998, J. Chem. Inf. Comput. Sci..
[47] W. S. Hlavacek,et al. Mathematical and computational models of immune-receptor signalling , 2004, Nature Reviews Immunology.
[48] Cosimo Laneve,et al. Formal molecular biology , 2004, Theor. Comput. Sci..
[49] John N Weinstein,et al. Molecular Interaction Maps--A Diagrammatic Graphical Language for Bioregulatory Networks , 2004, Science's STKE.
[50] Roger Brent,et al. Automatic generation of cellular reaction networks with Moleculizer 1.0 , 2005, Nature Biotechnology.
[51] Eugene M. Luks,et al. Isomorphism of graphs of bounded valence can be tested in polynomial time , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
[52] Cosimo Laneve,et al. Graphs for Core Molecular Biology , 2003, CMSB.