publications and slides
2022
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
“Beyond nonexpansive operations in quantitative algebraic reasoning”
In Proceedings of LICS 2022 [ARXIV]
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
"The theory of traces for systems with nondeterminism, probabilities, and termination"
In Logical Methods in Computer Science [ARXIV]
Note: This is an extended and revised journal version of the LICS 19 paper, that was invited to be submitted to a special issue of LMCS devoted to a small number of LICS 19 selected paper.
2021
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
"Presenting convex sets of probability distributions by convex semilattices and unique bases"
In Proceedings of CALCO 2021
LIPIcs. DOI=10.4230/LIPIcs.CALCO.2021.11
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
“Combining nondeterminism, probability, and termination: equational and metric reasoning”
In Proceedings of LICS 2021
IEEE. DOI=10.1109/LICS52264.2021.9470717 [ARXIV]
2020
Matteo Mio, Valeria Vignudelli
“Monads and quantitative equational theories for nondeterminism and probabilities”
In Proceedings of CONCUR 2020
LIPIcs 171, 28:1-28:18. DOI=10.4230/LIPIcs.CONCUR.2020.28 [ARXIV]
2019
Davide Sangiorgi, Valeria Vignudelli
“Environmental bisimulations for probabilistic higher-order languages”
In ACM Transactions on Programming Languages and Systems (TOPLAS)
Vol. 41, 4, Article 22 (October 2019). DOI=10.1145/3350618
Note: This is an extended and revised journal version of the POPL 16 paper
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
"The theory of traces for systems with nondeterminism and probabilities"
In Proceedings of LICS 2019
IEEE. DOI=10.1109/LICS.2019.8785673 [ARXIV] [SLIDES]
2018
Damien Pous, Valeria Vignudelli
"Allegories: decidability and graph homomorphisms"
In Proceedings of LICS 2018
ACM, pp. 829-838. DOI=10.1145/3209108.3209172 [SLIDES]
2017
Valeria Vignudelli
"Behavioral Equivalences for Higher-Order Languages with Probabilities"
PhD Dissertation, Alma Mater Studiorum – Università di Bologna
DOI=10.6092/unibo/amsdottorato/7968 [DEFENSE SLIDES]
2016
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli
"Up-to techniques for generalized bisimulation metrics"
In Proceedings of CONCUR 2016
LIPIcs 59, 35:1-35:14. DOI=10.4230/LIPIcs.CONCUR.2016.35 [PDF] [SLIDES]
Davide Sangiorgi, Valeria Vignudelli
"Environmental Bisimulations for Probabilistic Higher-Order Languages"
In Proceedings of POPL 2016
ACM, pp. 595-607, 2016. DOI=10.1145/2837614.2837651 [PDF] [SLIDES]
2015
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
"On Applicative Similarity, Sequentiality, and Full Abstraction"
In Correct System Design. Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of his 60th Birthday
Springer. LNCS 9360, pp. 65-82, 2015. DOI=10.1007/978-3-319-23506-6_7 [PDF]
2014
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
“On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems”
In Proceedings of QEST 2014
Springer. LNCS 8657, pp. 281-296. DOI=10.1007/978-3-319-10696-0_23 [PDF]
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
“On the Discriminating Power of Passivation and Higher-Order Interaction”
In Proceedings of CSL-LICS 2014
ACM, Article 14, pp. 1-10. DOI=10.1145/2603088.2603113 [PDF] [Erratum] [SLIDES]
Copyright Notice: The material above is presented to ensure timely dissemination of research results and may not be reposted without explicit permission of the copyright holder.