Statistics
Publications
1
Citations
15
H-Index
1
Active since
2000
Affiliations
University of Kent(Current)
Muhamed Abo-Zaed is an author at University of Kent specializing in formal methods, data-flow analysis, and abstract interpretation.
Publications per year
2000–2000
1
1
A simple polynomial groundness analysis for logic programs
Andy Heaton, Muhamed Abo-Zaed, Michael Codish et al. · The Journal of Logic Programming · 2000 · 15 citations
1–1 of 1