Ezio Bartocci

	2011
24		Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci: From Cardiac Cells to Genetic Regulatory Networks. CAV 2011: 396-411
23		Ezio Bartocci, Elizabeth Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton: Toward real-time simulation of cardiac dynamics. CMSB 2011: 103-112
22		A. Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, R. Gray, Scott A. Smolka, Radu Grosu: Curvature analysis of cardiac excitation wavefronts. CMSB 2011: 151-160
21		Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok: Runtime Verification with State Estimation. RV 2011: 193-207
20		Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka: Model Repair for Probabilistic Systems. TACAS 2011: 326-340
19		Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi: Modeling the cell cycle: From deterministic models to hybrid systems. Biosystems 105(1): 34-40 (2011)
	2010
18		Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus: Timed Operational Semantics and Well-formedness CoRR abs/1011.2488: (2010)
17		Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comp. Sci. 20: 1-31 (2010)
16		Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comp. Sci. 20: 32-52 (2010)
15		Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010)
	2009
14		Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: A Shape Calculus for Biological Processes. ICTCS 2009: 30-33
13		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)
12		Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009)
11		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
10		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
9		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
8		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)
7		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
6		Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini: BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinformatics 8(S-1): (2007)
5		Paolo 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
4		Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015
3		Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Building a MultiAgent System from a User Workflow Specification. WOA 2006
2		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

Coauthor Index

1	Roberta Alfieri	[19]
2	Grégory Batt	[24]
3	Maria Rita Di Berardini	[7] [11] [14] [16] [17] [18]
4	Guglielmo Bertolini	[5]
5	Diletta Cacciagrano (Diletta Romana Cacciagrano)	[16] [18]
6	Elizabeth Cherry	[23]
7	Flavio Corradini	[2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17]
8	Emilia Entcheva	[7] [8] [9] [11] [13]
9	Flavio H. Fenton	[22] [23] [24]
10	James Glimm	[22] [23] [24]
11	R. Gray	[22]
12	Radu Grosu	[7] [8] [9] [10] [11] [13] [20] [21] [22] [23] [24]
13	Colas Le Guernic	[24]
14	Klaus Havelund	[21]
15	Panagiotis Katsaros	[20]
16	Leonardo Mariani	[1]
17	Domenico Marra	[5]
18	Giancarlo Mauri	[5]
19	Emanuela Merelli	[1] [2] [3] [4] [5] [6] [10] [12] [14] [15] [16] [17] [18] [19]
20	Luciano Milanesi	[5] [19]
21	A. Murthy	[22]
22	Flavio De Paoli	[5]
23	C. R. Ramakrishnan	[20]
24	Oliviero Riganelli	[10]
25	Paolo Romano	[5]
26	Lorenzo Scortichini	[6]
27	Justin Seyster	[21]
28	Scott A. Smolka	[7] [8] [9] [10] [11] [13] [20] [21] [22] [23] [24]
29	Scott D. Stoller	[21]
30	Luca Tesei	[12] [14] [15] [16] [17] [18]
31	Leonardo Vito	[2]
32	Anita Wasilewska	[9] [13]
33	Erez Zadok	[21]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page