On the discriminating power of passivation and higher-order interaction. - Marco Bernardo 001; Davide Sangiorgi; Valeria Vignudelli (CSL-LICS, 2014)

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. - Marco Bernardo 001; Davide Sangiorgi; Valeria Vignudelli (QEST, 2014)

On Applicative Similarity, Sequentiality, and Full Abstraction. - Raphaëlle Crubillé; Ugo Dal Lago; Davide Sangiorgi; Valeria Vignudelli (Correct System Design, 2015)

Up-To Techniques for Generalized Bisimulation Metrics. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Valeria Vignudelli (CONCUR, 2016)

Behavioral Equivalences for Higher-Order Languages with Probabilities. - Valeria Vignudelli (2017)

Allegories: decidability and graph homomorphisms. - Damien Pous; Valeria Vignudelli (LICS, 2018)

Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk). - Valeria Vignudelli (FSCD, 2018)

Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (CoRR, 2018)

The Theory of Traces for Systems with Nondeterminism and Probability. - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (LICS, 2019)

Environmental Bisimulations for Probabilistic Higher-order Languages. - Davide Sangiorgi; Valeria Vignudelli (ACM Trans. Program. Lang. Syst., 2019)

Monads and Quantitative Equational Theories for Nondeterminism and Probability. - Matteo Mio; Valeria Vignudelli (CONCUR, 2020)

Presenting convex sets of probability distributions by convex semilattices and unique bases. - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (CoRR, 2020)

Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (CALCO, 2021)

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. - Matteo Mio; Ralph Sarkis; Valeria Vignudelli (LICS, 2021)

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. - Matteo Mio; Ralph Sarkis; Valeria Vignudelli (LICS, 2022)

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (Log. Methods Comput. Sci., 2022)

Universal Algebra for Generalised Metric Spaces. - Matteo Mio; Ralph Sarkis; Valeria Vignudelli (CoRR, 2023)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces. - Matteo Mio; Ralph Sarkis; Valeria Vignudelli (Log. Methods Comput. Sci., 2024)