John C. Mitchell

195 papers and 6.7k indexed citations i.

About

John C. Mitchell has authored 195 papers that have received a total of 6.7k indexed citations. This includes 85 papers in Artificial Intelligence, 48 papers in Information Systems and 47 papers in Computer Networks and Communications. The topics of these papers are Eating Disorders and Behaviors (39 papers), Logic, programming, and type systems (27 papers) and Security and Verification in Computing (27 papers). John C. Mitchell is often cited by papers focused on Eating Disorders and Behaviors (39 papers), Logic, programming, and type systems (27 papers) and Security and Verification in Computing (27 papers) and collaborates with scholars based in United States, United Kingdom and Germany. John C. Mitchell's co-authors include Adam Barth, Anupam Datta, C Pandu, Gerhard Weikum and Moni Naor and has published in prestigious journals such as New England Journal of Medicine, Nucleic Acids Research and Nature Genetics.

In The Last Decade

side by side view

Countries citing papers authored by John C. Mitchell

Since Specialization
Citations
Rankless by CCL
2025