Electronic Notes in Theoretical Computer Science, Volume 227
Volume 227, January 2009
Gabriel Ciobanu: Preface. 1-2- Richard Banks, Victor Khomenko, L. Jason Steggles: A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. 3-19
- Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina: Type Disciplines for Analysing Biologically Relevant Properties. 97-111
- Florentin Ipate, Marian Gheorghe: Testing Non-deterministic Stream X-machine Models and P systems. 113-126
- Tommaso Mazza, Matteo Cavaliere: Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. 127-141
- Andrew Phillips: An Abstract Machine for the Stochastic Bioambient calculus. 143-159
- Gianluigi Zavattaro: Reachability Analysis in BioAmbients. 179-193
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team