| 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 | 185 | 2011 |
| Reasoning on LTL on finite traces: Insensitivity to infiniteness G De Giacomo, R De Masellis, M Montali Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014 | 91 | 2014 |
| Foundations of relational artifacts verification BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli International Conference on Business Process Management, 379-395, 2011 | 59 | 2011 |
| Description logic knowledge and action bases BB Hariri, D Calvanese, M Montali, G De Giacomo, R De Masellis, P Felli Journal of Artificial Intelligence Research 46, 651-686, 2013 | 57 | 2013 |
| Monitoring business metaconstraints based on LTL and LDL for finite traces G De Giacomo, R De Masellis, M Grasso, FM Maggi, M Montali International Conference on Business Process Management, 1-17, 2014 | 40 | 2014 |
| Piwadee Noi Sukaviriya, 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, ... Proceedings of the 5th ACM international conference on Distributed event …, 2011 | 39 | 2011 |
| Add data into business process verification: Bridging the gap between theory and practice R De Masellis, C Di Francescomarino, C Ghidini, M Montali, S Tessaris Thirty-First AAAI Conference on Artificial Intelligence, 2017 | 35 | 2017 |
| Verification of artifact-centric systems: Decidability and modeling issues D Solomakhin, M Montali, S Tessaris, R De Masellis International Conference on Service-Oriented Computing, 252-266, 2013 | 32 | 2013 |
| Conjunctive artifact-centric services P Cangialosi, G De Giacomo, R De Masellis, R Rosati International Conference on Service-Oriented Computing, 318-333, 2010 | 32 | 2010 |
| Monitoring data-aware business constraints with finite state automata R De Masellis, FM Maggi, M Montali Proceedings of the 2014 International Conference on Software and System …, 2014 | 24 | 2014 |
| Verification of conjunctive artifact-centric services G De Giacomo, R De Masellis, R Rosati International Journal of Cooperative Information Systems 21 (02), 111-139, 2012 | 23 | 2012 |
| Composition of partially observable services exporting their behaviour G De Giacomo, R De Masellis, F Patrizi Nineteenth International Conference on Automated Planning and Scheduling, 2009 | 18 | 2009 |
| Verification of Description Logic Knowledge and Action Bases. BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli, M Montali ECAI, 103-108, 2012 | 17 | 2012 |
| Smart home planning programs R De Masellis, C Di Ciccio, M Mecella, F Patrizi 2010 7th International Conference on Service Systems and Service Management, 1-6, 2010 | 11 | 2010 |
| Learning hybrid process models from events WMP van der Aalst, R De Masellis, C Di Francescomarino, C Ghidini International Conference on Business Process Management, 59-76, 2017 | 10 | 2017 |
| Semantic enrichment of gsm-based artifact-centric models R De Masellis, D Lembo, M Montali, D Solomakhin Journal on Data Semantics 4 (1), 3-27, 2015 | 9 | 2015 |
| Verification of Conjunctive-Query Based Semantic Artifacts⋆ BB Hariri, D Calvanese, G De Giacomo, R De Masellis 24th International Workshop on Description Logics, 48, 2011 | 8 | 2011 |
| Abducing compliance of incomplete event logs F Chesani, R De Masellis, C Di Francescomarino, C Ghidini, P Mello, ... Conference of the Italian Association for Artificial Intelligence, 208-222, 2016 | 7 | 2016 |
| Runtime enforcement of first-order ltl properties on data-aware business processes R De Masellis, J Su International Conference on Service-Oriented Computing, 54-68, 2013 | 7 | 2013 |
| Abducing workflow traces: a general framework to manage incompleteness in business processes F Chesani, RD Masellis, CD Francescomarino, C Ghidini, P Mello, ... Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 6 | 2016 |
Marco MontaliAssociate Professor, Free University of Bozen-BolzanoBestätigte E-Mail-Adresse bei inf.unibz.it