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 journals papers by J. D. Whitney are published in Top authors papers by Mehmet Oğuz Güler are co-authored with Top fields papers by May Sudhinaraset are about Top countries impacted by papers by Bixia Ke Top authors papers by Achyuta Adhvaryu are co-authored with Top authors papers by Howard Jacob Karger are co-authored with Top journals papers by G. Bartsch are published in Top fields papers by Julia Cruz are about