Hanne Riis Nielson

Hanne Riis Nielson (born 1954) is a computer scientist specializing in formal methods and static program analysis, particularly for applications involving computer security and software safety. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Hanne Riis Nielson', query time: 0.02s Refine Results
  1. 1
    Discovering, quantifying, and displaying attacks

    Discovering, quantifying, and displaying attacks by Roberto Vigo, Flemming Nielson, Hanne Riis Nielson

    Published 2017-04-01
    Get full text
    Article
  2. 2
    A Coordination Language for Databases

    A Coordination Language for Databases by Ximeng Li, Xi Wu, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson

    Published 2017-03-01
    Get full text
    Article

Search Tools: