Mads Rosendahl
Mads Rosendahl
Verified email at ruc.dk
Title
Cited by
Cited by
Year
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
4521999
Automatic complexity analysis
M Rosendahl
Proceedings of the fourth international conference on Functional programming …, 1989
2351989
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
1381997
Higher-order chaotic iteration sequences
M Rosendahl
International Symposium on Programming Language Implementation and Logic …, 1993
241993
Higher-order minimal function graphs
ND Jones, M Rosendahl
Journal of Functional and Logic Programming 2, 1997, 1997
181997
Efficient strictness analysis of Haskell
KD Jensen, P Hjæresen, M Rosendahl
International Static Analysis Symposium, 346-362, 1994
121994
Minimal Function Graphs are not Instrumented.
A Mycroft, M Rosendahl
WSA 92, 60-67, 1992
111992
Minimal Function Graphs are not Instrumented.
A Mycroft, M Rosendahl
WSA 92, 60-67, 1992
111992
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
102016
Approximating term rewriting systems: a horn clause specification and its implementation
JP Gallagher, M Rosendahl
International Conference on Logic for Programming Artificial Intelligence …, 2008
102008
Strictness analysis for attribute grammars
M Rosendahl
International Symposium on Programming Language Implementation and Logic …, 1992
101992
Abstract interpretation and attribute grammars
M Rosendahl
81991
Automatic program analysis
M Rosendahl
Master's Thesis. Institute of Datalogy, University of Copenhagen, 1986
81986
Higher-order minimal function graphs
ND Jones, M Rosendahl
International Conference on Algebraic and Logic Programming, 242-252, 1994
61994
Abstract interpretation using attribute grammars
M Rosendahl
Attribute Grammars and their Applications, 143-156, 1990
61990
Probabilistic output analysis by program manipulation
M Rosendahl, MH Kirkeby
arXiv preprint arXiv:1509.08566, 2015
52015
Probabilistic resource analysis by program transformation
MH Kirkeby, M Rosendahl
International Workshop on Foundational and Practical Aspects of Resource …, 2015
52015
Abstract interpretation as a programming language
M Rosendahl
arXiv preprint arXiv:1309.5133, 2013
52013
Simple driving techniques
M Rosendahl
The essence of computation, 404-419, 2002
42002
Introduction to abstract interpretation
M Rosendahl
Computer Science University of Copenhagen, 1995
41995
The system can't perform the operation now. Try again later.
Articles 1–20