De Masellis, Riccardo

3 publications

AAAI 2017 Add Data into Business Process Verification: Bridging the Gap Between Theory and Practice Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris

AAAI 2014 Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali

JAIR 2013 Description Logic Knowledge and Action Bases Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli