dblp.uni-trier.dewww.uni-trier.de

Ezio Bartocci Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
13EERadu 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)
12EEEzio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009)
11EEEzio 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
10EEEzio 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
9EERadu 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
8EEEzio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: CellExcite: an efficient simulation environment for excitable cells. BMC Bioinformatics 9(S-2): (2008)
7EEEzio 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
6EEEzio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini: BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinformatics 8(S-1): (2007)
5EEPaolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi: Biowep: a workflow enactment portal for bioinformatics applications. BMC Bioinformatics 8(S-1): (2007)
2006
4EEEzio Bartocci, Flavio Corradini, Emanuela Merelli: Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015
3EEEzio Bartocci, Flavio Corradini, Emanuela Merelli: Building a MultiAgent System from a User Workflow Specification. WOA 2006
2EEEzio 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

Coauthor Index

1Maria Rita Di Berardini [7] [11]
2Guglielmo Bertolini [5]
3Flavio Corradini [2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [13]
4Emilia Entcheva [7] [8] [9] [11] [13]
5Radu Grosu [7] [8] [9] [10] [11] [13]
6Leonardo Mariani [1]
7Domenico Marra [5]
8Giancarlo Mauri [5]
9Emanuela Merelli [1] [2] [3] [4] [5] [6] [10] [12]
10Luciano Milanesi [5]
11Flavio De Paoli [5]
12Oliviero Riganelli [10]
13Paolo Romano [5]
14Lorenzo Scortichini [6]
15Scott A. Smolka [7] [8] [9] [10] [11] [13]
16Luca Tesei [12]
17Leonardo Vito [2]
18Anita Wasilewska [9] [13]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)