Foto af Mads Rosendahl
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

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

Personlig profil

Keywords

  • 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

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

Projekter: Forskning

ENTRA: Whole-Systems Energy Transparency

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

01/10/201230/09/2015

Projekter: Forskning

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

4th Workshop on Reversible Computation

Rosendahl, M. (Deltager)
2 jul. 20123 jul. 2012

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

Teaching Computer Science at HumTek

Rosendahl, M. (Foredragsholder)
23 maj 201225 maj 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Semantics Based Cost Analysis

Rosendahl, M. (Foredragsholder)
19 okt. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

DanSAS 2012

Rosendahl, M. (Deltager)
24 aug. 2012

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

Autonome robotter - beyond Roomba

Rosendahl, M. (Foredragsholder)
20 apr. 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