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

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

2015

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
2014

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

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

2011

Extended Set Constraints and Tree Grammar Abstraction of Programs

Rosendahl, M. & Gallagher, J. P., 2011 12 p.

Research output: Contribution to conferencePaperResearch

File
2008

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

Gallagher, J. P. & Rosendahl, M., 2008, Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (eds.). Springer, Vol. 5330, p. 682-696 15 p. (Lecture Notes in Computer Science, Vol. 5330).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2006

Introduction to Graphics Programming in Java

Rosendahl, M., 2006, Roskilde: Roskilde Universitet, 52 p.

Research output: Working paperResearch

2005

Demand-Driven Higher-Order Fixpoint Iteration

Rosendahl, M., 2005, Roskilde: Roskilde Universitet, 15 p.

Research output: Working paperResearch

2002

Simple Driving Techniques

Rosendahl, M., 2002, The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones. Mogensen, T., Schmidt, D. A. & Sudborough, I. H. (eds.). Berlin: Kluwer Academic Publishers, p. 404-419 16 p. (Lecture Notes in Computer Science, Vol. 2566).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

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

1994

Efficient Strictness Analysis of Haskell

Jensen, K. D., Hjæresen, P. & Rosendahl, M., 1994, Static Analysis, First International Static Analysis Symposium, SAS'94. Namur, Belgien: Springer, p. 246-362 17 p. (Lecture Notes in Computer Science, Vol. 864).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Higher-Order Minimal Functional Graphs.

Jones, N. D. & Rosendahl, M., 1994, Algebraic and Logic Programming, 4th International Conference. Levi, G. (ed.). Kluwer Academic Publishers, p. 242-252 11 p. (Lecture Notes in Computer Science, Vol. 850).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

1992

Minimal Function Graphs are not Instrumented

Mycroft, A. & Rosendahl, M., 1992, WSA'92 Workshop on Static Analysis. Billaud, M., Casteran, P., Corsini, MM., Musumbu, K. & Rauzy, A. (eds.). Bordeaux, France: IRISA, p. 60-67 8 p. (Bigre, Vol. 81-82).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Strictness Analysis for Attribute Grammars

Rosendahl, M., 1992, Programming Language Implementation and Logic Programming. Bruynooghe, M. & Wirsing, M. (eds.). Kluwer Academic Publishers, p. 145-157 13 p. (Lecture Notes in Computer Science, Vol. 631).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

1991

Abstract Interpretation and Attribute Gramars

Rosendahl, M., 1991, Cambridge, England: Cambridge University Press. 134 p.

Research output: Book/ReportPh.D. thesisResearch

1990

Abstract Interpretation Using Attribute Grammar

Rosendahl, M., 1990, Attribute Grammars and their Applications. Deransart, P. & Jourdan, M. (eds.). Kluwer Academic Publishers, p. 143-156 14 p. (Lecture Notes in Computer Science, Vol. 461).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

1989

Automatic Complexity Analysis

Rosendahl, M., 1989, FPCA '89 Conference on Functional Programming Languages and Computer Architecture.. London, England: Association for Computing Machinery, p. 144-156 13 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch