| 2022 | LICS | Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. | Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
| 2021 | CALCO | Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2021 | LICS | Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. | Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
| 2020 | CONCUR | Monads and Quantitative Equational Theories for Nondeterminism and Probability. | Matteo Mio, Valeria Vignudelli |
| 2019 | LICS | The Theory of Traces for Systems with Nondeterminism and Probability. | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2018 | LICS | Allegories: decidability and graph homomorphisms. | Damien Pous, Valeria Vignudelli |
| 2016 | CONCUR | Up-To Techniques for Generalized Bisimulation Metrics. | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli |
| 2016 | POPL | Environmental bisimulations for probabilistic higher-order languages. | Davide Sangiorgi, Valeria Vignudelli |
| 2014 | CSL | On the discriminating power of passivation and higher-order interaction. | Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli |