Statement of interest. - Daniela Berardi (Description Logics, 2002)

Reasoning on UML Class Diagrams is EXPTIME-hard. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo (Description Logics, 2003)

e-Service Composition by Description Logics Based Reasoning. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (Description Logics, 2003)

Automatic Composition of E-services That Export Their Behavior. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (ICSOC, 2003)

A Foundational Vision of e-Services. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (WES, 2003)

Description Logics for e-Service Composition. - Daniela Berardi (Description Logics, 2004)

Synthesis of underspecified composite e-services based on automated reasoning. - Daniela Berardi; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella; Diego Calvanese (ICSOC, 2004)

: A Tool for Automatic Composition ofServices Based on Logics of Programs. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (TES, 2004)

When are Two Web Services Compatible? - Lucas Bordeaux; Gwen Salaün; Daniela Berardi; Massimo Mecella (TES, 2004)

Finite State Automata as Conceptual Model for E-Services. - Daniela Berardi; Fabio De Rosa; Luca De Santis; Massimo Mecella (Trans. SDPS, 2004)

Modeling Data & Processes for Service Specifications in Colombo. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Richard Hull 001; Maurizio Lenzerini; Massimo Mecella (EMOI-INTEROP, 2005)

Composition of Services with Nondeterministic Observable Behavior. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Massimo Mecella (ICSOC, 2005)

Automatic Composition of Web Services in Colombo. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Richard Hull 001; Massimo Mecella (SEBD, 2005)

Automatic Composition of Transition-based Semantic Web Services with Messaging. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Richard Hull 001; Massimo Mecella (VLDB, 2005)

Reasoning on UML class diagrams. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo (Artif. Intell., 2005)

Automatic Service Composition Based on Behavioral Descriptions. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (Int. J. Cooperative Inf. Syst., 2005)

ComposingWeb Services with Nondeterministic Behavior. - Daniela Berardi; Giuseppe De Giacomo; Massimo Mecella; Diego Calvanese (ICWS, 2006)

Automatic Service Composition via Simulation. - Daniela Berardi; Fahima Cheikh; Giuseppe De Giacomo; Fabio Patrizi (Int. J. Found. Comput. Sci., 2008)