Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Abdalrhman Mohamed
Observed name:
Mohamed, Abdalrhman
Institution:
Stanford University
Observed institutions:
University of Iowa,
Stanford University
ORCID:
0000-0003-1414-7073
Observed ORCID:
0000-0003-1414-7073
OpenAlex ID:
A5075703355
cvc5: A Versatile and Industrial-Strength SMT Solver
2022
·
Haniel Barbosa
, Clark Barrett
, et al.
·
Lecture notes in computer science
·
470
PDF
lean-smt: An SMT Tactic for Discharging Proof Goals in Lean
2025
·
Abdalrhman Mohamed
, Tomaz Mascarenhas
, et al.
·
Lecture notes in computer science
·
15
PDF
Interactive Bitvector Reasoning using Verified Bit-Blasting
2025
·
Henrik Böving
, Siddharth Bhat
, et al.
·
Proceedings of the ACM on Programming Languages
·
4
PDF
The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
2026
·
Andrew Reynolds
, Hans-Jörg Schurr
, et al.
·
Lecture notes in computer science
·
1
PDF
Relational Hoare Logic for Realistically Modelled Machine Code
2025
·
Denis Mazzucato
, Abdalrhman Mohamed
, et al.
·
Lecture notes in computer science
·
1
PDF
Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and Lean
2026
·
Saccomani, Pedro
, Mohamed, Abdalrhman
, et al.
·
reposiTUm (TU Wien)
PDF
cvc5 for SMT-COMP 2026
2026
·
Barbosa, Haniel
, Barrett, Clark
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
bv_decide SMT-COMP 2026 Submission
2026
·
Böving, Henrik
, Bhat, Siddharth
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Artifact #42 FMCAD26 - Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and Lean
2026
·
Pedro, Saccomani
, Mohamed, Abdalrhman
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Artifact #71 CAV26 - The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
2026
·
Reynolds, Andrew
, Schurr, Hans-Jörg
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
2026
·
Tomaz Mascarenhas
, Harun Khan
, et al.
·
ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
Show more works
View as search
Works count:
19
Citation count:
492
H-index:
3
I10-index:
2
Year
Topic
Type
