Daniela Berardi

18 papers A* 1A 4Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2008 J jnl
Automatic Service Composition via Simulation.
Int. J. Found. Comput. Sci.
Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi
2006 A conf
ComposingWeb Services with Nondeterministic Behavior.
ICWS
Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese
2005 A* conf
Automatic Composition of Transition-based Semantic Web Services with Messaging.
VLDB
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
2005 — conf
Automatic Composition of Web Services in Colombo.
SEBD
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
2005 J jnl
Automatic Service Composition Based on Behavioral Descriptions.
Int. J. Cooperative Inf. Syst.
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2005 A conf
Composition of Services with Nondeterministic Observable Behavior.
ICSOC
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella
2005 — conf
Modeling Data & Processes for Service Specifications in Colombo.
EMOI-INTEROP
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella
2005 J jnl
Reasoning on UML class diagrams.
Artif. Intell.
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
2004 — conf
: A Tool for Automatic Composition ofServices Based on Logics of Programs.
TES
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2004 — conf
Description Logics for e-Service Composition.
Description Logics
Daniela Berardi
2004 J jnl
Finite State Automata as Conceptual Model for E-Services.
Trans. SDPS
Daniela Berardi, Fabio De Rosa, Luca De Santis, Massimo Mecella
2004 A conf
Synthesis of underspecified composite
ICSOC
Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese
2004 — conf
When are Two Web Services Compatible?
TES
Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella
2003 — conf
A Foundational Vision of e-Services.
WES
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2003 A conf
Automatic Composition of E-services That Export Their Behavior.
ICSOC
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2003 — conf
Reasoning on UML Class Diagrams is EXPTIME-hard.
Description Logics
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
2003 — conf
e-Service Composition by Description Logics Based Reasoning.
Description Logics
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2002 — conf
Statement of interest.
Description Logics
Daniela Berardi