Ralph Sarkis

According to our database, Ralph Sarkis authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

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

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams.

Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi

CoRR, 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