Riccardo De Masellis

Citeras av

	Alla	Sedan 2016
Citat	821	500
h-index	13	10
i10-index	14	11

140

105

2010201120122013201420152016201720182019202020214 36 60 72 63 76 122 99 91 123 62 3

Medförfattare

Marco MontaliAssociate Professor, Free University of Bozen-BolzanoVerifierad e-postadress på inf.unibz.it
Giuseppe De GiacomoSapienza Università di RomaVerifierad e-postadress på diag.uniroma1.it
Chiara Di FrancescomarinoFondazione Bruno Kessler - Trento, ItalyVerifierad e-postadress på fbk.eu
Chiara GhidiniHead of Unit, Fondazione Bruno KesslerVerifierad e-postadress på fbk.eu
Fabrizio MaggiAssociate Professor, Free University of Bozen-BolzanoVerifierad e-postadress på ut.ee
Sergio TessarisAssistant Professor of Computer Science, Free University of Bolzen-BolzanoVerifierad e-postadress på inf.unibz.it
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verifierad e-postadress på inf.unibz.it
Paolo FelliFree University of Bozen-BolzanoVerifierad e-postadress på unibz.it
Riccardo RosatiUniversità di Roma La SapienzaVerifierad e-postadress på dis.uniroma1.it
Federico ChesaniResearcher, Computer Science, University of BolognaVerifierad e-postadress på unibo.it
Paola MelloProfessore di Informatica, Universita' di BolognaVerifierad e-postadress på unibo.it
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVerifierad e-postadress på dis.uniroma1.it
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Fraunhofer FIT || TU/e || TiUVerifierad e-postadress på pads.rwth-aachen.de
Claudio Di CiccioSapienza University of Rome, Department of Computer ScienceVerifierad e-postadress på di.uniroma1.it
Massimo MecellaProfessor in Engineering in Computer Science, Sapienza Università di Roma, ItalyVerifierad e-postadress på dis.uniroma1.it
Domenico LemboSapienza Università di RomaVerifierad e-postadress på diag.uniroma1.it
Silvio RaniseFBKVerifierad e-postadress på fbk.eu
Jianwen SuProfessor of Computer Science, University of California at Santa BarbaraVerifierad e-postadress på cs.ucsb.edu

Riccardo De Masellis

Uppsala University

Verifierad e-postadress på it.uu.se - Startsida

Artificial Intelligence Logics Verification


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	205	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	108	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	64	2013
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	64	2011
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	52	2014
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	48	2017
Conjunctive artifact-centric services P Cangialosi, G De Giacomo, R De Masellis, R Rosati International Conference on Service-Oriented Computing, 318-333, 2010	35	2010
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	34	2013
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	33	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
Verification of Description Logic Knowledge and Action Bases. BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli, M Montali ECAI 242, 103-108, 2012	17	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	17	2009
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	16	2017
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
A declarative framework for specifying and enforcing purpose-aware policies R De Masellis, C Ghidini, S Ranise International Workshop on Security and Trust Management, 55-71, 2015	9	2015
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	9	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	8	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	8	2013
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	7	2018

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare