( en | de | ru )

 

Disambiguation of "Vignudelli, Valeria"

Author of the publication

copydeleteadd this publication to your clipboard
The Theory of Traces for Systems with Nondeterminism and Probability.

, , and . LICS, page 1-14. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Valeria Vignudelli

Valeria Sordi

Valeria Merlo

Valeria Mospanova

Valeria Tano

 

Other publications of authors with the same name

Universal Algebra for Generalised Metric Spaces., , and . CoRR, (2023)The Theory of Traces for Systems with Nondeterminism, Probability, and Termination., , and . Log. Methods Comput. Sci., (2022)Presenting convex sets of probability distributions by convex semilattices and unique bases., , and . CoRR, (2020)Environmental Bisimulations for Probabilistic Higher-order Languages., and . ACM Trans. Program. Lang. Syst., 41 (4): 22:1-22:64 (2019)Combining nondeterminism, probability, and termination: equational and metric reasoning., , and . CoRR, (2020)Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning., , and . LICS, page 52:1-52:13. ACM, (2022)Monads and Quantitative Equational Theories for Nondeterminism and Probability., and . CONCUR, volume 171 of LIPIcs, page 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning., , and . LICS, page 1-14. IEEE, (2021)Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)., , and . CALCO, volume 211 of LIPIcs, page 11:1-11:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The Theory of Traces for Systems with Nondeterminism and Probability., , and . LICS, page 1-14. IEEE, (2019)