Jacob Burnim

5 papers and 14 indexed citations i.

Jacob Burnim has authored 5 papers that have received a total of 14 indexed citations. This includes 3 papers in Computer Networks and Communications, 3 papers in Hardware and Architecture and 2 papers in Artificial Intelligence. The topics of these papers are Distributed systems and fault tolerance (3 papers), Parallel Computing and Optimization Techniques (3 papers) and Formal Methods in Verification (2 papers). Jacob Burnim is often cited by papers focused on Distributed systems and fault tolerance (3 papers), Parallel Computing and Optimization Techniques (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States. Jacob Burnim's co-authors include George C. Necula, Tayfun Elmas, Koushik Sen, Rif A. Saurous and Urs Köster and has published in prestigious journals such as Nature Communications, Communications of the ACM and ACM SIGPLAN Notices