Semantic Data Integration in P2P Systems. - Diego Calvanese; Elio Damaggio; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (DBISP2P, 2003)

Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. - Richard Hull 001; Elio Damaggio; Fabiana Fournier; Manmohan Gupta; Fenno F. Terry Heath III; Stacy Hobson; Mark H. Linehan; Sridhar Maradugu; Anil Nigam; Piyawadee Sukaviriya; Roman Vaculín (WS-FM, 2010)

Automatic Verification of Data-Centric Business Processes. - Elio Damaggio; Alin Deutsch; Richard Hull 001; Victor Vianu (BPM, 2011)

Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. - Richard Hull 001; Elio Damaggio; Riccardo De Masellis; Fabiana Fournier; Manmohan Gupta; Fenno F. Terry Heath III; Stacy Hobson; Mark H. Linehan; Sridhar Maradugu; Anil Nigam; Piyawadee Noi Sukaviriya; Roman Vaculín (DEBS, 2011)

Querying contract databases based on temporal behavior. - Elio Damaggio; Alin Deutsch; Dayou Zhou (SIGMOD Conference, 2011)

Verification of business process specifications with arithmetic and data dependencies. - Elio Damaggio (2011)

Artifact systems with data dependencies and arithmetic. - Elio Damaggio; Alin Deutsch; Victor Vianu (ACM Trans. Database Syst., 2012)

On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles. - Elio Damaggio; Richard Hull 001; Roman Vaculín (Inf. Syst., 2013)

Generic Event Delivery Using HTTP Push. - Martin Thomson; Elio Damaggio; Brian Raymor (RFC, 2016)