Mudathir Mohamed

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Industrial Strength

Stored In A Relational Database

Fuzzy Relations

Top Venues

Publications

Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett
Verifying SQL Queries using Theories of Tables and Relations. CoRR (2024)
Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett
Verifying SQL queries using theories of tables and relations. LPAR (2024)
Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar
cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS (1) (2022)