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
-
Energy-efficiency of software and hardware algorithms
Kirkeby, M. H., Krabben, T., Mikkelsen, M. B., Rosendahl, M., Larsen, M., Sundman, M., Petersen, T. & Schoeberl, M., Apr 2025, In: Computer Science and Information Systems. 22, 2, p. 649-671 23 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Static Communication Analysis for Hardware Design
Rosendahl, M. & Kirkeby, M. H., 27 May 2025, Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software : Hamilton, Canada, 4th May 2025. Derakhshan, F. & Hoffmann, J. (eds.). EPTCS, p. 34-43 10 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 420).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
Language Support for Implementing Algorithms on Low Level Hardware Components
Rosendahl, M., 2023, p. vii. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
-
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., 1 Nov 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
Projects
- 8 Finished
-
Energy and Performance Trade-offs in Hardware and Software Implementations
Kirkeby, M. H. (Project manager), Rosendahl, M. (Project participant), Krabben, T. (Project participant) & Schoeberl, M. (Project participant)
01/02/2022 → 31/01/2023
Project: Research
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant), Rhiger, M. (Project participant) & Lu, H. (Project participant)
07/09/2021 → 31/05/2022
Project: Research
-
Energimærkning af Software og Software Installationer
Gallagher, J. P. (Project participant), Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)
01/02/2020 → 30/09/2020
Project: Research
-
ICT-Energy
Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Bohr, N. (Project participant)
01/10/2013 → 30/09/2016
Project: Research
-
Situated Design Methods
Simonsen, J. (Project manager), Svabo, C. (Project manager), Strandvad, S. M. (Project manager), Samson, K. (Project manager), Hertzum, M. (Project manager), Hansen, O. E. (Project manager), Søndergård, B. (Project participant), Kristiansen, E. (Project participant), Christrup, H. (Project participant), Pries-Heje, J. (Project participant), Nielsen, J. L. (Project participant), Bødker, K. (Project participant), Pfeiffer Pedersen, L. (Project participant), Frølunde, L. (Project participant), Rosendahl, M. (Project participant), Neisig, M. (Project participant), Frandsen, M. S. (Project participant), Juul, N. C. (Project participant), Jørgensen, N. (Project participant), Lybæk, R. (Project participant), Groth, S. K. (Project participant), Christensen, T. B. (Project participant), Andreasen, T. (Project participant), Kjær, T. (Project participant), Kensing, F. (Project participant), Venable, J. (Project participant), Birch Andreasen, L. (Project participant), Baskerville, R. (Project participant) & Gudiksen, S. (Project participant)
01/01/2013 → 01/10/2014
Project: Research
Activities
-
Static Analysis for Hardware Design
Rosendahl, M. (Speaker)
1 Dec 2023Activity: Talk or presentation › Lecture and oral contribution
-
Language Support for Implementing Algorithms on Low Level Hardware Components
Rosendahl, M. (Speaker)
22 Apr 2023Activity: Talk or presentation › Lecture and oral contribution
-
Semantics Based Cost Analysis
Rosendahl, M. (Lecturer)
19 Oct 2012Activity: Talk or presentation › Lecture and oral contribution
-
DanSAS 2012
Rosendahl, M. (Participant)
24 Aug 2012Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
4th Workshop on Reversible Computation
Rosendahl, M. (Participant)
2 Jul 2012 → 3 Jul 2012Activity: Participating in or organising an event › Participation in workshop, seminar, course
Press/Media
-
Kan Pontoppidans Per blive lykkelig i udlandet?
Rosendahl, M. & Schou, S.
15/08/2012
1 item of Media coverage
Press/Media: Press / Media