Elio Damaggio

According to our database1, Elio Damaggio authored at least 9 papers between 2003 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Generic Event Delivery Using HTTP Push.
RFC, December, 2016

2013
On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles.
Inf. Syst., 2013

2012
Artifact systems with data dependencies and arithmetic.
ACM Trans. Database Syst., 2012

2011
Verification of business process specifications with arithmetic and data dependencies.
PhD thesis, 2011

Querying contract databases based on temporal behavior.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events.
Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, 2011

Automatic Verification of Data-Centric Business Processes.
Proceedings of the Business Process Management - 9th International Conference, 2011

2010
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles.
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

2003
Semantic Data Integration in P2P Systems.
Proceedings of the Databases, 2003


  Loading...