| 2025 | CiE | The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition. | Maria Paola Bonacina |
| 2023 | CADE | QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment. | Maria Paola Bonacina, Stphane Graham-Lengrand, Christophe Vauthier |
| 2023 | FMCAD | Reasoning about Quantifiers in SMT: The QSMA algorithm. | Maria Paola Bonacina |
| 2020 | CADE | SGGS Decision Procedures. | Maria Paola Bonacina, Sarah Winkler |
| 2018 | CPP | Proofs in conflict-driven theory combination. | Maria Paola Bonacina, Stphane Graham-Lengrand, Natarajan Shankar |
| 2017 | CADE | Automated Reasoning for Explainable Artificial Intelligence. | Maria Paola Bonacina |
| 2017 | CADE | Satisfiability Modulo Theories and Assignments. | Maria Paola Bonacina, Stphane Graham-Lengrand, Natarajan Shankar |
| 2014 | CADE | SGGS Theorem Proving: an Exposition. | Maria Paola Bonacina, David A. Plaisted |
| 2011 | TABLEAUX | On Interpolation in Decision Procedures. | Maria Paola Bonacina, Moa Johansson |
| 2010 | PPDP | On theorem proving for program checking: historical perspective and recent developments. | Maria Paola Bonacina |
| 2009 | CADE | On Deciding Satisfiability by DPLL(G+ | Maria Paola Bonacina, Christopher Lynch, Leonardo Mendona de Moura |
| 2008 | CADE | Canonical Inference for Implicational Systems. | Maria Paola Bonacina, Nachum Dershowitz |
| 2007 | CADE | T-Decision by Decomposition. | Maria Paola Bonacina, Mnacho Echenim |
| 2006 | CADE | Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. | Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
| 2001 | CADE | Combination of Distributed Search and Multi-search in Peers-mcd.d. | Maria Paola Bonacina |
| 1998 | JELIA | Analysis of Distributed-Search Contraction-Based Strategies. | Maria Paola Bonacina |
| 1997 | CADE | The Clause-Diffusion Theorem Prover Peers-mcd (System Description). | Maria Paola Bonacina |
| 1996 | PRICAI | On Semantic Resolution with Lemmaizing and Contraction. | Maria Paola Bonacina, Jieh Hsiang |
| 1994 | CADE | Distributed Theorem Proving by Peers. | Maria Paola Bonacina, William McCune |
| 1993 | STACS | On Fairness in Distributed Automated Deduction. | Maria Paola Bonacina, Jieh Hsiang |