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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski