Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Datalogi, IT
Publikationsnetværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
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, I: Microprocessors and Microsystems. 47, Part B, s. 278-286Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil -
Probabilistic Resource Analysis by Program Transformation
Kirkeby, M. H. & Rosendahl, M., 2016, I: Lecture Notes in Computer Science. 9964, s. 60-80Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Probabilistic Output Analysis by Program Manipulation
Rosendahl, M. & Kirkeby, M. H., 29 sep. 2015, Electronic Proceedings in Theoretical Computer Science. Bind 194. s. 110-124 (Electronic Proceedings in Theoretical Computer Science; Nr. 194).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
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. (red.). Cambridge, Massachusetts: MIT Press, s. 259-278 20 s. (Design thinking, design theory; Nr. [6]).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
-
Abstract Interpretation as a Programming Language
Bidragets oversatte titel :Abstrakt fortolkning som et programmeringssprog Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Projekter
- 8 Afsluttet
-
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
Projekter: Projekt › Forskning
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.
07/09/2021 → 31/05/2022
Projekter: Projekt › Forskning
-
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Projekter: Projekt › Forskning
-
ICT-Energy
Gallagher, J. P., Rosendahl, M. & Bohr, N.
01/10/2013 → 30/09/2016
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
Aktiviteter
-
Ph.d. bedømmelsesudvalg (Ekstern organisation)
Mads Rosendahl (Medlem)
28 feb. 2012Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
Autonome robotter - beyond Roomba
Mads Rosendahl (Foredragsholder)
20 apr. 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
4th Workshop on Reversible Computation
Mads Rosendahl (Deltager)
2 jul. 2012 → 3 jul. 2012Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
Semantics Based Cost Analysis
Mads Rosendahl (Foredragsholder)
19 okt. 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Teaching Computer Science at HumTek
Mads Rosendahl (Foredragsholder)
23 maj 2012 → 25 maj 2012Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag