Diletta Cacciagrano

Diletta Romana Cacciagrano

	2011
20		Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD 2011: 379-382
19		Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei: A Testing Framework for P Systems CoRR abs/1108.3424: (2011)
18		Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito: ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. ERCIM News 2011(87): (2011)
17		Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: A Uniform Multiscale Meta-model of BioShape. Electr. Notes Theor. Comput. Sci. 277: 15-27 (2011)
	2010
16		Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli: Bone Remodelling: A Complex Automata-Based Model Running in BioShape. ACRI 2010: 116-127
15		Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Bone Remodelling with Spatial P Systems MeCBIC 2010: 70-84
14		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)
13		Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani: Bone Remodelling in BioShape. Electr. Notes Theor. Comput. Sci. 268: 17-29 (2010)
12		Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: BioShape: a spatial shape-based scale-independent simulation environment for biological systems. Procedia CS 1(1): 827-835 (2010)
11		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)
	2009
10		Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito: Constraint-Based Dynamic Conversations. ICNS 2009: 7-12
9		Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Explicit fairness in testing semantics Logical Methods in Computer Science 5(2): (2009)
	2008
8		Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito: A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633
7		Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia: Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. Electr. Notes Theor. Comput. Sci. 194(2): 59-84 (2008)
	2007
6		Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Fair Pi. Electr. Notes Theor. Comput. Sci. 175(3): 3-26 (2007)
5		Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007)
	2006
4		Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito: Dynamic Constraint-Based Invocation of Web Services. WS-FM 2006: 138-147
3		Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of Synchronous and Asynchronous Communication Via Testing. Electr. Notes Theor. Comput. Sci. 154(3): 95-108 (2006)
	2004
2		Diletta Cacciagrano, Flavio Corradini: Expressiveness of Timed Events and Timed Languages. SFM 2004: 98-131
	2001
1		Diletta Cacciagrano, Flavio Corradini: On Synchronous and Asynchronous Communication Paradigms. ICTCS 2001: 256-268

Coauthor Index

1	Jesús Aranda	[7]
2	Roberto Barbuti	[19]
3	Ezio Bartocci	[11] [14]
4	Maria Rita Di Berardini	[11] [14]
5	Federico Buti	[12] [13] [17] [20]
6	Flavio Corradini	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [15] [16] [17] [18] [20]
7	Rosario Culmone	[4] [8] [10] [18]
8	Massimo Callisto De Donato	[20]
9	Andrea Maggiolo-Schettini	[19]
10	Emanuela Merelli	[11] [12] [13] [14] [15] [16] [17] [18] [20]
11	Paolo Milazzo	[19]
12	Catuscia Palamidessi	[3] [5] [6] [9]
13	M. Pani	[13]
14	Luca Tesei	[8] [11] [12] [13] [14] [15] [17] [18] [19] [20]
15	Frank D. Valencia (Frank Valencia)	[7]
16	Leonardo Vito	[4] [8] [10] [18]

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