Photo of Mads Rosendahl
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

1989 …2016
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Computer science, IT

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 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, In : Microprocessors and Microsystems. 47, Part B, p. 278-286

Research output: Contribution to journalJournal articleResearchpeer-review

File

Probabilistic Resource Analysis by Program Transformation

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

Research output: Contribution to journalJournal articleResearchpeer-review

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H., 29 Sep 2015, Electronic Proceedings in Theoretical Computer Science. Vol. 194, p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

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. (eds.). Cambridge, Massachusetts: MIT Press, p. 259-278 20 p. (Design thinking, design theory; No. [6]).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Abstract Interpretation as a Programming Language

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

Research output: Contribution to journalJournal articleResearchpeer-review

Projects 2007 2016

ICT-Energy

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

01/10/201330/09/2016

Project: Research

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

Project: Research

Activities 2007 2012

  • 6 Participation in workshop, seminar, course
  • 6 Lecture and oral contribution
  • 2 Peer review of manuscripts
  • 2 Membership in review committee

4th Workshop on Reversible Computation

Rosendahl, M. (Participant)
2 Jul 20123 Jul 2012

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Teaching Computer Science at HumTek

Rosendahl, M. (Lecturer)
23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

Semantics Based Cost Analysis

Rosendahl, M. (Lecturer)
19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

DanSAS 2012

Rosendahl, M. (Participant)
24 Aug 2012

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Autonome robotter - beyond Roomba

Rosendahl, M. (Lecturer)
20 Apr 2012

Activity: Talk or presentationLecture and oral contribution

Press / Media

Kan Pontoppidans Per blive lykkelig i udlandet?

Mads Rosendahl & Søren Schou

15/08/2012

1 item of media coverage

Press/Media: Press / Media