Valeria Vignudelli

22 papers A* 5B 4Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces.
Log. Methods Comput. Sci.
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2023 J jnl
Universal Algebra for Generalised Metric Spaces.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2022 A* conf
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.
LICS
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2022 J jnl
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2022 J jnl
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.
Log. Methods Comput. Sci.
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2021 A* conf
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.
LICS
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2021 B conf
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls).
CALCO
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2020 J jnl
Combining nondeterminism, probability, and termination: equational and metric reasoning.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2020 B conf
Monads and Quantitative Equational Theories for Nondeterminism and Probability.
CONCUR
Matteo Mio, Valeria Vignudelli
2020 J jnl
Monads and Quantitative Equational Theories for Nondeterminism and Probability.
CoRR
Matteo Mio, Valeria Vignudelli
2020 J jnl
Presenting convex sets of probability distributions by convex semilattices and unique bases.
CoRR
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2019 J jnl
Environmental Bisimulations for Probabilistic Higher-order Languages.
ACM Trans. Program. Lang. Syst.
Davide Sangiorgi, Valeria Vignudelli
2019 A* conf
The Theory of Traces for Systems with Nondeterminism and Probability.
LICS
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2018 A* conf
Allegories: decidability and graph homomorphisms.
LICS
Damien Pous, Valeria Vignudelli
2018 B conf
Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk).
FSCD
Valeria Vignudelli
2018 J jnl
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization.
CoRR
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2017 — —
Behavioral Equivalences for Higher-Order Languages with Probabilities.
Valeria Vignudelli
2016 A* conf
Environmental bisimulations for probabilistic higher-order languages.
POPL
Davide Sangiorgi, Valeria Vignudelli
2016 B conf
Up-To Techniques for Generalized Bisimulation Metrics.
CONCUR
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli
2015 — conf
On Applicative Similarity, Sequentiality, and Full Abstraction.
Correct System Design
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
2014 — conf
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.
QEST
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
2014 — conf
On the discriminating power of passivation and higher-order interaction.
CSL-LICS
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli