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.

Research Output 1989 2016

Filter
Journal article
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

2013

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

1997

Higher order minimal function graphs

Jones, N. & Rosendahl, M., 1997, In : Journal of Functional and Logic Programming. februar

Research output: Contribution to journalJournal articleResearch

Ja tak til fortsat IT-vækst, men hvordan?

Bødker, K. & Rosendahl, M., 1997, In : Computerworld. december

Research output: Contribution to journalJournal articleResearch