Riccardo De Masellis

Geciteerd door

	Alles	Sinds 2019
Citaties	1218	561
h-index	15	11
i10-index	20	11

140

105

2010201120122013201420152016201720182019202020212022202320245 36 57 83 66 87 114 94 100 117 64 63 122 94 99

Openbare toegang

Alles bekijken

6 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Marco MontaliFull Professor in Computer Engineering, Free University of Bozen-BolzanoGeverifieerd e-mailadres voor inf.unibz.it
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaGeverifieerd e-mailadres voor diag.uniroma1.it
Chiara Di FrancescomarinoUniversity of Trento - Trento, ItalyGeverifieerd e-mailadres voor unitn.it
Fabrizio MaggiAssociate Professor, Free University of Bozen-BolzanoGeverifieerd e-mailadres voor ut.ee
Sergio TessarisAssistant Professor of Computer Science, Free University of Bolzen-BolzanoGeverifieerd e-mailadres voor inf.unibz.it
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Geverifieerd e-mailadres voor unibz.it
Paolo FelliUniversity of BolognaGeverifieerd e-mailadres voor unibo.it
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eGeverifieerd e-mailadres voor pads.rwth-aachen.de
Riccardo RosatiUniversità di Roma La SapienzaGeverifieerd e-mailadres voor dis.uniroma1.it
Federico ChesaniResearcher, Computer Science, University of BolognaGeverifieerd e-mailadres voor unibo.it
Paola MelloProfessore di Informatica, Universita' di BolognaGeverifieerd e-mailadres voor unibo.it
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeGeverifieerd e-mailadres voor dis.uniroma1.it
Silvio RaniseFBKGeverifieerd e-mailadres voor fbk.eu
Claudio Di CiccioUtrecht University, Department of Information and Computing SciencesGeverifieerd e-mailadres voor uu.nl
Massimo MecellaProfessor in Engineering in Computer Science, Sapienza Università di Roma, ItalyGeverifieerd e-mailadres voor dis.uniroma1.it
Jianwen SuProfessor of Computer Science, University of California at Santa BarbaraGeverifieerd e-mailadres voor cs.ucsb.edu
Domenico LemboSapienza Università di RomaGeverifieerd e-mailadres voor diag.uniroma1.it

Volgen

Riccardo De Masellis

Principal Research Scientist at Collins Aerospace

Geverifieerd e-mailadres voor collins.com - Homepage

Artificial Intelligence Logics Verification


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	242	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	201	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	97	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	97	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	46	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	34	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	15	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
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
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	11	2016
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs