Daniela Berardi

According to our database, Daniela Berardi authored at least 18 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Automatic Service Composition via Simulation.

Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi

Int. J. Found. Comput. Sci., 2008

2006

ComposingWeb Services with Nondeterministic Behavior.

Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

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

Reasoning on UML class diagrams.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo

Artif. Intell., 2005

Automatic Composition of Transition-based Semantic Web Services with Messaging.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Automatic Composition of Web Services in Colombo.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Composition of Services with Nondeterministic Observable Behavior.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella

Proceedings of the Service-Oriented Computing, 2005

Modeling Data & Processes for Service Specifications in Colombo.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella

Proceedings of the EMOI, 2005

2004

Finite State Automata as Conceptual Model for E-Services.

Daniela Berardi, Fabio De Rosa, Luca De Santis, Massimo Mecella

Trans. SDPS, 2004

When are Two Web Services Compatible?

Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella

Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

: A Tool for Automatic Composition ofServices Based on Logics of Programs.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella

Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Synthesis of underspecified composite <i>e</i>-services based on automated reasoning.

Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese

Proceedings of the Service-Oriented Computing, 2004

Description Logics for e-Service Composition.

Daniela Berardi

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

A Foundational Vision of e-Services.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella

Proceedings of the Web Services, 2003

Automatic Composition of E-services That Export Their Behavior.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella

Proceedings of the Service-Oriented Computing, 2003

e-Service Composition by Description Logics Based Reasoning.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Reasoning on UML Class Diagrams is EXPTIME-hard.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

Statement of interest.

Daniela Berardi

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002