


default search action
1st HSB 2012: Newcastle Upon Tyne, UK
- Ezio Bartocci
, Luca Bortolussi:
Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. EPTCS 92, 2012 - Doug Bruce, Pras Pathmanathan, Jonathan P. Whiteley:
Modelling the effect of gap junctions on tissue-level cardiac electrophysiology. 1-15 - Romain Testylier, Thao Dang:
Analysis of parametric biological models with non-linear dynamics. 16-29 - Anastasis Georgoulas
, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti
:
A subsystems approach for parameter estimation of ODE models of hybrid systems. 30-41 - Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis
, Eric Fanchon:
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration. 42-57 - Alberto Casagrande, Tommaso Dreossi, Carla Piazza
:
Hybrid Automata and ε-Analysis on a Neural Oscillator. 58-72 - Petr Dluhos
, Lubos Brim, David Safránek
:
On Expressing and Monitoring Oscillatory Dynamics. 73-87 - Vincent Noel
, Dima Grigoriev, Sergei Vakulenko, Ovidiu Radulescu
:
Hybrid models of the cell cycle molecular machinery. 88-105 - Giulio Caravagna
, Alex Graudenzi
, Marco Antoniotti, Giancarlo Mauri
, Alberto d'Onofrio
:
Effects of delayed immune-response in tumor immune-system interplay. 106-121 - Alexandre David, Dehui Du, Kim G. Larsen
, Axel Legay, Marius Mikucionis
, Danny Bøgsted Poulsen
, Sean Sedwards:
Statistical Model Checking for Stochastic Hybrid Systems. 122-136 - Loes Olde Loohuis, Andreas Witzel, Bud Mishra:
Towards Cancer Hybrid Automata. 137-151 - Pietro Liò
, Emanuela Merelli, Nicola Paoletti
:
Disease processes as hybrid dynamical systems. 152-166

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.