pith. sign in

Hanne Riis Nielson

Identifiers

  • name variant Hanne Riis Nielson 0.60 · backfill

Papers (12)

  1. A Theory of Available-by-Design Communicating Systems cs.PL · 2016 · author #3
  2. A Coordination Language for Databases cs.LO · 2016 · author #5
  3. A Framework for Hybrid Systems with Denial-of-Service Security Attack cs.LO · 2014 · author #3
  4. Pushdown Systems for Monotone Frameworks cs.PL · 2013 · author #2
  5. Design-Efficiency in Security cs.CR · 2013 · author #2
  6. Lattice based Least Fixed Point Logic cs.LO · 2012 · author #3
  7. XACML 3.0 in Answer Set Programming cs.IT · 2012 · author #2
  8. Optimizing ZigBee Security using Stochastic Model Checking cs.CR · 2012 · author #2
  9. Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study cs.NI · 2012 · author #2
  10. Layered Fixed Point Logic cs.LO · 2012 · author #3
  11. Secondary use of data in EHR systems cs.PL · 2012 · author #4
  12. The Logic of XACML - Extended cs.CR · 2011 · author #2

Mentions

  • 1403.6367 #3 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1307.4585 #2 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1302.1111 #2 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1207.5384 #3 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1206.5327 #2 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1205.6675 #2 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1205.6664 #2 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1204.2768 #3 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1201.4262 #4 · backfill · confidence 0.70 Hanne Riis Nielson
  • 1110.3706 #2 · backfill · confidence 0.70 Hanne Riis Nielson

Frequent Coauthors