Simon Doherty

11 papers and 54 indexed citations i.

Simon Doherty has authored 11 papers that have received a total of 54 indexed citations. This includes 9 papers in Artificial Intelligence, 8 papers in Computer Networks and Communications and 5 papers in Computational Theory and Mathematics. The topics of these papers are Distributed systems and fault tolerance (8 papers), Security and Verification in Computing (6 papers) and Parallel Computing and Optimization Techniques (5 papers). Simon Doherty is often cited by papers focused on Distributed systems and fault tolerance (8 papers), Security and Verification in Computing (6 papers) and Parallel Computing and Optimization Techniques (5 papers) and collaborates with scholars based in United Kingdom, Germany and New Zealand. Simon Doherty's co-authors include Heike Wehrheim, Lindsay Groves, Brijesh Dongol, Mark Moir and Victor Luchangco and has published in prestigious journals such as Journal of Automated Reasoning, Mathematical Structures in Computer Science and ACM Transactions on Computational Logic.