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.

Personal profile

Keywords

Computer science, IT

8 Book chapter
5 Journal article
2 Article in proceedings
2 Working paper
More
- 1 Ph.D. thesis
- 1 Paper

ENTRA: Whole-systems energy transparency
Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 2016, In: Microprocessors and Microsystems. 47, Part B, p. 278-286
Research output: Contribution to journal › Journal article › Research › peer-review

File
Probabilistic Resource Analysis by Program Transformation
Kirkeby, M. H. & Rosendahl, M., 2016, In: Lecture Notes in Computer Science. 9964, p. 60-80
Research output: Contribution to journal › Journal article › Research › peer-review
Probabilistic Output Analysis by Program Manipulation
Rosendahl, M. & Kirkeby, M. H., 29 Sep 2015, Electronic Proceedings in Theoretical Computer Science. Vol. 194. p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
Designing Software-Based Interactive Installations
Andreasen, T., Juul, N. C. & Rosendahl, M., 2014, Situated Design Methods. Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M. & Hansen, O. E. (eds.). Cambridge, Massachusetts: MIT Press, p. 259-278 20 p. (Design thinking, design theory; No. [6]).
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Abstract Interpretation as a Programming Language
Rosendahl, M., 2013, In: Electronic Proceedings in Theoretical Computer Science. 129, p. 84-104
Research output: Contribution to journal › Journal article › Research › peer-review

6 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

6 Participation in workshop, seminar, course
6 Lecture and oral contribution
2 Peer review of manuscripts
2 Membership in review committee

Semantics Based Cost Analysis
Mads Rosendahl (Lecturer)
19 Oct 2012
Activity: Talk or presentation › Lecture and oral contribution
4th Workshop on Reversible Computation
Mads Rosendahl (Participant)
2 Jul 2012 → 3 Jul 2012
Activity: Participating in or organising an event › Participation in workshop, seminar, course
Ph.d. bedømmelsesudvalg (External organisation)
Mads Rosendahl (Member)
28 Feb 2012
Activity: Membership › Membership in review committee
Teaching Computer Science at HumTek
Mads Rosendahl (Lecturer)
23 May 2012 → 25 May 2012
Activity: Talk or presentation › Lecture and oral contribution
Autonome robotter - beyond Roomba
Mads Rosendahl (Lecturer)
20 Apr 2012
Activity: Talk or presentation › Lecture and oral contribution

Kan Pontoppidans Per blive lykkelig i udlandet?
Mads Rosendahl & Søren Schou
15/08/2012
1 item of Media coverage
Press/Media: Press / Media