Research output per year
Research output per year
Personal profile
Keywords
- Computer science, IT
-
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-286Research output: Contribution to journal › Journal article › Research › peer-review
File -
Probabilistic Resource Analysis by Program Transformation
Kirkeby, M. H. & Rosendahl, M., 2016, In: Lecture Notes in Computer Science. 9964, p. 60-80Research output: Contribution to journal › Journal article › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Book chapter › Research › peer-review
-
Abstract Interpretation as a Programming Language
Rosendahl, M., 2013, In: Electronic Proceedings in Theoretical Computer Science. 129, p. 84-104Research output: Contribution to journal › Journal article › Research › peer-review
Projects
- 6 Finished
-
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
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/2013 → 01/10/2014
Project: Research
-
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.
01/10/2012 → 30/09/2015
Project: Research
-
NUSA: Numeric and Symbolic Abstractions for Software Model Checking
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2011 → 31/12/2013
Project: Research
Activities
-
Semantics Based Cost Analysis
Mads Rosendahl (Lecturer)
19 Oct 2012Activity: Talk or presentation › Lecture and oral contribution
-
Ph.d. bedømmelsesudvalg (External organisation)
Mads Rosendahl (Member)
28 Feb 2012Activity: Membership › Membership in review committee
-
4th Workshop on Reversible Computation
Mads Rosendahl (Participant)
2 Jul 2012 → 3 Jul 2012Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Autonome robotter - beyond Roomba
Mads Rosendahl (Lecturer)
20 Apr 2012Activity: Talk or presentation › Lecture and oral contribution
-
DanSAS 2012
Mads Rosendahl (Participant)
24 Aug 2012Activity: Participating in or organising an event › Participation in workshop, seminar, course
Press / Media
-
Kan Pontoppidans Per blive lykkelig i udlandet?
15/08/2012
1 item of Media coverage
Press/Media: Press / Media