Daniela Berardi

	2008
16		Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi: Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19(2): 429-451 (2008)
	2006
15		Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese: ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912
	2005
14		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella: Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005
13		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella: Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005: 520-526
12		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Web Services in Colombo. SEBD 2005: 8-15
11		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB 2005: 613-624
10		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005)
9		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Service Composition Based on Behavioral Descriptions. Int. J. Cooperative Inf. Syst. 14(4): 333-376 (2005)
	2004
8		Daniela Berardi: Description Logics for e-Service Composition. Description Logics 2004
7		Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese: Synthesis of underspecified composite e-services based on automated reasoning. ICSOC 2004: 105-114
6		Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella: When are Two Web Services Compatible? TES 2004: 15-28
5		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: : A Tool for Automatic Composition ofServices Based on Logics of Programs. TES 2004: 80-94
	2003
4		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003
3		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: e-Service Composition by Description Logics Based Reasoning. Description Logics 2003
2		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58
1		Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: A Foundational Vision of e-Services. WES 2003: 28-40

Coauthor Index

1	Lucas Bordeaux	[6]
2	Diego Calvanese	[1] [2] [3] [4] [5] [7] [9] [10] [11] [12] [13] [14] [15]
3	Fahima Cheikh	[16]
4	Giuseppe De Giacomo	[1] [2] [3] [4] [5] [7] [9] [10] [11] [12] [13] [14] [15] [16]
5	Richard Hull	[11] [12] [14]
6	Maurizio Lenzerini	[1] [2] [3] [5] [7] [9] [14]
7	Massimo Mecella	[1] [2] [3] [5] [6] [7] [9] [11] [12] [13] [14] [15]
8	Fabio Patrizi	[16]
9	Gwen Salaün	[6]