Dexter Kozen
About
Dexter Kozen has authored 112 papers that have received a total of 3.6k indexed citations.
This includes 77 papers in Computational Theory and Mathematics, 75 papers in Artificial Intelligence and 16 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (60 papers), Logic, Reasoning, and Knowledge (47 papers) and Formal Methods in Verification (35 papers). Dexter Kozen is often cited by papers focused on Logic, programming, and type systems (60 papers), Logic, Reasoning, and Knowledge (47 papers) and Formal Methods in Verification (35 papers) and collaborates with scholars based in United States, Denmark and United Kingdom. Dexter Kozen's co-authors include Alexandra Silva, Nate Foster, Michael I. Schwartzbach, Jerzy Tiuryn and Jens Palsberg and has published in prestigious journals such as Information Sciences, Journal of the ACM and American Mathematical Monthly
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Robert Silbergleit are about Top countries impacted by papers by Christopher A. Edwards Top countries impacted by papers by Peter J. Davidson Top fields papers by Bret J. Chisholm are about Top countries impacted by papers by Pablo M. Carrica Top authors papers by James D. Harwood are co-authored with Top fields papers by Youming Li are about Top authors papers by Simona Bennici are co-authored with