Scholar
Ramy Shahin
Google Scholar ID: zrYATWoAAAAJ
Qualgebra
Software Engineering
Programming Languages
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
137
H-index
8
i10-index
5
Publications
18
Co-authors
0
Publications
2 items
Modular Composition of Inductive Types Using Lean Meta-programming
2026
Cited
0
A Shallow Embedding of Datalog in Lean
2026
Cited
0
