 | 2011 |
| 5 |  | Babak Bagheri Hariri,
Diego Calvanese,
Giuseppe De Giacomo,
Riccardo De Masellis,
Paolo Felli:
Foundations of Relational Artifacts Verification.
BPM 2011: 379-395 |
| 4 |  | 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 |
| 3 |  | Babak Bagheri Hariri,
Diego Calvanese,
Giuseppe De Giacomo,
Riccardo De Masellis:
Verification of Conjunctive-Query Based Semantic Artifacts.
Description Logics 2011 |
| 2010 |
| 2 |  | Piero Cangialosi,
Giuseppe De Giacomo,
Riccardo De Masellis,
Riccardo Rosati:
Conjunctive Artifact-Centric Services.
ICSOC 2010: 318-333 |
| 2009 |
| 1 |  | Giuseppe De Giacomo,
Riccardo De Masellis,
Fabio Patrizi:
Composition of Partially Observable Services Exporting their Behaviour.
ICAPS 2009 |