Model Checking Biological Oscillators
Open Access
- 28 February 2009
- journal article
- research article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 229 (1), 41-58
- https://doi.org/10.1016/j.entcs.2009.02.004
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Synchronizing a multicellular system by external input: an artificial control strategyBioinformatics, 2006
- The Kuramoto model: A simple paradigm for synchronization phenomenaReviews of Modern Physics, 2005
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A theory of timed automataTheoretical Computer Science, 1994
- A really temporal logicJournal of the ACM, 1994
- Ionic and synaptic mechanisms underlying a brainstem oscillator: An in vitro study of the pacemaker nucleus of ApteronotusJournal of Comparative Physiology A, 1991
- Collective synchronization of pulse-coupled oscillators and excitable unitsPhysica D: Nonlinear Phenomena, 1991
- Synchronization of Pulse-Coupled Biological OscillatorsSIAM Journal on Applied Mathematics, 1990
- Synchronous Rhythmic Flashing of Fireflies. II.The Quarterly Review of Biology, 1988
- Phase Dynamics of Weakly Unstable Periodic StructuresProgress of Theoretical Physics, 1984