Prevention of injuries in young female players in European team handball. A prospective intervention study N Wedderkopp, M Kaltoft, B Lundgaard, M Rosendahl, K Froberg Scandinavian journal of medicine & science in sports 9 (1), 41-47, 1999 | 537 | 1999 |
Automatic complexity analysis M Rosendahl Proceedings of the fourth international conference on Functional programming …, 1989 | 250 | 1989 |
Injuries in young female players in European team handball N Wedderkopp, M Kaltoft, B Lundgaard, M Rosendahl, K Froberg Scandinavian journal of medicine & science in sports 7 (6), 342-347, 1997 | 181 | 1997 |
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 |
Abstract interpretation as a programming language M Rosendahl arXiv preprint arXiv:1309.5133, 2013 | 7 | 2013 |
Introduction to abstract interpretation M Rosendahl Computer Science University of Copenhagen, 1995 | 7 | 1995 |
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 |