Riccardo De Masellis

Riccardo De Masellis image
Contact and personal infos: Current position:


Activities
Participation to PhD school
DescriptionExternal siteYear
European Summer School on Logics Language and Information (ESSLLI 2011)Link2011
Bertinoro international Spring School (BISS)Link2011
Participation to national and international research projects
DescriptionExternal siteYear
Smart Homes for All: An Embedded Middleware Platform for Pervasive and Immersive Environments For-AllLink2009
Artifact-Centric Service InteroperationLink2010, 2011
Participation to conferences/workshops
DescriptionExternal siteYear
The Eighth International Conference on Service Oriented Computing (ICSOC)Link2010
11th Conference of the Italian Association for Artificial Intelligence (AI*IA)Link2009
9th International Conference on Business Process Management (BPM)Link2011
Long stay visiting research periods
DescriptionExternal siteYear
Visiting Scholar at University of California at Santa Barbara under the supervision of Prof. Jianwen Su2012
Long stay visiting research periods
DescriptionExternal siteYear
Research Internship at IBM T.J. Watson Research Center (Hawthorne, New York)2010

Publications
Title Autor(s) Published in Year
1Description Logic Knowledge and Action BasesBabak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo FelliJournal on Artificial Intelligence Research (JAIR)2013
2Verification of Conjunctive Artifact-Centric ServicesG. De Giacomo, R. De Masellis, R. RosatiInternational Journal of Cooperative Information Systems (IJCIS) Vol. 21, No. 02, pp. 111-1392012
3Verification of Description Logic Knowledge and Action BasesB. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. Felli, M. MontaliECAI2012
4Foundations of Relational Artifacts VerificationBabak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis and Paolo Felli9th International Conference on Business Process Management (BPM)2011
5Verification of Conjunctive-Query Based Semantic ArtifactsB. Bagheri Hariri, D. Calvanese, G. De Giacomo, and R. De Masellis24th International Workshop on Description Logics (DL)2011
6Business Entities with Guard-Stage-Milestone Lifecycles: Managing Entity Interactions with Conditions and EventsR. Hull, E. Damaggio, R. De Masellis, F. Fournier, M. Gupta, F. Heat III, S. Hobson, M. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, and R. Vaculin5th ACM International Conference on Distributed Event-Based Systems (DEBS)2011
7Smart Home Planning ProgramsR. De Masellis, C. Di Ciccio, M. Mecella, F. PatriziInternational Conference on Service Systems and Service Management (ICSSSM)2010
8Conjunctive Artifact-Centric ServicesP. Cangialosi, G. De Giacomo, R. De Masellis, R. RosatiInternational Conference on Service Oriented Computing (ICSOC)2010
9Automated Composition of Partially Observable Services Exporting Their BehaviourG. De Giacomo, R. De Masellis, F. PatriziInternational Conference on Automated Planning and Scheduling (ICAPS)2009