Flemming Nielson
About
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, René Rydhof Hansen, Chiara Bodei, Mikael Buchholtz and Pierpaolo Degano and has published in prestigious journals such as ACM Computing Surveys, Future Generation Computer Systems and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Yi‐Ping Chen are about Top countries impacted by papers by Xuefei Zhang Top authors papers by Jan Malík are co-authored with Top countries impacted by papers by H. Kirchhoff Top journals papers by Noritaka Saito are published in Top fields papers by Jia Zhao are about Top authors papers by Alessandro Aprato are co-authored with Top countries impacted by papers by Lei Wei