Marco Montali
2014
Verifiable UML Artifact-Centric Business Process Models
Diego Calvanese
|
Marco Montali
|
Montserrat Estañol
|
Ernest Teniente
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3-7, 2014
2013
Monitoring business constraints with the event calculus
Marco Montali
|
Fabrizio Maria Maggi
|
Federico Chesani
|
Paola Mello
|
Wil M. P. van der Aalst
2013 Volume 5 Issue 1
2010
Declarative specification and verification of service choreographiess
Marco Montali
|
Maja Pesic
|
Wil M. P. van der Aalst
|
Federico Chesani
|
Paola Mello
|
Sergio Storari
2010 Volume 4 Issue 1
Search
Co-authors
- Paola Mello 2
- Federico Chesani 2
- Wil M. P. van der Aalst 2
- Diego Calvanese 1
- Ernest Teniente 1
- show all...