Amr Sabry
About
Amr Sabry has authored 47 papers that have received a total of 604 indexed citations.
This includes 46 papers in Artificial Intelligence, 20 papers in Computational Theory and Mathematics and 11 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (33 papers), Logic, Reasoning, and Knowledge (13 papers) and Formal Methods in Verification (12 papers). Amr Sabry is often cited by papers focused on Logic, programming, and type systems (33 papers), Logic, Reasoning, and Knowledge (13 papers) and Formal Methods in Verification (12 papers) and collaborates with scholars based in United States, United Kingdom and France. Amr Sabry's co-authors include Matthias Felleisen, Zena M. Ariola, Oleg Kiselyov, Hugo Herbelin and Andrew Lumsdaine and has published in prestigious journals such as The Journal of Physical Chemistry Letters, Journal of Chemical Theory and Computation and Journal of Physics A Mathematical and Theoretical
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by András Horváth are about Top countries impacted by papers by Ngo Quy Chau Top countries impacted by papers by Yongliang Mu Top journals papers by Carmen Peiró Velert are published in Top countries impacted by papers by Markus Kneihsl Top countries impacted by papers by Yongfeng Tong Top journals papers by Lan Wu are published in Top authors papers by Prakash Jayabalan are co-authored with