 | 2009 |
|---|
| 7 |       | Radu Grosu,
Scott A. Smolka,
Flavio Corradini,
Anita Wasilewska,
Emilia Entcheva,
Ezio Bartocci:
Learning and detecting emergent behavior in networks of cardiac myocytes.
Commun. ACM 52(3): 97-105 (2009) |
| 6 | | Ezio Bartocci,
Flavio Corradini,
Maria Rita Di Berardini,
Emilia Entcheva,
Scott A. Smolka,
Radu Grosu:
Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci. 410(33-34): 3149-3165 (2009) |
| 2008 |
|---|
| 5 | | Pei Ye,
Radu Grosu,
Scott A. Smolka,
Emilia Entcheva:
Formal Analysis of Abnormal Excitation in Cardiac Tissue.
CMSB 2008: 141-155 |
| 4 | | Radu Grosu,
Ezio Bartocci,
Flavio Corradini,
Emilia Entcheva,
Scott A. Smolka,
Anita Wasilewska:
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.
HSCC 2008: 229-243 |
| 3 | | Ezio Bartocci,
Flavio Corradini,
Emilia Entcheva,
Radu Grosu,
Scott A. Smolka:
CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinformatics 9(S-2): (2008) |
| 2 | | Ezio Bartocci,
Flavio Corradini,
Maria Rita Di Berardini,
Emilia Entcheva,
Radu Grosu,
Scott A. Smolka:
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008) |
| 2007 |
|---|
| 1 | | Radu Grosu,
S. Mitra,
Pei Ye,
Emilia Entcheva,
I. V. Ramakrishnan,
Scott A. Smolka:
Learning Cycle-Linear Hybrid Automata for Excitable Cells.
HSCC 2007: 245-258 |
