Mohammed Abuhamad
Scholar

Mohammed Abuhamad

Google Scholar ID: V7FWdNoAAAAJ
Loyola University Chicago
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,296
 
H-index
17
 
i10-index
25
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
4 items
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
2026
Cited
0
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
2026
Cited
0
Attacking interpretable NLP systems
2025
Cited
0
Breaking the Illusion of Security via Interpretation: Interpretable Vision Transformer Systems under Attack
2025
Cited
0
Resume (English only)
Co-authors
13 total
Tamer ABUHMED
Tamer ABUHMED
College of Computing and Informatics, Sungkyunkwan University
DaeHun Nyang
DaeHun Nyang
Ewha Womans University
David Mohaisen
David Mohaisen
Professor of Computer Science, University of Central Florida
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Afsah Anwar
Afsah Anwar
University of New Mexico
Rhongho Jang
Rhongho Jang
Wayne State University
Saeed Salem
Saeed Salem
Professor of Computer Science and Engineering, Qatar University