Daniela Berardi

2006
15	EE	Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese: ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912
2005
14	EE	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	EE	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	EE	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	EE	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005)
9	EE	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	EE	Daniela Berardi: Description Logics for e-Service Composition. Description Logics 2004
7	EE	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	EE	Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella: When are Two Web Services Compatible? TES 2004: 15-28
5	EE	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	EE	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003
3	EE	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: e-Service Composition by Description Logics Based Reasoning. Description Logics 2003
2	EE	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	EE	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	Giuseppe De Giacomo	[1] [2] [3] [4] [5] [7] [9] [10] [11] [12] [13] [14] [15]
4	Richard Hull	[11] [12] [14]
5	Maurizio Lenzerini	[1] [2] [3] [5] [7] [9] [14]
6	Massimo Mecella	[1] [2] [3] [5] [6] [7] [9] [11] [12] [13] [14] [15]
7	Gwen Salaün	[6]