No photo of Morten Rhiger

Morten Rhiger

MSc & PhD

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Denmark

20052020

Research output per year

If you made any changes in Pure these will be visible here soon.

Projects

Filter
Finished
Finished

ENTRA: Whole-Systems Energy Transparency

Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

01/10/2012 → 30/09/2015

Project: Research

NUSA: Numeric and Symbolic Abstractions for Software Model Checking

Gallagher, J. P., Rosendahl, M. & Rhiger, M.

01/01/2011 → 31/12/2013

Project: Research

SAFT: Static Analysis with Finite Tree Automata

Gallagher, J. P., Rosendahl, M. & Rhiger, M.

<ingen navn>

01/01/2007 → 31/12/2010

Project: Research