Bowen Alpern

21 papers and 868 indexed citations i.

Bowen Alpern has authored 21 papers that have received a total of 868 indexed citations. This includes 9 papers in Computer Networks and Communications, 9 papers in Hardware and Architecture and 8 papers in Artificial Intelligence. The topics of these papers are Parallel Computing and Optimization Techniques (9 papers), Logic, programming, and type systems (7 papers) and Formal Methods in Verification (4 papers). Bowen Alpern is often cited by papers focused on Parallel Computing and Optimization Techniques (9 papers), Logic, programming, and type systems (7 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United States, Israel and Australia. Bowen Alpern's co-authors include Fred B. Schneider, Anthony Cocchi, Larry Carter, Peter F. Sweeney and David Grove and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Algorithmica