| 2026 | FSCD | Quantum Bayesian Networks: Compositionality and Typing via Linear Logic. | Rmi Di Guardia, Thomas Ehrhard, Claudia Faggian |
| 2025 | CSL | A Rewriting Theory for Quantum λ-Calculus. | Claudia Faggian, Gaetan Lopez, Benot Valiron |
| 2025 | ESOP | Variable Elimination as Rewriting in a Linear Lambda Calculus. | Thomas Ehrhard, Claudia Faggian, Michele Pagani |
| 2023 | CSL | Asymptotic Rewriting (Invited Talk). | Claudia Faggian |
| 2023 | FSCD | The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. | Thomas Ehrhard, Claudia Faggian, Michele Pagani |
| 2022 | FSCD | Strategies for Asymptotic Normalization. | Claudia Faggian, Giulio Guerrieri |
| 2021 | CSL | Factorize Factorization. | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2021 | FOSSACS | Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. | Claudia Faggian, Giulio Guerrieri |
| 2021 | LICS | A Relational Theory of Monadic Rewriting Systems, Part I. | Francesco Gavazzo, Claudia Faggian |
| 2020 | FSCD | Solvability in a Probabilistic Setting (Invited Talk). | Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian |
| 2019 | APLAS | Factorization and Normalization, Essentially. | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2019 | LICS | Lambda Calculus and Probabilistic Computation. | Claudia Faggian, Simona Ronchi Della Rocca |
| 2017 | POPL | The geometry of parallelism: classical, probabilistic, and quantum effects. | Ugo Dal Lago, Claudia Faggian, Benot Valiron, Akira Yoshimizu |
| 2015 | LICS | Parallelism and Synchronization in an Infinitary Context. | Ugo Dal Lago, Claudia Faggian, Benot Valiron, Akira Yoshimizu |
| 2014 | CSL | The geometry of synchronization. | Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu |
| 2014 | ESOP | Measurements in Proof Nets as Higher-Order Quantum Circuits. | Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago |
| 2009 | LICS | Ludics with Repetitions (Exponentials, Interactive Types and Completeness). | Michele Basaldella, Claudia Faggian |
| 2006 | CSL | Jump from Parallel to Sequential Proofs: Multiplicatives. | Paolo Di Giamberardino, Claudia Faggian |
| 2005 | CSL | L-Nets, Strategies and Proof-Nets. | Pierre-Louis Curien, Claudia Faggian |
| 2005 | LICS | Ludics Nets, a game Model of Concurrent Interaction. | Claudia Faggian, Franois Maurel |
| 2004 | ICALP | Interactive Observability in Ludics. | Claudia Faggian |
| 2002 | CSL | Travelling on Designs. | Claudia Faggian |
| 2002 | CSL | Designs, Disputes and Strategies. | Claudia Faggian, Martin Hyland |
| 2000 | PPDP | Proof construction and non-commutativity: a cluster calculus. | Claudia Faggian |
| 1998 | ICFP | A Term Calculus for Unitary Approach to Nomalization. | Claudia Faggian |
| 1997 | CSL | Classical Proofs via Basic Logic. | Claudia Faggian |