International Workshop on Hybrid Systems Biology

Hybrid Systems Biology

Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

  • Alessandro Abate
  • David Šafránek
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9271)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Statistical Analysis

  3. Analysis and Verification of Continuous and Hybrid Models

    1. Front Matter
      Pages 35-35
    2. R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan
      Pages 37-57
    3. Luboš Brim, Martin Demko, Samuel Pastva, David Šafránek
      Pages 58-74
    4. Louis Fippo Fitime, Christian Schuster, Peter Angel, Olivier Roux, Carito Guziolowski
      Pages 75-95
    5. Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
      Pages 96-116
  4. Quantitative Analysis of Biological Models

    1. Front Matter
      Pages 117-117
    2. Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patanè
      Pages 119-140
    3. Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf
      Pages 141-155
    4. Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
      Pages 156-172
    5. Andreea Beica, Calin C. Guet, Tatjana Petrov
      Pages 173-191
  5. Application of Advanced Models on Case Studies

    1. Front Matter
      Pages 193-193
    2. Md. Ariful Islam, Richard De Francisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
      Pages 195-210
    3. Delphine Draelants, Przemysław Kłosiewicz, Jan Broeckhove, Wim Vanroose
      Pages 211-225
  6. Back Matter
    Pages 247-249

About these proceedings

Introduction

This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in Biology with an emphasis on hybrid approaches — by no means restricted to a narrow class of mathematical models — and taking advantage of techniques developed separately in different areas.  

Keywords

computational biology formal methods machine learning stochastic models verification by model checking big data control systems data mining dependability and performance differential equations gene regulatory networks genetics heterogeneous (hybrid) systems metabolomics pathway logic robustness analysis statistical model checking synthetic biology systems biology timed and hybrid models

Editors and affiliations

  • Alessandro Abate
    • 1
  • David Šafránek
    • 2
  1. 1.University of OxfordOxfordUnited Kingdom
  2. 2.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-26916-0
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-26915-3
  • Online ISBN 978-3-319-26916-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book