| 2018 | CaiSE | Specification-Driven Multi-perspective Predictive Business Process Monitoring. | Ario Santoso |
| 2018 | EKAW | Conceptual Schema Transformation in Ontology-Based Data Access. | Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst |
| 2017 | BPM | The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access. | Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso |
| 2015 | IJCAI | Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. | Diego Calvanese, Marco Montali, Ario Santoso |
| 2014 | JELIA | Verification of Context-Sensitive Knowledge and Action Bases. | Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso |
| 2013 | IJCAI | Verification of Inconsistency-Aware Knowledge and Action Bases. | Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov |
| 2013 | ICSOC | Verification of Semantically-Enhanced Artifact Systems. | Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin |
| 2012 | KR | Semantically-Governed Data-Aware Processes. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso |
| 2010 | LPAR | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. | L. Yohanes Stefanus, Ario Santoso |