


default search action
6. CMSB 2008: Rostock, Germany
- Monika Heiner, Adelinde M. Uhrmacher:

Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Lecture Notes in Computer Science 5307, Springer 2008, ISBN 978-3-540-88561-0 - Hidde de Jong

:
Qualitative Modeling and Simulation of Bacterial Regulatory Networks. 1 - Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore:

Integrated Analysis from Abstract Stochastic Process Algebra Models. 2-4 - Koichi Takahashi:

An Exact Brownian Dynamics Method for Cell Simulation. 5-6 - Nicolas Le Novère:

Multiscale Modelling of Neuronal Signalling. 7 - Dieter Oesterhelt:

Systems Biology of Halophilic Archaea. 8 - Ritesh Krishna, Shuixia Guo:

A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data. 9-27 - Alexander Ullrich

, Christoph Flamm
:
Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe. 28-43 - Carsten Maus:

Component-Based Modelling of RNA Structure Folding. 44-62 - Michael Pedersen, Gordon D. Plotkin:

A Language for Biochemical Systems. 63-82 - Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher:

The Attributed Pi Calculus. 83-102 - Marek Kwiatkowski, Ian Stark

:
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling. 103-122 - Dirk Lebiedz, Dominik Skanda, Marc Fein:

Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems. 123-140 - Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva:

Formal Analysis of Abnormal Excitation in Cardiac Tissue. 141-155 - Laurence Loewe, Jane Hillston:

The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. 156-175 - Dagmar Köhn, Nicolas Le Novère:

SED-ML - An XML Format for the Implementation of the MIASE Guidelines. 176-190 - Lorenzo Dematté, Tommaso Mazza

:
On Parallel Stochastic Simulation of Diffusive Systems. 191-210 - Matthias Jeschke, Roland Ewald:

Large-Scale Design Space Exploration of SSA. 211-230 - Edmund M. Clarke, James R. Faeder

, Christopher James Langmead
, Leonard A. Harris
, Sumit Kumar Jha
, Axel Legay:
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. 231-250 - Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman

:
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. 251-268 - Robin Donaldson, David R. Gilbert:

A Model Checking Approach to the Parameter Estimation of Biochemical Pathways. 269-287 - Michael Pedersen:

Compositional Definitions of Minimal Flows in Petri Nets. 288-307 - Abdelhalim Larhlimi

, Alexander Bockmayr
:
On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network. 308-327 - Markus Durzinsky, Annegret Wagler, Robert Weismantel:

A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data. 328-346 - Ashish Tiwari, Carolyn L. Talcott:

Analyzing a Discrete Model of Aplysia Central Pattern Generator. 347-366 - Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink:

Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. 367-386 - Richard Carl Van der Wath, Pietro Liò:

A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics. 387-401

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














