| 2009 |
|---|
| 9 | EE | 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) |
| 8 | EE | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli,
Luca Tesei:
Model Checking Biological Oscillators.
Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009) |
| 2008 |
|---|
| 7 | EE | Ezio Bartocci,
Flavio Corradini,
Radu Grosu,
Emanuela Merelli,
Oliviero Riganelli,
Scott A. Smolka:
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Concurrency, Graphs and Models 2008: 493-502 |
| 6 | EE | 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 |
| 5 | EE | 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) |
| 2006 |
|---|
| 4 | EE | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli:
Enacting Proactive Workflows Engine in e-Science.
International Conference on Computational Science (3) 2006: 1012-1015 |
| 3 | EE | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli:
Building a MultiAgent System from a User Workflow Specification.
WOA 2006 |
| 2 | EE | Ezio Bartocci,
Flavio Corradini,
Emanuela Merelli,
Leonardo Vito:
Model driven design and implementation of activity-based applications in Hermes.
WOA 2006 |
| 2003 |
|---|
| 1 | | Ezio Bartocci,
Emanuela Merelli,
Leonardo Mariani:
An XML View of the "World".
ICEIS (1) 2003: 19-27 |
