Sciweavers

12 search results - page 1 / 3
» cmsb 2006
Sort
View
CMSB
2006
Springer
13 years 8 months ago
Modal Logics for Brane Calculus
Marino Miculan, Giorgio Bacci
CMSB
2006
Springer
13 years 8 months ago
Feedbacks and Oscillations in the Virtual Cell VICE
Davide Chiarugi, M. Chinellato, Pierpaolo Degano, ...
CMSB
2006
Springer
13 years 8 months ago
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
Heike Siebert, Alexander Bockmayr
CMSB
2006
Springer
13 years 8 months ago
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
Muffy Calder, Adam Duguid, Stephen Gilmore, Jane H...