Ralph Sarkis

According to our database, Ralph Sarkis authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

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