Richard A. Eisenberg
About
Richard A. Eisenberg has authored 31 papers that have received a total of 207 indexed citations.
This includes 28 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 13 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (27 papers), Parallel Computing and Optimization Techniques (13 papers) and Formal Methods in Verification (12 papers). Richard A. Eisenberg is often cited by papers focused on Logic, programming, and type systems (27 papers), Parallel Computing and Optimization Techniques (13 papers) and Formal Methods in Verification (12 papers) and collaborates with scholars based in United States, United Kingdom and Germany. Richard A. Eisenberg's co-authors include Stephanie Weirich, Simon Peyton Jones, Joachim Breitner, J. Garrett Morris and Justin Hsu and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Functional Programming and Proceedings of the ACM on Programming Languages.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by J.M. González-Arbesú Breakdown of academic impact, for papers by Dina Iordanova Breakdown of academic impact, for papers by Dawei Yang Breakdown of academic impact, for papers by Paul Einzig Breakdown of academic impact, for papers by Jonathan R. Ellenbogen Breakdown of academic impact, for papers by Vyacheslav N Lukashin Breakdown of academic impact, for papers by Elena-Simona Apostol Breakdown of academic impact, for papers by Jianwen Chen