default search action
Information and Computation, Volume 236
Volume 236, August 2014
Preface
- Ezio Bartocci, Luca Bortolussi, Scott A. Smolka:
Hybrid Systems and Biology. 1-2
- Chris J. Banks, Ian Stark:
A logic of behaviour in context. 3-18 - Giulio Caravagna, Alberto d'Onofrio, Marco Antoniotti, Giancarlo Mauri:
Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays. 19-34 - Alberto Casagrande, Tommaso Dreossi, Jana Fabriková, Carla Piazza:
ϵ-Semantics computations on biological systems. 35-51 - Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek:
STL⁎: Extending signal temporal logic with signal-value freezing operator. 52-67 - Loes Olde Loohuis, Andreas Witzel, Bud Mishra:
Cancer hybrid automata: Model, beliefs and therapy. 68-86 - Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. 87-101 - Qin Shu, Ricardo G. Sanfelice:
Dynamical properties of a two-gene network with hysteresis. 102-121 - Vashti Galpin:
Hybrid semantics for Bio-PEPA. 122-145
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.