Jan Midtgaard
About
Jan Midtgaard has authored 22 papers that have received a total of 317 indexed citations.
This includes 19 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 6 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (18 papers), Formal Methods in Verification (13 papers) and Logic, Reasoning, and Knowledge (8 papers). Jan Midtgaard is often cited by papers focused on Logic, programming, and type systems (18 papers), Formal Methods in Verification (13 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in Denmark, France and United States. Jan Midtgaard's co-authors include Mads Sig Ager, Olivier Danvy, Thomas Jensen, Dominique Devriese and Dariusz Biernacki and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Carlo Torti Breakdown of academic impact, for papers by Javier Arregui Breakdown of academic impact, for papers by Huadong He Breakdown of academic impact, for papers by Rui Yuan Breakdown of academic impact, for papers by T Szepietowski Breakdown of academic impact, for papers by Kåre E. Tvedt Breakdown of academic impact, for papers by C. H. Wei Breakdown of academic impact, for papers by I Campodónico