| Automatic complexity analysis M Rosendahl Proceedings of the fourth international conference on Functional programming …, 1989 | 251 | 1989 |
| ENTRA: Whole-systems energy transparency K Eder, JP Gallagher, P López-García, H Muller, Z Banković, K Georgiou, ... Microprocessors and Microsystems 47, 278-286, 2016 | 27 | 2016 |
| Higher-order chaotic iteration sequences M Rosendahl International Symposium on Programming Language Implementation and Logic …, 1993 | 25 | 1993 |
| Higher-order minimal function graphs ND Jones, M Rosendahl Algebraic and Logic Programming: 4th International Conference, ALP'94 Madrid …, 1994 | 24 | 1994 |
| Efficient strictness analysis of Haskell KD Jensen, P Hjæresen, M Rosendahl Static Analysis: First International Static Analysis Symposium, SAS'94 Namur …, 1994 | 13 | 1994 |
| Minimal Function Graphs are not Instrumented. A Mycroft, M Rosendahl WSA 92, 60-67, 1992 | 12 | 1992 |
| Approximating term rewriting systems: a horn clause specification and its implementation JP Gallagher, M Rosendahl International Conference on Logic for Programming Artificial Intelligence …, 2008 | 11 | 2008 |
| Strictness analysis for attribute grammars M Rosendahl International Symposium on Programming Language Implementation and Logic …, 1992 | 9 | 1992 |
| Abstract Interpretation and Attribute Gramars M Rosendahl Cambridge University Press, 1991 | 9 | 1991 |
| Automatic program analysis M Rosendahl Master's Thesis. Institute of Datalogy, University of Copenhagen, 1986 | 9 | 1986 |
| Introduction to abstract interpretation M Rosendahl Computer Science University of Copenhagen, 1995 | 8 | 1995 |
| Abstract interpretation as a programming language M Rosendahl arXiv preprint arXiv:1309.5133, 2013 | 7 | 2013 |
| Abstract interpretation using attribute grammars M Rosendahl Attribute Grammars and their Applications: International Conference WAGA …, 2005 | 6 | 2005 |
| Probabilistic output analysis by program manipulation M Rosendahl, MH Kirkeby arXiv preprint arXiv:1509.08566, 2015 | 5 | 2015 |
| Probabilistic resource analysis by program transformation MH Kirkeby, M Rosendahl International Workshop on Foundational and Practical Aspects of Resource …, 2015 | 3 | 2015 |
| Simple driving techniques M Rosendahl The Essence of Computation: Complexity, Analysis, Transformation, 404-419, 2002 | 3 | 2002 |
| Energy challenges for ICT JP Gallagher Ict-energy concepts for energy efficiency and sustainability, 2017 | 2 | 2017 |
| Introduction to graphics programming in Java M Rosendahl February, 2009 | 2 | 2009 |
| Demand-Driven Higher-Order Fixpoint Iteration M Rosendahl Technical Report, Univ. of Roskilde, 2004 | 2 | 2004 |
| Energy Consumption and Performance of Heapsort in Hardware and Software MH Kirkeby, T Krabben, M Larsen, MB Mikkelsen, T Petersen, ... arXiv preprint arXiv:2204.03401, 2022 | 1 | 2022 |
