| 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 | 245 | 2011 |
| Reasoning on LTL on finite traces: Insensitivity to infiniteness G De Giacomo, R De Masellis, M Montali Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 203 | 2014 |
| Monitoring business metaconstraints based on LTL and LDL for finite traces G De Giacomo, R De Masellis, M Grasso, FM Maggi, M Montali Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014 | 100 | 2014 |
| 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 | 98 | 2013 |
| Foundations of relational artifacts verification B Bagheri Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli Business Process Management: 9th International Conference, BPM 2011 …, 2011 | 74 | 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 Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 56 | 2017 |
| 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 | 47 | 2014 |
| Verification of artifact-centric systems: Decidability and modeling issues D Solomakhin, M Montali, S Tessaris, R De Masellis Service-Oriented Computing: 11th International Conference, ICSOC 2013 …, 2013 | 47 | 2013 |
| Conjunctive artifact-centric services P Cangialosi, G De Giacomo, R De Masellis, R Rosati Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010 | 37 | 2010 |
| Learning hybrid process models from events: Process discovery without faking confidence WMP van der Aalst, R De Masellis, C Di Francescomarino, C Ghidini Business Process Management: 15th International Conference, BPM 2017 …, 2017 | 35 | 2017 |
| Monitoring constraints and metaconstraints with temporal logics on finite traces G De Giacomo, R De Masellis, FM Maggi, M Montali ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-44, 2022 | 33 | 2022 |
| 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 | 27 | 2012 |
| Verification of description logic knowledge and action bases B Bagheri Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli, ... ECAI 2012, 103-108, 2012 | 24 | 2012 |
| Composition of partially observable services exporting their behaviour G De Giacomo, R De Masellis, F Patrizi Proceedings of the International Conference on Automated Planning and …, 2009 | 19 | 2009 |
| Compliance in business processes with incomplete information and time constraints: a general framework based on abductive reasoning F Chesani, P Mello, R De Masellis, C Di Francescomarino, C Ghidini, ... Fundamenta Informaticae 161 (1-2), 75-111, 2018 | 17 | 2018 |
| A declarative framework for specifying and enforcing purpose-aware policies R De Masellis, C Ghidini, S Ranise Security and Trust Management: 11th International Workshop, STM 2015, Vienna …, 2015 | 16 | 2015 |
| 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 | 14 | 2010 |
| Abducing compliance of incomplete event logs F Chesani, R De Masellis, C Di Francescomarino, C Ghidini, P Mello, ... AI* IA 2016 Advances in Artificial Intelligence: XVth International …, 2016 | 12 | 2016 |
| Runtime enforcement of first-order ltl properties on data-aware business processes R De Masellis, J Su Service-Oriented Computing: 11th International Conference, ICSOC 2013 …, 2013 | 12 | 2013 |
| 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 | 10 | 2011 |
Marco MontaliFull Professor in Computer Engineering, Free University of Bozen-BolzanoVerified email at inf.unibz.it
