default search action

combined dblp search
author search
venue search
publication search

ask others

2nd SASB 2011: Venice, Italy

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > SASB

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/sasb/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sasb/2011
Jérôme Feret, Andre Levchenko:
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011. Electronic Notes in Theoretical Computer Science 284, Elsevier 2012
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FeretL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FeretL12
Jérôme Feret, Andre Levchenko:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BodeiBC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BodeiBC12
Chiara Bodei, Linda Brodo, Davide Chiarugi:
Control Flow Analysis of Generalised Boolean Networks. 3-22
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ButiDCBMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ButiDCBMT12
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CzeizlerCIP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CzeizlerCIP12
Elena Czeizler, Eugen Czeizler, Bogdan Iancu, Ion Petre:
Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels. 35-53
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DamgaardHK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DamgaardHK12
Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine:
Formal Cellular Machinery. 55-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NoelGVR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NoelGVR12
Vincent Noel, Dima Grigoriev, Sergei Vakulenko, Ovidiu Radulescu:
Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models. 75-91
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PauleveR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PauleveR12
Loïc Paulevé, Adrien Richard:
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey. 93-104
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PetrovGK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PetrovGK12
Tatjana Petrov, Arnab Ganguly, Heinz Koeppl:
Model Decomposition and Stochastic Fragments. 105-124
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Thompson-WalshHW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Thompson-WalshHW12
Christopher D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel:
Containment in Rule-Based Models. 125-137

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.