Robert Griesemer

3 papers and 241 indexed citations i.

Robert Griesemer has authored 3 papers that have received a total of 241 indexed citations. This includes 2 papers in Computer Networks and Communications, 1 paper in Artificial Intelligence and 1 paper in Computational Theory and Mathematics. The topics of these papers are Distributed and Parallel Computing Systems (2 papers), Security and Verification in Computing (1 paper) and Formal Methods in Verification (1 paper). Robert Griesemer is often cited by papers focused on Distributed and Parallel Computing Systems (2 papers), Security and Verification in Computing (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in United States, United Kingdom and Portugal. Robert Griesemer's co-authors include Rob Pike, Sean Dorward, Nobuko Yoshida, Raymond Hu and Bernardo Toninho and has published in prestigious journals such as Communications of the ACM, Proceedings of the ACM on Programming Languages and Scientific Programming