Dexter Kozen

115 papers and 3.7k indexed citations i.

About

Dexter Kozen is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Dexter Kozen has authored 115 papers receiving a total of 3.7k indexed citations (citations by other indexed papers that have themselves been cited), including 79 papers in Computational Theory and Mathematics, 78 papers in Artificial Intelligence and 16 papers in Computer Networks and Communications. Recurrent topics in Dexter Kozen’s work include Logic, programming, and type systems (63 papers), Logic, Reasoning, and Knowledge (51 papers) and Formal Methods in Verification (36 papers). Dexter Kozen is often cited by papers focused on Logic, programming, and type systems (63 papers), Logic, Reasoning, and Knowledge (51 papers) and Formal Methods in Verification (36 papers). Dexter Kozen collaborates with scholars based in United States, Denmark and United Kingdom. Dexter Kozen's co-authors include Alexandra Silva, Nate Foster, Jens Palsberg, David Harel and Jerzy Tiuryn and has published in prestigious journals such as Information Sciences, Journal of the ACM and American Mathematical Monthly.

In The Last Decade

Fields of papers citing papers by Dexter Kozen

Since Specialization

EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

This network shows the specialization of papers citing the papers produced by Dexter Kozen. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Dexter Kozen may publish in the future.

Countries citing papers authored by Dexter Kozen

Since Specialization

Citations

This map shows the geographic impact of Dexter Kozen's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Dexter Kozen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Dexter Kozen more than expected).

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Vitali Milman Breakdown of academic impact, for papers by Nikolaos Pyrsopoulos Breakdown of academic impact, for papers by Magnus Essand Breakdown of academic impact, for papers by Chin‐Chun Wu Breakdown of academic impact, for papers by E. Mazzucato Breakdown of academic impact, for papers by Mark Wilkinson Breakdown of academic impact, for papers by Ulrich Schmitt Breakdown of academic impact, for papers by Robert O. Briggs