John Derrick
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Daisuke Kobayashi are published in Top fields papers by Mona M. Hella are about Top authors papers by Nobuyoshi Ishikawa are co-authored with Top authors papers by R. Landsberg are co-authored with Top fields papers by Dorotéia Rossi Silva Souza are about Top countries impacted by papers by Hiroshi Kiuchi Top fields papers by Daniel Amyot are about Top fields papers by H. Benchikhi are about