© 2015

Hybrid Systems Biology

Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

  • Oded Maler
  • Ádám Halász
  • Thao Dang
  • Carla Piazza
Conference proceedings HSB 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7699)

Also part of the Lecture Notes in Bioinformatics book sub series (LNBI, volume 7699)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Hyuk-Jun Chang, Alessandro Astolfi
    Pages 1-26
  3. Alvis Brazma, Karlis Cerans, Dace Ruklisa, Thomas Schlitt, Juris Viksna
    Pages 51-66
  4. Charalampos Kyriakopoulos, Verena Wolf
    Pages 83-96
  5. Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
    Pages 97-110
  6. Alexandre Rocca, Thao Dang, Eric Fanchon
    Pages 111-127
  7. Anatoly Sorokin, Oksana Sorokina, J. Douglas Armstrong
    Pages 128-142
  8. David C. Sterratt, Oksana Sorokina, J. Douglas Armstrong
    Pages 143-158
  9. Back Matter
    Pages 175-175

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014.

This volume presents 8 full papers together with 2 invited tutorials/surveys from 21 submissions.

The HSB 2013 workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments.

The scope of the HSB 2014 workshop is the general area of dynamical models in biology with an emphasis on hybrid approaches, which are not restricted to a narrow class of mathematical models, and which take advantage of techniques developed separately in different sub-fields.



systems biology hybrid systems verification simulation gene regulatory systems parameter synthesis population dynamics rule-based modeling stochastic processes bioinformatics symbolic computation biological systems gene expression global sensitivity analysis hybrid spatial-nonspatial simulations immunotherapy linear systems model analysis multiscale simulation polynomial systems bioinformatics symbolic computation

Editors and affiliations

  • Oded Maler
    • 1
  • Ádám Halász
    • 2
  • Thao Dang
    • 3
  • Carla Piazza
    • 4
  1. 1."CNRS-VERIMAG, University of Grenoble-Alpes (UGA)GrenobleFrance
  2. 2.West Virginia UniversityMorgantownUSA
  3. 3.VERIMAGGieresFrance
  4. 4.University of UdineUdineItaly

Bibliographic information