Ralph Sarkis

13 papers A* 2B 3Journal 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Complete Diagrammatic Axiomatisations of Relative Entropy.
CoRR
Ralph Sarkis, Fabio Zanasi
2025 B conf
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams.
MFCS
Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi
2025 J jnl
String Diagrams for Graded Monoidal Theories with an Application to Imprecise Probability.
CoRR
Ralph Sarkis, Fabio Zanasi
2025 B conf
String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability.
CALCO
Ralph Sarkis, Fabio Zanasi
2024 — —
Lifting Algebraic Reasoning to Generalized Metric Spaces. (Relèvement du raisonnement algébrique aux espaces métriques généralisés).
Ralph Sarkis
2024 J jnl
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams.
CoRR
Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi
2024 J jnl
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces.
Log. Methods Comput. Sci.
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2023 J jnl
Universal Algebra for Generalised Metric Spaces.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2022 A* conf
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.
LICS
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2022 J jnl
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2021 A* conf
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.
LICS
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2021 B conf
Semialgebras and Weak Distributive Laws.
MFPS
Daniela Petrisan, Ralph Sarkis
2020 J jnl
Combining nondeterminism, probability, and termination: equational and metric reasoning.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli