Flemming Nielson
Active 1981–2025
- Affiliations
- Maxwell Institute for Mathematical SciencesTechnical University of DenmarkAarhus UniversityAalborg UniversityThis 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-0001-7362-6176
- 231
- Papers
- 6,621
- Citations
- 36
- h-index
- 117
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 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 Science92.8%
- Engineering1.9%
- Social Sciences1.5%
- Biochemistry, Genetics and Molecular Biology1.4%
- Decision Sciences0.7%
- Business, Management and Accounting0.5%
- Other1.2%
Topics
- Logic, programming, and type systems19.4%
- Formal Methods in Verification18.1%
- Security and Verification in Computing8.5%
- Software Testing and Debugging Techniques7.7%
- Parallel Computing and Optimization Techniques7%
- Advanced Malware Detection Techniques6.2%
- Other33.1%
Frequent coauthors
- Hanne Riis Nielson183
- René Rydhof Hansen14
- Henrik Pilegaard13
- Ender Yüksel11
- Pierpaolo Degano11
- Chiara Bodei10
- Chris Hankin9
- Torben Amtoft9
- Mikael Buchholtz8
- Roberto Vigo8
- Helmut Seidl7
- Ximeng Li 00017
- Christian W. Probst6
- Bo Friis Nielsen4
- Fan Yang4
- Jan Midtgaard4
- Panagiotis Vasilikos4
- Piotr Filipiuk4
- Sebastian Nanz4
- Zaruhi Aslanyan4
- Alberto Lluch-Lafuente3
- Alejandro Mario Hernandez3
- Carroline Dewi Puspa Kencana Ramli3
- Christoffer Rosenkilde Nielsen3
All papers
Loading papers…
