Concepedia

Hanne Riis Nielson

HR

54

Publications

1.8K

Citations

25

H-Index

1983

Active since

Affiliations

Technical University of Denmark(Current)

Aarhus University

Aalborg University

University of Pisa

Hanne Riis Nielson is an author at Technical University of Denmark specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisAutomated ReasoningProgram AnalysisVerificationData SecurityInformation Security

Publications per year

1983–2017

54

Publications

54

Static validation of security protocols

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · Journal of Computer Security · 2005 · 121 citations

Engineering, Information Security, Verification +23

Infinitary control flow analysis

Flemming Nielson, Hanne Riis Nielson · 1997 · 115 citations · Full text

Engineering, Verification, Semantics +17

Automatic validation of protocol narration

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · 2004 · 95 citations

Engineering, Information Security, Verification +24

Higher-Order Concurrent Programs with Finite Communication Topology

Hanne Riis Nielson, Flemming Nielson · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 1994 · 93 citations

Engineering, Software Engineering, Concurrent System +16

Higher-order concurrent programs with finite communication topology (extended abstract)

Hanne Riis Nielson, Flemming Nielson · 1994 · 93 citations

Engineering, Computer Architecture, Concurrent System +16

Rows per page

1–5 of 54