Jared Roesch

9 papers and 111 indexed citations i.

Jared Roesch has authored 9 papers that have received a total of 111 indexed citations. This includes 7 papers in Artificial Intelligence, 5 papers in Hardware and Architecture and 3 papers in Electrical and Electronic Engineering. The topics of these papers are Parallel Computing and Optimization Techniques (4 papers), Logic, programming, and type systems (3 papers) and Formal Methods in Verification (2 papers). Jared Roesch is often cited by papers focused on Parallel Computing and Optimization Techniques (4 papers), Logic, programming, and type systems (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, Austria and China. Jared Roesch's co-authors include Thierry Moreau, Ben Hardekopf, Ziheng Jiang, Luís Ceze and Tianqi Chen and has published in prestigious journals such as Proceedings of the VLDB Endowment, ACM SIGPLAN Notices and IEEE Micro