Research output per year
Research output per year
Personal profile
Keywords
- Computer science, IT
-
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-286Research 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-80Research 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-104Research output: Contribution to journal › Journal article › Research › peer-review
Projects
- 7 Finished
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.
07/09/2021 → 31/05/2022
Project: Research
-
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
-
-
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
Activities
-
Autonome robotter - beyond Roomba
Mads Rosendahl (Lecturer)
20 Apr 2012Activity: Talk or presentation › Lecture and oral contribution
-
Ph.d. bedømmelsesudvalg (External organisation)
Mads Rosendahl (Member)
28 Feb 2012Activity: Membership › Membership in review committee
-
DanSAS 2012
Mads Rosendahl (Participant)
24 Aug 2012Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Semantics Based Cost Analysis
Mads Rosendahl (Lecturer)
19 Oct 2012Activity: Talk or presentation › Lecture and oral contribution
-
Teaching Computer Science at HumTek
Mads Rosendahl (Lecturer)
23 May 2012 → 25 May 2012Activity: Talk or presentation › Lecture and oral contribution
Press / Media
-
Kan Pontoppidans Per blive lykkelig i udlandet?
15/08/2012
1 item of Media coverage
Press/Media: Press / Media