Hanne Riis Nielson

87 papers and 1.1k indexed citations i.

Hanne Riis Nielson has authored 87 papers that have received a total of 1.1k indexed citations. This includes 61 papers in Artificial Intelligence, 44 papers in Computational Theory and Mathematics and 24 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (40 papers), Formal Methods in Verification (37 papers) and Logic, Reasoning, and Knowledge (20 papers). Hanne Riis Nielson is often cited by papers focused on Logic, programming, and type systems (40 papers), Formal Methods in Verification (37 papers) and Logic, Reasoning, and Knowledge (20 papers) and collaborates with scholars based in Denmark, United Kingdom and Italy. Hanne Riis Nielson's co-authors include Flemming Nielson, Chiara Bodei, Pierpaolo Degano, Corrado Priami and Chris Hankin and has published in prestigious journals such as ACM Computing Surveys, Future Generation Computer Systems and Theoretical Computer Science.