Flemming Nielson

94 papers and 1.2k indexed citations i.

Flemming Nielson has authored 94 papers that have received a total of 1.2k indexed citations. This includes 65 papers in Artificial Intelligence, 49 papers in Computational Theory and Mathematics and 30 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (46 papers), Logic, programming, and type systems (45 papers) and Logic, Reasoning, and Knowledge (19 papers). Flemming Nielson is often cited by papers focused on Formal Methods in Verification (46 papers), Logic, programming, and type systems (45 papers) and Logic, Reasoning, and Knowledge (19 papers) and collaborates with scholars based in Denmark, United Kingdom and Italy. Flemming Nielson's co-authors include Hanne Riis Nielson, Mikael Buchholtz, René Rydhof Hansen, Chiara Bodei and Pierpaolo Degano and has published in prestigious journals such as ACM Computing Surveys, Future Generation Computer Systems and Theoretical Computer Science.