Jan Midtgaard
Active 2003–2025
- Affiliations
- Institut national de recherche en sciences et technologies du numériqueInstitut de Recherche en Informatique et Systèmes AléatoiresUniversity of Southern DenmarkMaersk (Denmark)This corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-6506-5468
- 26
- Papers
- 743
- Citations
- 12
- h-index
- 14
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (4 citations) is not shown (dated before this author's first paper)
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science96.9%
- Engineering1%
- Decision Sciences0.8%
- Earth and Planetary Sciences0.5%
- Mathematics0.3%
- Medicine0.3%
- Other0.3%
Topics
- Logic, programming, and type systems23.8%
- Formal Methods in Verification18.4%
- Software Testing and Debugging Techniques8.1%
- Parallel Computing and Optimization Techniques7.9%
- Software Engineering Research7.8%
- Advanced Software Engineering Methodologies7.4%
- Other26.7%
Frequent coauthors
- Matthew Might5
- Olivier Danvy5
- Flemming Nielson4
- Hanne Riis Nielson4
- Mads Sig Ager4
- Andrzej Wasowski2
- Claus Brabrand2
- Dariusz Biernacki2
- Dave Clarke 00012
- Ilya Sergey2
- Michael D. Adams 00012
- Thomas P. Jensen2
- Aleksandar S. Dimovski1
- Anders Møller1
- Andrew W. Keep1
- Arun Chauhan 00011
- Bradford Larsen1
- David Darais1
- Dominique Devriese1
- Frank Piessens1
- Mathias Nygaard Justesen1
- Naomi Spargo1
- Nicolas Osborne1
- Nikolaus Huber1
All papers
Loading papers…
