Research Output per year
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-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
4th Workshop on Reversible Computation
Rosendahl, M. (Participant)2 Jul 2012 → 3 Jul 2012
Activity: Participating in or organising an event › Participation in workshop, seminar, course
Teaching Computer Science at HumTek
Rosendahl, M. (Lecturer)23 May 2012 → 25 May 2012
Activity: Talk or presentation › Lecture and oral contribution
Semantics Based Cost Analysis
Rosendahl, M. (Lecturer)19 Oct 2012
Activity: Talk or presentation › Lecture and oral contribution
DanSAS 2012
Rosendahl, M. (Participant)24 Aug 2012
Activity: Participating in or organising an event › Participation in workshop, seminar, course
Autonome robotter - beyond Roomba
Rosendahl, M. (Lecturer)20 Apr 2012
Activity: Talk or presentation › 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