Research Output per year
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-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 2007 2016
- 5 Finished
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
SAFT: Static Analysis with Finite Tree Automata
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2007 → 31/12/2010
Project: Research
Activities 2007 2012
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 2012 → 3 Jul 2012
Activity: Participation in workshop, seminar, course
Teaching Computer Science at HumTek
Rosendahl, M. (Lecturer)23 May 2012 → 25 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?
15/08/2012
1 item of media coverage
Press/Media: Press / Media