 | 2011 |
| 7 |  | Elio Damaggio,
Alin Deutsch,
Richard Hull,
Victor Vianu:
Automatic Verification of Data-Centric Business Processes.
BPM 2011: 3-16 |
| 6 |  | Elio Damaggio,
Richard Hull,
Roman Vaculín:
On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles.
BPM 2011: 396-412 |
| 5 |  | Richard Hull,
Elio Damaggio,
Riccardo De Masellis,
Fabiana Fournier,
Manmohan Gupta,
Fenno Terry Heath,
Stacy Hobson,
Mark H. Linehan,
Sridhar Maradugu,
Anil Nigam,
Piyawadee Noi Sukaviriya,
Roman Vaculín:
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events.
DEBS 2011: 51-62 |
| 4 |  | Elio Damaggio,
Alin Deutsch,
Victor Vianu:
Artifact systems with data dependencies and arithmetic.
ICDT 2011: 66-77 |
| 3 |  | Elio Damaggio,
Alin Deutsch,
Dayou Zhou:
Querying contract databases based on temporal behavior.
SIGMOD Conference 2011: 397-408 |
| 2010 |
| 2 |  | Richard Hull,
Elio Damaggio,
Fabiana Fournier,
Manmohan Gupta,
Fenno Terry Heath,
Stacy Hobson,
Mark H. Linehan,
Sridhar Maradugu,
Anil Nigam,
Piyawadee Sukaviriya,
Roman Vaculín:
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles.
WS-FM 2010: 1-24 |
| 2003 |
| 1 |  | Diego Calvanese,
Elio Damaggio,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Semantic Data Integration in P2P Systems.
DBISP2P 2003: 77-90 |