Carl Bruggeman

7 papers and 64 indexed citations i.

Carl Bruggeman has authored 7 papers that have received a total of 64 indexed citations. This includes 5 papers in Artificial Intelligence, 5 papers in Hardware and Architecture and 4 papers in Computer Networks and Communications. The topics of these papers are Security and Verification in Computing (3 papers), Logic, programming, and type systems (3 papers) and Parallel Computing and Optimization Techniques (3 papers). Carl Bruggeman is often cited by papers focused on Security and Verification in Computing (3 papers), Logic, programming, and type systems (3 papers) and Parallel Computing and Optimization Techniques (3 papers) and collaborates with scholars based in United States, France and Germany. Carl Bruggeman's co-authors include R. Kent Dybvig, Lonnie R. Welch, Dave Parrott, Binoy Ravindran and Behrooz Shirazi and has published in prestigious journals such as ACM SIGPLAN Notices