| 2017 | CCS | On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters. | Baljit Singh, Dmitry Evtyushkin, Jesse Elwell, Ryan Riley, Iliano Cervesato |
| 2015 | Coordination | Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. | Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima |
| 2015 | LPAR | Modular Multiset Rewriting. | Iliano Cervesato, Edmund S. L. Lam |
| 2015 | WiMob | Programmable orchestration of time-synchronized events across decentralized Android ensembles. | Edmund S. L. Lam, Iliano Cervesato, Ali Elgazar |
| 2014 | APLAS | Optimized Compilation of Multiset Rewriting with Comprehensions. | Edmund Soon Lee Lam, Iliano Cervesato |
| 2013 | PPDP | Decentralized execution of constraint handling rules for ensembles. | Edmund S. L. Lam, Iliano Cervesato |
| 2012 | PPDP | Modeling datalog fact assertion and retraction in linear logic. | Edmund Soon Lee Lam, Iliano Cervesato |
| 2011 | ITiCSE | Discovering logic through comics. | Iliano Cervesato |
| 2011 | ITiCSE | Getting CS undergraduates to communicate effectively. | Andreas Karatsolis, Iliano Cervesato, Khaled A. Harras, Yonina Cooper, Kemal Oflazer, Nael B. Abu-Ghazaleh, Thierry Sans |
| 2010 | LICS | QWeS2T for Type-Safe Web Programming. | Thierry Sans, Iliano Cervesato |
| 2006 | ESORICS | Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. | Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
| 2005 | POPL | Specifying Kerberos 5 cross-realm authentication. | Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad |
| 2000 | TIME | A Calculus of Macro-Events: Progress Report. | Iliano Cervesato, Angelo Montanari |
| 1998 | ICLP | Proof-Theoretic Foundation of Compilation in Logic Programming. | Iliano Cervesato |
| 1998 | KR | The Complexity of Model Checking in Modal Event Calculi with Quantifiers. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1998 | TIME | Event Calculus with Explicit Quantifiers. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | ICLP | The Complexity of Model Checking in Modal Event Calculi. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | LICS | Linear Higher-Order Pre-Unification. | Iliano Cervesato, Frank Pfenning |
| 1997 | TIME | Modal Event Calculi with Preconditions. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1996 | ECAI | A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. | Angelo Montanari, Luca Chittaro, Iliano Cervesato |
| 1996 | LICS | A Linear Logical Framework. | Iliano Cervesato, Frank Pfenning |
| 1995 | ICLP | A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. | Iliano Cervesato, Luca Chittaro, Angelo Montanari |
| 1994 | ICLP | Lollipops Taste of Vanilla too. | Iliano Cervesato |