Valeria Vignudelli

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 17

Top Venues

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

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

Valeria Vignudelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Valeria Vignudelli