Mudathir Mohamed

According to our database, Mudathir Mohamed authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

Verifying SQL queries using theories of tables and relations.

Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2022

cvc5: A Versatile and Industrial-Strength SMT Solver.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022