Hybrid Systems Biology

6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers

  • Milan Češka
  • Nicola Paoletti
Conference proceedings HSB 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Alberto Averna, Marta Carè, Stefano Buccelli, Marianna Semprini, Francesco Difato, Michela Chiappalone
      Pages 3-15
    3. Igor Schreiber, František Muzika, Jan Červený
      Pages 30-41
  3. Regular Papers

    1. Front Matter
      Pages 43-43
    2. Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski
      Pages 45-62
    3. Ádám M. Halász, Brandon L. Clark, Ouri Maler, Jeremy S. Edwards
      Pages 98-116
    4. Charalampos Kyriakopoulos, Pascal Giehr, Alexander Lück, Jörn Walter, Verena Wolf
      Pages 117-131
    5. Cecile Moulin, Laurent Tournier, Sabine Peres
      Pages 132-146
    6. Matej Hajnal, Morgane Nouvian, David Šafránek, Tatjana Petrov
      Pages 147-164
    7. Daniel Figueiredo, Eugénio Rocha, Manuel António Martins, Madalena Chaves
      Pages 165-174
  4. Short Paper

    1. Front Matter
      Pages 175-175
  5. Back Matter
    Pages 181-181

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 6th International Workshop on Hybrid Systems Biology, HSB 2019, held in Prague, Czech Republic, in April 2019.
The 8 full papers presented in this book together with 1 short paper and 3 invited papers were carefully reviewed and selected from 13 submissions. They cover topics such as: modeling and analysis of metabolic, signaling, and genetic regulatory networks in living cells; models of tissues, organs, physiological models; models and methods coping with incomplete, uncertain and heterogeneous information including learning for biological systems, parametric synthesis and inference; stochastic and hybrid models in biology; hierarchical systems for multi-scale, multi-domain analysis; abstraction, approximation, discretization, and model reduction techniques; modeling, analysis and design for synthetic biology, cyber-biological systems and biomedical studies (e.g. therapies, teleoperation); game-theoretical frameworks and population models in biology (e.g. mixed-effects and Bayesian modeling); biological applications of quantitative and formal analysis techniques (e.g. reachability computation, model checking, abstract interpretation, bifurcation theory, stability and sensitivity analysis); efficient techniques for combined and heterogeneous (stochastic/deterministic, spatial/non-spatial) simulations for biological models; modeling languages and logics for biological systems with related analysis and simulation tools; and control architectures of biological systems including biology-in-the-loop systems and bio-robotics.



computational biology biological networks systems biology timed and hybrid models estimation verification synthesis inference differential equations stochastic processes logic bioinformatics numerical methods ordinary differential equations probability Markov chains

Editors and affiliations

  1. 1.Brno University of TechnologyBrnoCzech Republic
  2. 2. University of LondonRoyal HollowayEghamUK

Bibliographic information