Daniela Berardi Papers on DiSC'06 Automatic Composition of Transition-based Semantic Web Services with Messaging Publications Note: Links lead to the DBLP on the Web. Daniela Berardi Daniela Berardi, Diego Calvanese , Giuseppe De Giacomo , Richard Hull , Maurizio Lenzerini , Massimo Mecella : Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005 Daniela Berardi, Diego Calvanese , Giuseppe De Giacomo , Massimo Mecella : Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005 : 520-526 Daniela Berardi, Diego Calvanese , Giuseppe De Giacomo , Richard Hull , Massimo Mecella : Automatic Composition of Web Services in Colombo. SEBD 2005 : 8-15 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 Daniela Berardi, Diego Calvanese , Giuseppe De Giacomo : Reasoning on UML class diagrams. Artif. Intell. 168 (1-2): 70-118 (2005) Daniela Berardi: Description Logics for e-Service Composition. Description Logics 2004 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 Lucas Bordeaux , Gwen Salaün , Daniela Berardi, Massimo Mecella : When are Two Web Services Compatible? TES 2004 : 15-28 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 Daniela Berardi, Diego Calvanese , Giuseppe De Giacomo : Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003 Daniela Berardi, Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Massimo Mecella : e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 Daniela Berardi, Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Massimo Mecella : Automatic Composition of E-services That Export Their Behavior. ICSOC 2003 : 43-58 Daniela Berardi, Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Massimo Mecella : A Foundational Vision of e-Services. WES 2003 : 28-40 1 [ 6 ] 2 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] 4 [ 10 ] [ 11 ] [ 13 ] 5 [ 1 ] [ 2 ] [ 3 ] [ 5 ] [ 7 ] [ 13 ] 6 [ 1 ] [ 2 ] [ 3 ] [ 5 ] [ 6 ] [ 7 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] 7 [ 6 ] ©2006 Association for Computing Machinery