Peter H. Welch

19 papers and 115 indexed citations i.

Peter H. Welch has authored 19 papers that have received a total of 115 indexed citations. This includes 10 papers in Computational Theory and Mathematics, 9 papers in Computer Networks and Communications and 9 papers in Hardware and Architecture. The topics of these papers are Parallel Computing and Optimization Techniques (7 papers), Formal Methods in Verification (5 papers) and Distributed systems and fault tolerance (5 papers). Peter H. Welch is often cited by papers focused on Parallel Computing and Optimization Techniques (7 papers), Formal Methods in Verification (5 papers) and Distributed systems and fault tolerance (5 papers) and collaborates with scholars based in United Kingdom, United States and The Netherlands. Peter H. Welch's co-authors include Susan Stepney, Jon Timmis, Samuel L. Braunstein, Colin G. Johnson and Robin Milner and has published in prestigious journals such as Journal of the Royal Statistical Society Series C (Applied Statistics), ACM Transactions on Programming Languages and Systems and Software Practice and Experience