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 countries impacted by papers by Antonella Delmestri Top journals papers by Mojtaba Kahrizi are published in Top fields papers by Maria Letizia Gargano are about Top journals papers by Miguel González are published in Top fields papers by Yunhang Gao are about Top fields papers by Carlos Zaror are about Top authors papers by Qi Chen are co-authored with Top countries impacted by papers by Christina Plainaki