| 2025 | AIES | Social Misattributions in Conversations with Large Language Models. | Andrea Ferrario, Alberto Termine, Alessandro Facchini |
| 2024 | HAI | Algorithmic Authority & AI Influence in Decision Settings: Theories and Implications for Design. | Alessandro Facchini, Caterina Fregosi, Chiara Natali, Alberto Termine, Ben Wilson |
| 2024 | HCI | Designing for Complementarity: A Conceptual Framework to Go Beyond the Current Paradigm of Using XAI in Healthcare. | Elisa Rubegni, Omran Ayoub, Stefania Maria Rita Rizzo, Marco Barbero, Guenda Bernegger, Francesca D. Faraci, Francesca Mangili, Emiliano Soldini, Pierpaolo Trimboli, Alessandro Facchini |
| 2022 | ISAIM | Dalal's Revision in Sentential Decision Diagrams. | Lilith Mattei, Alessandro Antonucci, Alessandro Facchini |
| 2021 | EUMAS | Logic and Model Checking by Imprecise Probabilistic Interpreted Systems. | Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini |
| 2018 | ILP | Set-Valued Probabilistic Sentential Decision Diagrams. | Alessandro Antonucci, Alessandro Facchini |
| 2015 | WoLLIC | On the Weak Index Problem for Game Automata. | Alessandro Facchini, Filip Murlak, Michal Skrzypczak |
| 2014 | CiE | Deciding the Borel Complexity of Regular Tree Languages. | Alessandro Facchini, Henryk Michalewski |
| 2014 | CSL | Weak MSO: automata and expressiveness modulo bisimilarity. | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2013 | LICS | Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata. | Alessandro Facchini, Filip Murlak, Michal Skrzypczak |
| 2013 | LICS | A Characterization Theorem for the Alternation-Free Fragment of the Modal -Calculus. | Alessandro Facchini, Yde Venema, Fabio Zanasi |
| 2011 | MFCS | Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. | Balder ten Cate, Alessandro Facchini |
| 2009 | CSL | Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. | Jacques Duparc, Alessandro Facchini, Filip Murlak |
| 2008 | CiE | Describing the Wadge Hierarchy for the Alternation Free Fragment of -Calculus (I). | Jacques Duparc, Alessandro Facchini |