| 2023 | IJCAI | A False Sense of Security (Extended Abstract). | Piero A. Bonatti |
| 2023 | IJCAI | Optimizing the Computation of Overriding in DLN (Extended Abstract). | Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro |
| 2022 | KR | Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. | Piero A. Bonatti, Luigi Sauro |
| 2020 | IJCAI | Rational Closure For All Description Logics (Extended Abstract). | Piero A. Bonatti |
| 2019 | BigData | Big Data and Analytics in the Age of the GDPR. | Piero A. Bonatti, Sabrina Kirrane |
| 2018 | IJCAI | Fast Compliance Checking in an OWL2 Fragment. | Piero A. Bonatti |
| 2018 | IJCAI | On the Logical Properties of the Description Logic DL^N (Extended abstract). | Piero A. Bonatti, Luigi Sauro |
| 2017 | IJCAI | A New Semantics for Overriding in Description Logics (Extended Abstract). | Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro |
| 2017 | SAFECOMP | Transparent Personal Data Processing: The Road Ahead. | Piero A. Bonatti, Sabrina Kirrane, Axel Polleres, Rigo Wenning |
| 2014 | ESORICS | Optimality and Complexity of Inference-Proof Data Filtering and CQE. | Joachim Biskup, Piero A. Bonatti, Clemente Galdi, Luigi Sauro |
| 2013 | MFCS | Auctions for Partial Heterogeneous Preferences. | Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro |
| 2013 | SP | An Integrated Formal Approach to Usage Control. | Piero A. Bonatti, Luigi Sauro, Marco Faella, Clemente Galdi |
| 2013 | SACMAT | ERBAC: event-driven RBAC. | Piero A. Bonatti, Clemente Galdi, Davide Torres |
| 2011 | AAAI | Adding Default Attributes to EL++. | Piero A. Bonatti, Marco Faella, Luigi Sauro |
| 2011 | ESORICS | Towards a Mechanism for Incentivating Privacy. | Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro |
| 2011 | IJCAI | On the Complexity of EL with Defeasible Inclusions. | Piero A. Bonatti, Marco Faella, Luigi Sauro |
| 2009 | IJCAI | Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. | Piero A. Bonatti, Marco Faella, Luigi Sauro |
| 2008 | AAAI | Credulous Resolution for Answer Set Programming. | Piero A. Bonatti, Enrico Pontelli, Tran Cao Son |
| 2008 | ICLP | Composing Normal Programs with Function Symbols. | Sabrina Baselice, Piero A. Bonatti |
| 2008 | ICLP | Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. | Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro |
| 2007 | ICLP | On Finitely Recursive Programs. | Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo |
| 2007 | TABLEAUX | Nonmonotonic Description Logics - Requirements, Theory, and Implementations. | Piero A. Bonatti |
| 2006 | ECAI | Advanced Policy Explanations on the Web. | Piero A. Bonatti, Daniel Olmedilla, Joachim Peer |
| 2006 | ICALP | The Complexity of Enriched | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
| 2006 | KR | Description Logics with Circumscription. | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
| 2005 | CCS | PeerAccess: a logic for distributed authorization. | Marianne Winslett, Charles C. Zhang, Piero A. Bonatti |
| 2005 | COMPSAC | Rule Languages for Security and Privacy in Cooperative Systems. | Piero A. Bonatti |
| 2005 | ICLP | Towards an Integration of Answer Set and Constraint Solving. | Sabrina Baselice, Piero A. Bonatti, Michael Gelfond |
| 2005 | WWW | On optimal service selection. | Piero A. Bonatti, Paola Festa |
| 2004 | ECAI | Abduction over Unbounded Domains via ASP. | Piero A. Bonatti |
| 2004 | PODS | On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. | Piero A. Bonatti |
| 2003 | IJCAI | On the Undecidability of Description and Dynamic Logics with Recursion and Counting. | Piero A. Bonatti |
| 2003 | IRI | An Ontology-Extended Relational Algebra. | Piero A. Bonatti, Yu Deng, V. S. Subrahmanian |
| 2002 | ESORICS | Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. | Joachim Biskup, Piero A. Bonatti |
| 2002 | ICLP | Reasoning with Infinite Stable Models II: Disjunctive Programs. | Piero A. Bonatti |
| 2002 | JELIA | Towards Service Description Logics. | Piero A. Bonatti |
| 2001 | ACSAC | A Component-Based Architecture for Secure Data Publication. | Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati |
| 2001 | IJCAI | Reasoning with infinite stable models. | Piero A. Bonatti |
| 2001 | LPNMR | Reasoning with Open Logic Programs. | Piero A. Bonatti |
| 2001 | LPNMR | Prototypes for Reasoning with Infinite Stable Models and Function Symbols. | Piero A. Bonatti |
| 2001 | SEC | An Access Control Model for Data Archives. | Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati |
| 2000 | CCS | Regulating service access and information release on the Web. | Piero A. Bonatti, Pierangela Samarati |
| 2000 | CCS | A modular approach to composing access control policies. | Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati |
| 1999 | DBSEC | Specifying and Computing Hierarchies of Temporal Authorizations. | Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino |
| 1998 | SIGMOD | A Multi-Similarity Algebra. | Sibel Adali, Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian |
| 1997 | CSL | A Sequent Calculus for Circumscription. | Piero A. Bonatti, Nicola Olivetti |
| 1997 | LPNMR | Resolution for Skeptical Stable Semantics. | Piero A. Bonatti |
| 1997 | TABLEAUX | A Sequent Calculus for Skeptical Default Logic. | Piero A. Bonatti, Nicola Olivetti |
| 1996 | ESORICS | Merging Heterogeneous Security Orderings. | Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian |
| 1996 | TABLEAUX | Sequent Calculi for Default and Autoepistemic Logics. | Piero A. Bonatti |
| 1995 | ICDT | Querying Disjunctive Database Through Nonmonotonic Logics. | Piero A. Bonatti, Thomas Eiter |
| 1993 | LPNMR | Autoepistemic Logic Programming. | Piero A. Bonatti |
| 1992 | ICDT | Declarative Foundations of Secure Deductive Databases. | Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian |
| 1992 | ICLP | Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. | Piero A. Bonatti |
| 1991 | LPNMR | Beliefs as Stable Conjectures. | Piero A. Bonatti |
| 1990 | LPNMR | A More General Solution to the Multiple Expansion Problem. | Piero A. Bonatti |