Mads Rosendahl

MSc & PhD

Associate Professor, Department of People and Technology
Associate Professor, Programming, Logic and Intelligent Systems

Phone+45 46 74 38 46
Emailmadsr@ruc.dk
Websitehttp://www.ruc.dk/~madsr

Universitetsvej 1, 10.1
DK-4000 Roskilde
Denmark

Research output per year

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

6 Finished

6 results

Finished

Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
ICT-Energy
Gallagher, J. P., Rosendahl, M. & Bohr, N.
01/10/2013 → 30/09/2016
Project: Research
Situated Design Methods
Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M., Hansen, O. E., Søndergård, B., Kristiansen, E., Christrup, H., Pries-Heje, J., Nielsen, J. L., Bødker, K., Pfeiffer Pedersen, L., Frølunde, L., Rosendahl, M., Neisig, M., Frandsen, M. S., Juul, N. C., Jørgensen, N., Lybæk, R., Groth, S. K., Christensen, T. B., Andreasen, T., Kjær, T., Kensing, F., Venable, J., Birch Andreasen, L., Baskerville, R. & Gudiksen, S.
01/01/2013 → 01/10/2014
Project: Research
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