Ralph Sarkis

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Resource Bounded

Probability Measures

Qualitative Reasoning

Top Venues

Publications

Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Universal Algebra for Generalised Metric Spaces. CoRR (2023)
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. LICS (2022)
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. CoRR (2022)
Daniela Petrisan, Ralph Sarkis
Semialgebras and Weak Distributive Laws. CoRR (2021)
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. LICS (2021)
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Combining nondeterminism, probability, and termination: equational and metric reasoning. CoRR (2020)