| 2008 |
|---|
| 6 | 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 |
| 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 |
