| 2002 | CaiSE | Verification of Payment Protocols via MultiAgent Model Checking. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
| 2002 | ICCE | Preliminary Results form the Validation of a Specialists' Degree in Motor Disability Assessment. | Salvatore Valenti, Maurizio Panti, Tommaso Leo |
| 2002 | SAFECOMP | Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
| 2001 | CoopIS | Cooperation Strategies for Information Integration. | Maurizio Panti, Luca Spalazzi, Loris Penserini |
| 2001 | DEXA | ANKON: A Multi-agent System for Information Gathering. | Claudia Diamantini, Maurizio Panti |
| 2001 | IJCAI | A Distributed Case-Based Query Rewriting. | Maurizio Panti, Luca Spalazzi, Loris Penserini |
| 2001 | PAKDD | An Efficient Data Compression Approach to the Classification Task. | Claudia Diamantini, Maurizio Panti |
| 2000 | FORTE | A Logic of Belief and a Model Checking Algorithm for Security Protocols. | Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi |
| 2000 | VLDB | A Case-Based Approach to Information Integration. | Maurizio Panti, Luca Spalazzi, Alberto Giretti |
| 1994 | APSEC | Supporting user-analyst interaction in functional requirements elicitation. | Alessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti |