EPTCS 92 - HSB 2012
Ezio Bartocci, Luca Bortolussi (Eds.): Proceedings First International Workshop on Hybrid Systems and Biology. 2012 EPTCS 92 [ contents ]- 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
- Pietro Liò, Emanuela Merelli, Nicola Paoletti: Disease processes as hybrid dynamical systems. ... 152-166
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team