Concepedia

Daniela Berardi

DB

13

Publications

1.4K

Citations

13

H-Index

2001

Active since

Affiliations

Sapienza University of Rome(Current)

Free University of Bozen-Bolzano

Alcatel Lucent (Germany)

Daniela Berardi is an author at Sapienza University of Rome specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

2001–2008

13

Publications

13

Reasoning on UML class diagrams

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo · Artificial Intelligence · 2005 · 532 citations · Full text

, , +5

Automatic composition of transition-based semantic web services with messaging

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo et al. · 2005 · 259 citations

AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTIONS

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo et al. · International Journal of Cooperative Information Systems · 2005 · 183 citations

, , +20

AUTOMATIC SERVICE COMPOSITION VIA SIMULATION

Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo et al. · International Journal of Foundations of Computer Science · 2008 · 73 citations

, , +14

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

Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini et al. · 2004 · 63 citations

, , +17

Rows per page

1–5 of 13