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.