Electronic Notes in Theoretical Computer Science, Volume 284
Volume 284, June 2012
- Chiara Bodei, Linda Brodo, Davide Chiarugi: Control Flow Analysis of Generalised Boolean Networks. 3-22
- Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Towards Abstraction-Based Verification of Shape Calculus. 23-34
- Elena Czeizler, Eugen Czeizler, Bogdan Iancu, Ion Petre: Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels. 35-53
- Vincent Noel, Dima Grigoriev, Sergei Vakulenko, Ovidiu Radulescu: Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models. 75-91
- Loïc Paulevé, Adrien Richard: Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. 93-104
- Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel: Containment in Rule-Based Models. 125-137
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