The Second International Workshop on Static Analysis and Systems Biology (SASB 2011)
SAS workshop, 13 September 2011, Venice, Italy.Contact: sasb2011@easychair.org
Invited Speakers
Accepted Papers
- Chiara Bodei, Linda Brodo, and Davide Chiarugi. Control Flow Analysis of Generalised Boolean Networks.
- Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli , and Luca Tesei. Towards Abstraction-Based Verification of Shape Calculus.
- Elena Czeizler, Eugen Czeizler, Bogdan Iancu, and Ion Petre. Quantitative model refinement as a solution to the combinatorial size explosion of biomodels.
- Vincent Noel, Ovidiu Radulescu, and Sergey Vakulenko. Tropical geometries and dynamics of biochemical networks. Application to hybrid cell cycle models.
- Loïc Paulevé and Richard Adrien. Static Analysis of Boolean Networks Based on Interaction Graphs.
- Tatjana Petrov, Heinz Koeppl, and Amab Ganguly. Molecular Signaling - Model Decomposition and Stochastic Fragments.
- Christopher Thompson-Walsh, Glynn Winskel. Containment in Rule-Based Models.
Sponsors
