Daniela Berardi

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi
Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19 (2) (2008)
Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese
ComposingWeb Services with Nondeterministic Behavior. ICWS (2006)
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
Reasoning on UML class diagrams. Artif. Intell. 168 (1-2) (2005)
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
Automatic Composition of Web Services in Colombo. SEBD (2005)
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB (2005)
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella
Composition of Services with Nondeterministic Observable Behavior. ICSOC (2005)
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, Maurizio Lenzerini, Massimo Mecella
Automatic Service Composition Based on Behavioral Descriptions. Int. J. Cooperative Inf. Syst. 14 (4) (2005)
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
: A Tool for Automatic Composition ofServices Based on Logics of Programs. TES (2004)
Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese
-services based on automated reasoning. ICSOC (2004)
Daniela Berardi
Description Logics for e-Service Composition. Description Logics (2004)
Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella
When are Two Web Services Compatible? TES (2004)
Daniela Berardi, Fabio De Rosa, Luca De Santis, Massimo Mecella
Finite State Automata as Conceptual Model for E-Services. Trans. SDPS 8 (2) (2004)
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
A Foundational Vision of e-Services. WES (2003)
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
Automatic Composition of E-services That Export Their Behavior. ICSOC (2003)
Daniela Berardi
Statement of interest. Description Logics (2002)