Daniela Berardi

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Automatic Service Composition via Simulation.
Int. J. Found. Comput. Sci., 2008

2006
ComposingWeb Services with Nondeterministic Behavior.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

2005
Automatic Service Composition Based on Behavioral Descriptions.
Int. J. Cooperative Inf. Syst., 2005

Reasoning on UML class diagrams.
Artif. Intell., 2005

Automatic Composition of Transition-based Semantic Web Services with Messaging.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Automatic Composition of Web Services in Colombo.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Composition of Services with Nondeterministic Observable Behavior.
Proceedings of the Service-Oriented Computing, 2005

Modeling Data & Processes for Service Specifications in Colombo.
Proceedings of the EMOI, 2005

2004
Finite State Automata as Conceptual Model for E-Services.
Transactions of the SDPS, 2004

When are Two Web Services Compatible?
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

: A Tool for Automatic Composition ofServices Based on Logics of Programs.
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Synthesis of underspecified composite e-services based on automated reasoning.
Proceedings of the Service-Oriented Computing, 2004

Description Logics for e-Service Composition.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
A Foundational Vision of e-Services.
Proceedings of the Web Services, 2003

Automatic Composition of E-services That Export Their Behavior.
Proceedings of the Service-Oriented Computing, 2003

e-Service Composition by Description Logics Based Reasoning.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Reasoning on UML Class Diagrams is EXPTIME-hard.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

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


  Loading...