Valeria Vignudelli

From MaRDI portal
Person:2828299

Available identifiers

zbMath Open vignudelli.valeriaMaRDI QIDQ2828299

List of research outcomes





PublicationDate of PublicationType
The theory of traces for systems with nondeterminism and probability2024-12-19Paper
Beyond nonexpansive operations in quantitative algebraic reasoning2024-12-06Paper
Presenting convex sets of probability distributions by convex semilattices and unique bases2023-12-08Paper
https://portal.mardi4nfdi.de/entity/Q50941512022-08-02Paper
Monads and Quantitative Equational Theories for Nondeterminism and Probability2022-07-18Paper
Allegories2021-01-20Paper
On the discriminating power of passivation and higher-order interaction2018-04-23Paper
https://portal.mardi4nfdi.de/entity/Q46086882018-03-21Paper
Environmental bisimulations for probabilistic higher-order languages2016-10-24Paper
On Applicative Similarity, Sequentiality, and Full Abstraction2015-11-04Paper

Research outcomes over time

This page was built for person: Valeria Vignudelli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2828299&oldid=7086059"
Powered by MediaWiki