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 countries impacted by papers by Dongjuan Xu Top authors papers by Tülin Düger are co-authored with Top fields papers by Shubhrata Gupta are about Top countries impacted by papers by Baowen Liao Top journals papers by Mehmet Oğuz Güler are published in Top authors papers by Yongqing Wu are co-authored with Top fields papers by I. V. Hunt are about Top authors papers by Majid Farooq are co-authored with