Mudathir Mohamed

According to our database, Mudathir Mohamed authored at least 6 papers between 2022 and 2025.

Collaborative distances:

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

2025

cvc5 for SMT-COMP 2025.

Haniel Barbosa, Clark W. Barrett, Hanna Lachnitt, Abdalrhman Mohamed, Mudathir Mohamed, José Neto, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni Zohar

Dataset, June, 2025

Ultra-Low-Cost Real-Time Precise Point Positioning Using Different Streams for Precise Positioning and Precipitable Water Vapor Retrieval Estimates.

Mohamed Abdelazeem, Amgad Abazeed, Hussain Kamal, Mudathir Mohamed

Algorithms, 2025

Solving Set Constraints with Comprehensions and Bounded Quantifiers.

Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Marsha Chechik

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2024

cvc5 for SMT-COMP 2024.

Leni Aniva, Haniel Barbosa, Clark W. Barrett, Hanna Lachnitt, Daniel Larraz, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Hans-Jörg Schurr, Cesare Tinelli, Amalee Wilson, Yoni Zohar

Dataset, June, 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