Riccardo De Masellis

Riccardo De Masellis

Uppsala University - Uppsala / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1138624
Uppsala Universitet
person_outline Riccardo De Masellis's MOST POPULAR ARTICLES
1-) Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and eventsR Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, FT Heath III, ...Proceedings of the 5th ACM international conference on Distributed event …, 20112222011
2-) Reasoning on LTL on finite traces: Insensitivity to infinitenessG De Giacomo, R De Masellis, M MontaliProceedings of the AAAI Conference on Artificial Intelligence 28 (1), 20141392014
3-) Monitoring business metaconstraints based on LTL and LDL for finite tracesG De Giacomo, R De Masellis, M Grasso, FM Maggi, M MontaliBusiness Process Management: 12th International Conference, BPM 2014, Haifa …, 2014972014
4-) Description logic knowledge and action basesBB Hariri, D Calvanese, M Montali, G De Giacomo, R De Masellis, P FelliJournal of Artificial Intelligence Research 46, 651-686, 2013972013
5-) Foundations of relational artifacts verificationB Bagheri Hariri, D Calvanese, G De Giacomo, R De Masellis, P FelliBusiness Process Management: 9th International Conference, BPM 2011 …, 2011742011