Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems Biology

5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Eugenio Cinquemani

    1. INRIA Grenoble - Rhone-Alpes , Saint-Ismier, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexandre Donzé

    1. Electrical Engineering/Computer Science, University of California at Berkeley , Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Bioinformatics (LNBI)

Included in the following conference series:

Conference proceedings info: HSB 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Model Simulation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways

      • Sucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest
      Pages 3-19

    3. Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets

      • Mostafa Herajy, Monika Heiner
      Pages 20-38

    4. Hybrid Stochastic Simulation of Rule-Based Polymerization Models

      • Thilo Krüger, Verena Wolf
      Pages 39-53

  3. Model Analysis

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

      • Matej Hajnal, David Šafránek, Martin Demko, Samuel Pastva, Pavel Krejčí, Luboš Brim
      Pages 57-66

    3. Application of the Reachability Analysis for the Iron Homeostasis Study

      • Alexandre Rocca, Thao Dang, Eric Fanchon, Jean-Marc Moulis
      Pages 67-84

    4. Synchronous Balanced Analysis

      • Andreea Beica, Vincent Danos
      Pages 85-94

  4. Discrete and Network Modelling

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems

      • Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
      Pages 97-112

    3. Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph

      • Hugues Mandon, Stefan Haar, Loïc Paulevé
      Pages 113-127

    4. Discrete Abstraction of Multiaffine Systems

      • Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang et al.
      Pages 128-144

  5. Stochastic Modelling

    1. Front Matter

      Pages 145-145
      Download chapter PDF

    2. On Observability and Reconstruction of Promoter Activity Statistics from Reporter Protein Mean and Variance Profiles

      • Eugenio Cinquemani
      Pages 147-163

    3. Logic-Based Multi-objective Design of Chemical Reaction Networks

      • Luca Bortolussi, Alberto Policriti, Simone Silvetti
      Pages 164-178

  6. Back Matter

    Pages 179-179
    Download chapter PDF
Back to top

Other volumes

  1. Hybrid Systems Biology

Keywords

About this book

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.

The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions. They were organized and presented in 4 thematic sessions also reflected in this book: model simulation; model analysis; discrete and network modelling; stochastic modelling for biological systems.



Editors and Affiliations

  • INRIA Grenoble - Rhone-Alpes , Saint-Ismier, France

    Eugenio Cinquemani

  • Electrical Engineering/Computer Science, University of California at Berkeley , Berkeley, USA

    Alexandre Donzé

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation