vix.ing · top · new · best · stats · spec

Hanne Riis Nielson

  1. Program Analysis (an Appetizer)
    2020/12/18 by Flemming Nielson, Hanne Riis Nielson, Nielson, Flemming +1 · 2 voices
    Computer Science · #cs.PL
  2. Context Dependent Analysis of BioAmbients
    2006/01/01 by Henrik Pilegaard, Hanne Riis Nielson, Pilegaard, Henrik +3 · 1 citation
    Engineering · #BioAmbients #Modular Robots and Swarm Intelligence #Static analysis #abstract interpretation