Elio Damaggio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2011–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | BPM | Automatic Verification of Data-Centric Business Processes. | Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu |
| 2011 | BPM | On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles. | Elio Damaggio, Richard Hull, Roman Vaculn |
| 2011 | ICDT | Artifact systems with data dependencies and arithmetic. | Elio Damaggio, Alin Deutsch, Victor Vianu |
| 2011 | SIGMOD | Querying contract databases based on temporal behavior. | Elio Damaggio, Alin Deutsch, Dayou Zhou |