| 2026 | CiE | Nuclear Shifts for Conservation. | Giulio Fellin, Sara Negri, Peter Schuster |
| 2020 | AiML | Modal Logic for Induction. | Giulio Fellin, Sara Negri, Peter M. Schuster |
| 2019 | WoLLIC | Uniform Labelled Calculi for Conditional and Counterfactual Logics. | Marianna Girlando, Sara Negri, Giorgio Sbardolini |
| 2018 | AiML | Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. | Tiziano Dalmonte, Nicola Olivetti, Sara Negri |
| 2018 | AiML | Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. | Marianna Girlando, Nicola Olivetti, Sara Negri |
| 2016 | AiML | The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. | Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch |
| 2015 | TABLEAUX | A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. | Sara Negri, Nicola Olivetti |
| 2014 | AiML | Recent Advances in Proof Systems for Modal Logic. | Sara Negri |
| 2013 | TABLEAUX | On the Duality of Proofs and Countermodels in Labelled Sequent Calculi. | Sara Negri |
| 2012 | LICS | Countermodels from Sequent Calculi in Multi-Modal Logics. | Deepak Garg, Valerio Genovese, Sara Negri |
| 2009 | TABLEAUX | Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. | Bianca Boretti, Sara Negri |
| 1998 | TABLEAUX | From Kripke Models to Algebraic Counter-Valuations. | Sara Negri, Jan von Plato |