Seuraa
Mads Rosendahl
Mads Rosendahl
Vahvistettu sähköpostiosoite verkkotunnuksessa ruc.dk
Nimike
Viittaukset
Viittaukset
Vuosi
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
5281999
Automatic complexity analysis
M Rosendahl
Proceedings of the fourth international conference on Functional programming …, 1989
2491989
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
1791997
Higher-order minimal function graphs
ND Jones, M Rosendahl
Algebraic and Logic Programming: 4th International Conference, ALP'94 Madrid …, 1994
241994
Higher-order chaotic iteration sequences
M Rosendahl
International Symposium on Programming Language Implementation and Logic …, 1993
241993
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
222016
Efficient strictness analysis of Haskell
KD Jensen, P Hjæresen, M Rosendahl
Static Analysis: First International Static Analysis Symposium, SAS'94 Namur …, 1994
131994
Minimal Function Graphs are not Instrumented.
A Mycroft, M Rosendahl
WSA 92, 60-67, 1992
121992
Minimal Function Graphs are not Instrumented.
A Mycroft, M Rosendahl
WSA 92, 60-67, 1992
121992
Approximating term rewriting systems: a horn clause specification and its implementation
JP Gallagher, M Rosendahl
International Conference on Logic for Programming Artificial Intelligence …, 2008
112008
Strictness analysis for attribute grammars
M Rosendahl
International Symposium on Programming Language Implementation and Logic …, 1992
91992
Abstract Interpretation and Attribute Gramars
M Rosendahl
Cambridge University Press, 1991
91991
Automatic program analysis
M Rosendahl
Master's Thesis. Institute of Datalogy, University of Copenhagen, 1986
91986
Abstract interpretation as a programming language
M Rosendahl
arXiv preprint arXiv:1309.5133, 2013
72013
Introduction to abstract interpretation
M Rosendahl
Computer Science University of Copenhagen, 1995
71995
Probabilistic output analysis by program manipulation
M Rosendahl, MH Kirkeby
arXiv preprint arXiv:1509.08566, 2015
62015
Abstract interpretation using attribute grammars
M Rosendahl
Attribute Grammars and their Applications: International Conference WAGA …, 2005
62005
Probabilistic resource analysis by program transformation
MH Kirkeby, M Rosendahl
International Workshop on Foundational and Practical Aspects of Resource …, 2015
42015
Simple driving techniques
M Rosendahl
The Essence of Computation: Complexity, Analysis, Transformation, 404-419, 2002
32002
Energy challenges for ICT
JP Gallagher
Ict-energy concepts for energy efficiency and sustainability, 2017
22017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20