Valeria Vignudelli

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The theory of traces for systems with nondeterminism and probability	2024-12-19	Paper
Beyond nonexpansive operations in quantitative algebraic reasoning	2024-12-06	Paper
Presenting convex sets of probability distributions by convex semilattices and unique bases	2023-12-08	Paper
scientific article; zbMATH DE number 7566077 (Why is no real title available?) (available as arXiv preprint)	2022-08-02	Paper
scientific article; zbMATH DE number 7566077 (Why is no real title available?)	2022-08-02	Paper
Monads and Quantitative Equational Theories for Nondeterminism and Probability (available as arXiv preprint)	2022-07-18	Paper
Allegories: decidability and graph homomorphisms Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
On the discriminating power of passivation and higher-order interaction 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)	2018-04-23	Paper
Up-to techniques for generalized bisimulation metrics	2018-03-21	Paper
Environmental bisimulations for probabilistic higher-order languages Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
On applicative similarity, sequentiality, and full abstraction Lecture Notes in Computer Science	2015-11-04	Paper

Research outcomes over time

This page was built for person: Valeria Vignudelli