Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Hanne Riis Nielson | Researchclopedia

Back to researchers

Hanne Riis Nielson

Aalborg University ORCID

308

Works

6,340

Citations

34

h-index

108

i10-index

Research Topics

Formal Methods in Verification Logic, programming, and type systems Security and Verification in Computing

Affiliations

University of Pisa2007–2007

Reykjavík University2006–2006

Utrecht University1996–1996

Aarhus University1989–2005

Cornell University1996–1996

Top Works

Principles of Program Analysis

Flemming Nielson,Hanne Riis Nielson,et al.

19991,834 citations

Distributed systems and fault tolerance

Logic, Reasoning, and Knowledge

Semantics With Applications: A Formal Introduction

Hanne Riis Nielson,Flemming Nielson

1992336 citations

Two-Level Functional Languages

Flemming Nielson,Hanne Riis Nielson

1992174 citations

Static validation of security protocols

Chiara Bodei,Mikael Buchholtz,et al.

2005121 citations

Infinitary control flow analysis

Flemming Nielson,Hanne Riis Nielson

1997115 citations

Semantics with Applications: An Appetizer

Hanne Riis Nielson,Flemming Nielson

2007104 citations

Type and Effect Systems

Flemming Nielson,Hanne Riis Nielson,et al.

199997 citations

Automatic validation of protocol narration

Chiara Bodei,Mikael Buchholtz,et al.

200495 citations

Higher-Order Concurrent Programs with Finite Communication Topology

Hanne Riis Nielson,Flemming Nielson

199493 citations