2008 |
16 | EE | Daniela Berardi,
Fahima Cheikh,
Giuseppe De Giacomo,
Fabio Patrizi:
Automatic Service Composition via Simulation.
Int. J. Found. Comput. Sci. 19(2): 429-451 (2008) |
2006 |
15 | EE | Daniela Berardi,
Giuseppe De Giacomo,
Massimo Mecella,
Diego Calvanese:
ComposingWeb Services with Nondeterministic Behavior.
ICWS 2006: 909-912 |
2005 |
14 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Richard Hull,
Maurizio Lenzerini,
Massimo Mecella:
Modeling Data & Processes for Service Specifications in Colombo.
EMOI-INTEROP 2005 |
13 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Massimo Mecella:
Composition of Services with Nondeterministic Observable Behavior.
ICSOC 2005: 520-526 |
12 | | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Richard Hull,
Massimo Mecella:
Automatic Composition of Web Services in Colombo.
SEBD 2005: 8-15 |
11 | EE | 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 |
10 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo:
Reasoning on UML class diagrams.
Artif. Intell. 168(1-2): 70-118 (2005) |
9 | EE | 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): 333-376 (2005) |
2004 |
8 | EE | Daniela Berardi:
Description Logics for e-Service Composition.
Description Logics 2004 |
7 | EE | 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 |
6 | EE | Lucas Bordeaux,
Gwen Salaün,
Daniela Berardi,
Massimo Mecella:
When are Two Web Services Compatible?
TES 2004: 15-28 |
5 | EE | 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 |
2003 |
4 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo:
Reasoning on UML Class Diagrams is EXPTIME-hard.
Description Logics 2003 |
3 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
e-Service Composition by Description Logics Based Reasoning.
Description Logics 2003 |
2 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
Automatic Composition of E-services That Export Their Behavior.
ICSOC 2003: 43-58 |
1 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
A Foundational Vision of e-Services.
WES 2003: 28-40 |