StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes

DOI10.1007/978-3-540-68679-8_30zbMath1143.92316OpenAlexW2124166302MaRDI QIDQ3507384

Emanuela Merelli, Scott A. Smolka, Oliviero Riganelli, Radu Grosu, Ezio Bartocci, Flavio Corradini

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_30

Mathematics Subject Classification ID

Medical applications (general) (92C50)

Related Items (3)

Model Checking Biological Oscillators ⋮ Detecting synchronisation of biological oscillators by model checking ⋮ StonyCam

Cites Work

• Unnamed Item
• From Kuramoto to Crawford: Exploring the onset of synchronization in population of coupled oscillators
• Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
• Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
• Learning Cycle-Linear Hybrid Automata for Excitable Cells
• Transactions on Computational Systems Biology III

This page was built for publication: StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes