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 Z. Yaniv are about Top fields papers by Paramita Dutta are about Top countries impacted by papers by Todd Manning Top journals papers by Qianqian Han are published in Top fields papers by Lin Sun are about Top journals papers by W. Płocharski are published in Top journals papers by John Kapolos are published in Top fields papers by R. B. Anderson are about