Foto af Mads Rosendahl

Mads Rosendahl

cand.scient. & ph.d.

  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Danmark

1989 …2016
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

  • Datalogi, IT

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikationer 1989 2016

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-286

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil

Probabilistic Resource Analysis by Program Transformation

Kirkeby, M. H. & Rosendahl, M., 2016, I : Lecture Notes in Computer Science. 9964, s. 60-80

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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/rapportKonferencebidrag i proceedingsForskningpeer 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/rapportBidrag til bog/antologiForskningpeer review

Abstract Interpretation as a Programming Language

Bidragets oversatte titel: Abstrakt fortolkning som et programmeringssprogRosendahl, M., 2013, I : Electronic Proceedings in Theoretical Computer Science. 129, s. 84-104

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Projekter 2007 2016

ICT-Energy

Gallagher, J. P., Rosendahl, M. & Bohr, N.

01/10/201330/09/2016

Projekter: ProjektForskning

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/201301/10/2014

Projekter: ProjektForskning

ENTRA: Whole-Systems Energy Transparency

Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

01/10/201230/09/2015

Projekter: ProjektForskning

Aktiviteter 2007 2012

  • 6 Deltagelse i workshop, seminar og kursus
  • 6 Foredrag og mundtlige bidrag
  • 2 Peer reviewer/fagfællebedømmer af manuskripter
  • 2 Medlemskab af bedømmelsesudvalg

Autonome robotter - beyond Roomba

Mads Rosendahl (Foredragsholder)
20 apr. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Ph.d. bedømmelsesudvalg (Ekstern organisation)

Mads Rosendahl (Medlem)
28 feb. 2012

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

4th Workshop on Reversible Computation

Mads Rosendahl (Deltager)
2 jul. 20123 jul. 2012

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

DanSAS 2012

Mads Rosendahl (Deltager)
24 aug. 2012

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

Semantics Based Cost Analysis

Mads Rosendahl (Foredragsholder)
19 okt. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Presse/medie

Kan Pontoppidans Per blive lykkelig i udlandet?

Mads Rosendahl & Søren Schou

15/08/2012

1 element af Mediedækning

Presse/medie