Introducing the guard-stage-milestone approach for specifying business entity lifecycles R Hull, E Damaggio, F Fournier, M Gupta, F Heath, S Hobson, M Linehan, ... Web Services and Formal Methods: 7th International Workshop, WS-FM 2010 …, 2011 | 291 | 2011 |
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, FT Heath III, ... Proceedings of the 5th ACM international conference on Distributed event …, 2011 | 237 | 2011 |
On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles E Damaggio, R Hull, R Vaculín Information Systems 38 (4), 561-584, 2013 | 191 | 2013 |
Artifact systems with data dependencies and arithmetic E Damaggio, A Deutsch, V Vianu ACM Transactions on Database Systems (TODS) 37 (3), 1-36, 2012 | 135 | 2012 |
Semantic data integration in P2P systems D Calvanese, E Damaggio, G De Giacomo, M Lenzerini, R Rosati International Workshop on Databases, Information Systems, and Peer-to-Peer …, 2003 | 88 | 2003 |
Automatic verification of data-centric business processes E Damaggio, A Deutsch, R Hull, V Vianu International conference on business process management, 3-16, 2011 | 49 | 2011 |
Deployment of modular applications from the cloud to local devices C Street, E Damaggio, J Perez, A Dar, MR Yagley, SJ George, ... US Patent 11,204,816, 2021 | 16 | 2021 |
Cloud management of low-resource devices via an intermediary device SJ George, CW Skinner, C Street, E Damaggio, J Perez, O Bloch, ... US Patent 11,182,224, 2021 | 12 | 2021 |
Hobson R Hull, E Damaggio, F Fournier, M Gupta, F Heath III Stacy, Linehan, Mark, Maradugu, Sridhar, Nigam, Anil, Sukaviriya, Piyawadee …, 0 | 9 | |
Piwadee Noi Sukaviriya, and Roman Vaculin. Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, FT Heath III, ... Proc. of DEBS 11, 51-62, 2011 | 8 | 2011 |
Creation of modular applications with corresponding twins in the cloud E Damaggio, A Dar, AK Gande, J Perez, SJ George, CW Skinner US Patent 11,204,815, 2021 | 7 | 2021 |
Cloud modification of modular applications running on local devices SJ George, CW Skinner, E Damaggio, A Dar, AK Gande, SS Pradhan, ... US Patent 10,698,747, 2020 | 7 | 2020 |
Hierarchical split of application between cloud and edge SJ George, CW Skinner, C Street, E Damaggio, MR Yagley, V Puranik, ... US Patent 11,354,174, 2022 | 6 | 2022 |
Modular applications using a common provisioning service E Damaggio, C Street, EN Asanghanwa, ARDNP Ribeiro, DL Barry, ... US Patent 10,970,138, 2021 | 6 | 2021 |
A Formal Introduction to Business Artifacts with Guard-Stage-Milestone Lifecycles R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, IIIFT Heath, ... vol 257593, 1-33, 2011 | 6 | 2011 |
A formal introduction to business artifacts with guard-stage-milestone lifecycles, Version 0.8, May, 2011. Draft IBM Research internal report R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, F Heath III, ... | 6 | |
Distribution of events in edge devices SJ George, CW Skinner, E Damaggio, A Dar, MR Yagley, V Puranik, ... US Patent 11,221,892, 2022 | 4 | 2022 |
Querying contract databases based on temporal behavior E Damaggio, A Deutsch, D Zhou Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011 | 1 | 2011 |
Verification of business process specifications with arithmetic and data dependencies E Damaggio University of California, San Diego, 2011 | 1 | 2011 |
Declarative IoT data control E Damaggio US Patent 11,997,438, 2024 | | 2024 |