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

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

Ph.d. bedømmelsesudvalg (External organisation)

Rosendahl, M. (Member)
28 Feb 2012

Activity: Membership in review committee

4th Workshop on Reversible Computation

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

Activity: Participation in workshop, seminar, course

Teaching Computer Science at HumTek

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

Activity: Lecture and oral contribution

DanSAS 2012

Rosendahl, M. (Participant)
24 Aug 2012

Activity: Participation in workshop, seminar, course

Autonome robotter - beyond Roomba

Rosendahl, M. (Lecturer)
20 Apr 2012

Activity: Lecture 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