Transactions on Computational Systems Biology VII
Transactions on Computational Systems Biology VII [electronic resource] /
edited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson.
- 1st ed. 2006.
- VII, 187 p. online resource.
- Transactions on Computational Systems Biology ; 4230 .
- Transactions on Computational Systems Biology ; 4230 .
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA -- Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch -- From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits -- Translating SBML Models into the Stochastic ?-Calculus for Stochastic Simulation -- Graph Theory for Rule-Based Modeling of Biochemical Networks -- Adapting Biochemical Kripke Structures for Distributed Model Checking -- A Graphical Representation for Biological Processes in the Stochastic pi-Calculus -- On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems -- A Specification Language and a Framework for the Execution of Composite Models in Systems Biology -- A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.
9783540488392
10.1007/11905455 doi
Computer science.
Bioinformatics.
Machine theory.
Algorithms.
Theory of Computation.
Bioinformatics.
Formal Languages and Automata Theory.
Algorithms.
QA75.5-76.95
004.0151
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA -- Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch -- From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits -- Translating SBML Models into the Stochastic ?-Calculus for Stochastic Simulation -- Graph Theory for Rule-Based Modeling of Biochemical Networks -- Adapting Biochemical Kripke Structures for Distributed Model Checking -- A Graphical Representation for Biological Processes in the Stochastic pi-Calculus -- On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems -- A Specification Language and a Framework for the Execution of Composite Models in Systems Biology -- A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.
9783540488392
10.1007/11905455 doi
Computer science.
Bioinformatics.
Machine theory.
Algorithms.
Theory of Computation.
Bioinformatics.
Formal Languages and Automata Theory.
Algorithms.
QA75.5-76.95
004.0151