Research output per year
Research output per year
Personal profile
Keywords
- Computer science, IT
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 9 p.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 21 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Probabilistic Output Analysis by Program Manipulation
Rosendahl, M. & Kirkeby, M. H., 29 Sept 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
- 8 Finished
-
Energy and Performance Trade-offs in Hardware and Software Implementations
Kirkeby, M. H., Rosendahl, M., Krabben, T. & Schoeberl, M.
01/02/2022 → 31/01/2023
Project: Research
-
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
Activities
-
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
-
4th Workshop on Reversible Computation
Mads Rosendahl (Participant)
2 Jul 2012 → 3 Jul 2012Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
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
Press/Media
-
Kan Pontoppidans Per blive lykkelig i udlandet?
15/08/2012
1 item of Media coverage
Press/Media: Press / Media