Benjamin Goldberg

19 papers and 148 indexed citations i.

Benjamin Goldberg has authored 19 papers that have received a total of 148 indexed citations. This includes 12 papers in Hardware and Architecture, 11 papers in Artificial Intelligence and 7 papers in Computational Theory and Mathematics. The topics of these papers are Parallel Computing and Optimization Techniques (12 papers), Logic, programming, and type systems (10 papers) and Formal Methods in Verification (6 papers). Benjamin Goldberg is often cited by papers focused on Parallel Computing and Optimization Techniques (12 papers), Logic, programming, and type systems (10 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in United States, Israel and Canada. Benjamin Goldberg's co-authors include Lenore D. Zuck, Amir Pnueli, Clark Barrett, Yi Fang and Paul Hudak and has published in prestigious journals such as ACM Computing Surveys, IEEE Transactions on Computers and ACM SIGPLAN Notices.