Personlig profil

Keywords

  • Datalogi, IT

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

Publikation 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 tidsskriftTidsskriftartikel

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 tidsskriftTidsskriftartikel

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: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedings

Å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: Kapitel i bog/rapport/konferenceprocesBidrag til bog/antologi

Abstract Interpretation as a Programming Language

Rosendahl, M. 2013 I : Electronic Proceedings in Theoretical Computer Science. 129, s. 84-104

Publikation: Bidrag til tidsskriftTidsskriftartikel

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

Ph.d. bedømmelsesudvalg (Ekstern organisation)

Rosendahl, M. (Medlem)
28 feb. 2012

Aktivitet: Medlemskab af bedømmelsesudvalg

DanSAS 2012

Rosendahl, M. (Deltager)
24 aug. 2012

Aktivitet: Deltagelse i workshop, seminar og kursus

Autonome robotter - beyond Roomba

Rosendahl, M. (Foredragsholder)
20 apr. 2012

Aktivitet: Foredrag og mundtlige bidrag

Teaching Computer Science at HumTek

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

Aktivitet: Foredrag og mundtlige bidrag

4th Workshop on Reversible Computation

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

Aktivitet: Deltagelse i workshop, seminar og kursus

Presse/medie

Kan Pontoppidans Per blive lykkelig i udlandet?

Mads Rosendahl & Søren Schou

15/08/2012

1 element af mediedækning

Presse/medie