Tessaris, Sergio

2 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 2000 A Conjunctive Query Language for Description Logic Aboxes Ian Horrocks, Sergio Tessaris