Christopher Pulte

8 papers and 124 indexed citations i.

Christopher Pulte has authored 8 papers that have received a total of 124 indexed citations. This includes 6 papers in Computer Networks and Communications, 6 papers in Hardware and Architecture and 3 papers in Artificial Intelligence. The topics of these papers are Parallel Computing and Optimization Techniques (6 papers), Distributed systems and fault tolerance (5 papers) and Security and Verification in Computing (3 papers). Christopher Pulte is often cited by papers focused on Parallel Computing and Optimization Techniques (6 papers), Distributed systems and fault tolerance (5 papers) and Security and Verification in Computing (3 papers) and collaborates with scholars based in United Kingdom, France and United States. Christopher Pulte's co-authors include Shaked Flur, Kathryn E. Gray, Peter Sewell, Susmit Sarkar and Luc Maranget and has published in prestigious journals such as ACM SIGPLAN Notices, Formal Methods in System Design and Proceedings of the ACM on Programming Languages