Conferences and Workshops

Damaggio, Hull, Vaculin, `On the equivalence of incremental and fixpoint semantics for business entities with guard-stage-milestone lifecycles', International Conference on Business Process Management (BPM), 2011, to appear

Damaggio, Deutsch, Hull, Vianu, `Automatic Verification of data-Centric Business Process', International Conference on Business Process Management (BPM), 2011, invited paper

Hull, Damaggio, De Masellis, Fournier, Gupta, Heath, Hobson, Linehan, Maradugu, Nigam, Sukaviriya, Vaculin, `Business entities with guard-stage-milestone lifecycles: Managing entity interactions with conditions and events', Distributed Event-Based Systems (DEBS) 2011, to appear

Damaggio, Deutsch, Zhou, `Querying contract databases based on temporal behavior', SIGMOD 2011.

Damaggio, Deutsch, Vianu, `Artifact Systems with Data Dependencies and Arithmetic', International Conference on Database Theory (ICDT) 2011.

Hull, Damaggio, Fournier, Gupta, Heath, Hobson, Linehan, Maradugu, Nigam, Sukaviriya, Vaculin, `Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles', Web Services and Formal Models (WSFM) 2010, invited paper.

Calvanese, Damaggio, De Giacomo, Lenzerini and Rosati, ”‘Semantic Data Integration in Peer-to-Peer Architectures”’, VLDB 2003, Publications International Workshop on Databases, Information Systems and Peer-to-Peer Computing, pages 77-90, Berlin, 2003.

Other

Damaggio, Deutsch, Vianu, `ICON: a verifier for data-aware business process models', in preparation.

Damaggio, Deutsch, Vianu, `Artifact Systems with Data Dependencies and Arithmetic' (journal version), in preparation.