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
Top authors papers by Philippe Vigneron are co-authored with Top authors papers by Tsuyoshi Kondo are co-authored with Top fields papers by J. B. Kuemmerle‐Deschner are about Top journals papers by Christian B. Redd are published in Top journals papers by Martin S. Kenzer are published in Top authors papers by E. Gallei are co-authored with Top fields papers by Yuan Lin are about Top authors papers by Kanwal K. Kher are co-authored with