Citation Relationships

Bartocci E, Corradini F, Entcheva E, Grosu R, Smolka SA (2008) CellExcite: an efficient simulation environment for excitable cells BMC Bioinformatics 9(Suppl 2):S3

   CellExcite: an efficient simulation environment for excitable cells (Bartocci et al. 2008)

References and models cited by this paper

References and models that cite this paper

Alur R, Courcoubetis C, Henzinger T, Ho P (1993) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems Proceedings of Hybrid Systems I, LNCS 736:209-229

Barkley D (1991) A model for fast computer-simulation of waves in excitable media Physica D 49(1-2):61-70

Barkley D, Kness M, Tuckerman LS (1990) Spiral-wave dynamics in a simple model of excitable media: The transition from simple to compound rotation. Phys Rev A 42:2489-2492 [PubMed]

Berger RD (2004) Electrical restitution hysteresis: good memory or delayed response? Circ Res 94:567-9 [Journal] [PubMed]

Bub G, Glass L, Publicover NG, Shrier A (1998) Bursting calcium rotors in cultured cardiac myocyte monolayers. Proc Natl Acad Sci U S A 95:10283-7 [PubMed]

Bub G, Shrier A (2002) Propagation through heterogeneous substrates in simple excitable media models. Chaos 12:747-753 [Journal] [PubMed]

DiFrancesco D, Noble D (1985) A model of cardiac electrical activity incorporating ionic pumps and concentration changes. Philos Trans R Soc Lond B Biol Sci 307:353-98 [Journal] [PubMed]

   Cardiac action potentials and pacemaker activity of sinoatrial node (DiFrancesco & Noble 1985) [Model]

Entcheva E, Grosu R, Smolka S, True M, Ye Pei, Bartocci E, Riganelli O, Mitra S (2008) [online]

Gerhardt M, Schuster H, Tyson JJ (1990) A cellular automation model of excitable media including curvature and dispersion. Science 247:1563-6 [PubMed]

Henzinger TA (1996) The theory of Hybrid Automata Proceedings Of The 11th Ieee Symposium On Logic In Computer Science :278-293

HODGKIN AL, HUXLEY AF (1952) A quantitative description of membrane current and its application to conduction and excitation in nerve. J Physiol 117:500-44 [Journal] [PubMed]

   Squid axon (Hodgkin, Huxley 1952) (LabAXON) [Model]
   Squid axon (Hodgkin, Huxley 1952) (NEURON) [Model]
   Squid axon (Hodgkin, Huxley 1952) (SNNAP) [Model]
   Squid axon (Hodgkin, Huxley 1952) used in (Chen et al 2010) (R language) [Model]
   Squid axon (Hodgkin, Huxley 1952) (SBML, XPP, other) [Model]

Karma A (2000) New paradigm for drug therapies of cardiac fibrillation. Proc Natl Acad Sci U S A 97:5687-9 [PubMed]

Luo CH, Rudy Y (1991) A model of the ventricular cardiac action potential. Depolarization, repolarization, and their interaction. Circ Res 68:1501-26 [PubMed]

   Ventricular cell model (Guinea-pig-type) (Luo, Rudy 1991, +11 other papers!) (C++) [Model]
   Cardiac action potential based on Luo-Rudy phase 1 model (Luo and Rudy 1991), (Wu 2004) [Model]

Luo CH, Rudy Y (1994) A dynamic model of the cardiac ventricular action potential. I. Simulations of ionic currents and concentration changes. Circ Res 74:1071-96 [PubMed]

   Ventricular cell model (Guinea-pig-type) (Luo, Rudy 1991, +11 other papers!) (C++) [Model]

True MR, Entcheva E, Smolka SA, Ye P, Grosu R (2006) Efficient event-driven simulation of excitable hybrid automata. Conf Proc IEEE Eng Med Biol Soc 1:3150-3 [Journal] [PubMed]

Ye P, Entcheva E, Smolka SA, Grosu R (2008) Modelling excitable cells using cycle-linear hybrid automata. IET Syst Biol 2:24-32 [Journal] [PubMed]

(16 refs)