Valeria Vignudelli

According to our database, Valeria Vignudelli authored at least 17 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Universal Algebra for Generalised Metric Spaces.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

CoRR, 2023

2022

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Log. Methods Comput. Sci., 2022

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls).

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Presenting convex sets of probability distributions by convex semilattices and unique bases.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

CoRR, 2020

Monads and Quantitative Equational Theories for Nondeterminism and Probability.

Matteo Mio, Valeria Vignudelli

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Environmental Bisimulations for Probabilistic Higher-order Languages.

Davide Sangiorgi, Valeria Vignudelli

ACM Trans. Program. Lang. Syst., 2019

The Theory of Traces for Systems with Nondeterminism and Probability.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Trace Semantics for Nondeterministic Probabilistic Automata via Determinization.

Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

CoRR, 2018

Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk).

Valeria Vignudelli

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

Allegories: decidability and graph homomorphisms.

Damien Pous, Valeria Vignudelli

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Behavioral Equivalences for Higher-Order Languages with Probabilities.

Valeria Vignudelli

PhD thesis, 2017

2016

Up-To Techniques for Generalized Bisimulation Metrics.

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

On Applicative Similarity, Sequentiality, and Full Abstraction.

Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli

Proceedings of the Correct System Design, 2015

2014

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.

Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

On the discriminating power of passivation and higher-order interaction.

Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014