Ralph Sarkis

According to our database, Ralph Sarkis authored at least 8 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams.

Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability.

Ralph Sarkis, Fabio Zanasi

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2024

Lifting Algebraic Reasoning to Generalized Metric Spaces. (Relèvement du raisonnement algébrique aux espaces métriques généralisés).

Ralph Sarkis

PhD thesis, 2024

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Log. Methods Comput. Sci., 2024

2023

Universal Algebra for Generalised Metric Spaces.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

CoRR, 2023

2022

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Semialgebras and Weak Distributive Laws.

Daniela Petrisan, Ralph Sarkis

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.

Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021