John Derrick

79 papers and 717 indexed citations i.

John Derrick has authored 79 papers that have received a total of 717 indexed citations. This includes 48 papers in Computational Theory and Mathematics, 47 papers in Artificial Intelligence and 28 papers in Software. The topics of these papers are Formal Methods in Verification (47 papers), Logic, programming, and type systems (29 papers) and Distributed systems and fault tolerance (19 papers). John Derrick is often cited by papers focused on Formal Methods in Verification (47 papers), Logic, programming, and type systems (29 papers) and Distributed systems and fault tolerance (19 papers) and collaborates with scholars based in United Kingdom, Australia and Germany. John Derrick's co-authors include Eerke Boiten, Maarten Steen, Howard Bowman, Heike Wehrheim and Graeme Smith and has published in prestigious journals such as ACM Computing Surveys, Computer Networks and Lecture notes in computer science