Combining model reductions

Electronic Notes in Theoretical Computer Science

Volumn 265, Issue C, 2010, Pages 73-96

  Camporesi, Ferdinanda ^a,b   Feret, Jérôme ^b   Koeppl, Heinz ^c   Petrov, Tatjana ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b CNRS   (France)

^c EPFL   (Switzerland)

Author keywords

abstract interpretation; model reduction; rules based modeling; symmetries

Indexed keywords

ABSTRACT INTERPRETATIONS; BIOLOGICAL MODELS; CHEMICAL SPECIES; COMBINATORIAL EXPLOSION; COMBINING MODEL; CONNECTED COMPONENT; DIFFERENTIAL SYSTEMS; LINEAR PROJECTIONS; MODEL REDUCTION; RULES-BASED MODELING; STOCHASTIC SEMANTICS; SYMMETRIC PRODUCT; SYMMETRIES;

ABSTRACTING; BINDING ENERGY; BINDING SITES; BIOCHEMISTRY; INTELLIGENT NETWORKS; PROTEINS;

STOCHASTIC MODELS;

EID: 77957929476     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.08.006     Document Type: Conference Paper

References (11)

1. M.L. Blinov, J.R. Faeder, and W.S. Hlavacek BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains Bioinformatics 20 2004
2. N.M. Borisov, N.I. Markevich, B.N. Kholodenko, and E.D. Gilles Signaling through receptors and scaffolds: Independent interactions reduce combinatorial complexity Biophysical Journal 89 2005
3. P. Buchholz Exact and ordinary lumpability in finite Markov chains Journal of Applied Probability 31 1994
4. P. Buchholz Bisimulation relations for weighted automata Theor. Comp. Science 393 2008
5. H. Conzelmann, J. Saez-Rodriguez, T. Sauter, B.N. Kholodenko, and E.D. Gilles A domain-oriented approach to the reduction of combinatorial complexity in signal transduction networks BMC Bioinformatics 7 2006
6. Cousot, P. and R. Cousot, Systematic design of program analysis frameworks, in: POPL1979.
7. Danos, V., J. Feret, W. Fontana, R. Harmer and J. Krivine, Abstracting the differential semantics of rule-based models: exact and automated model reduction, in: LICS2010, to appear.
8. Danos, V., J. Feret, W. Fontana and J. Krivine, Scalable simulation of cellular signaling networks, in: Z. Shao, editor, APLAS2007, LNCS 4807.
9. V. Danos, and C. Laneve Core formal molecular biology Theor. Computer Science 325 2003
10. Feret, J., V. Danos, J. Krivine, R. Harmer and W. Fontana, Internal coarse-graining of molecular systems, Proc. of the National Academy of Sciences 106 (2009).
11. Feret, J., H. Koeppl and T. Petrov, Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, Int. Jour. of Software and Informatics To appear.