Automatic Complexity Analysis. - Mads Rosendahl (FPCA, 1989)

Abstract Interpretation Using Attribute Grammar. - Mads Rosendahl (WAGA, 1990)

Abstract interpretation and attribute grammars. - Mads Rosendahl (1991)

Strictness Analysis for Attribute Grammars. - Mads Rosendahl (PLILP, 1992)

Minimal Function Graphs are not Instrumented. - Alan Mycroft; Mads Rosendahl (WSA, 1992)

Higher-Order Chaotic Iteration Sequences. - Mads Rosendahl (PLILP, 1993)

Higher-Order Minimal Functional Graphs. - Neil D. Jones; Mads Rosendahl (ALP, 1994)

Efficient Strictness Analysis of Haskell. - Kristian Damm Jensen; Peter Hjæresen; Mads Rosendahl (SAS, 1994)

Higher-Order Minimal Function Graphs. - Neil D. Jones; Mads Rosendahl (J. Funct. Log. Program., 1997)

Simple Driving Techniques. - Mads Rosendahl (The Essence of Computation, 2002)

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. - John P. Gallagher; Mads Rosendahl (LPAR, 2008)

Abstract Interpretation as a Programming Language. - Mads Rosendahl (Festschrift for Dave Schmidt, 2013)

Probabilistic Resource Analysis by Program Transformation. - Maja H. Kirkeby; Mads Rosendahl (FOPARA, 2015)

Probabilistic Output Analysis by Program Manipulation. - Mads Rosendahl; Maja H. Kirkeby (QAPL, 2015)

ENTRA: Whole-systems energy transparency. - Kerstin Eder; John P. Gallagher; Pedro López-García 001; Henk L. Muller; Zorana Bankovic; Kyriakos Georgiou; Rémy Haemmerlé; Manuel V. Hermenegildo; Bishoksan Kafle; Steve Kerrison; Maja H. Kirkeby; Maximiliano Klemen; et al. (Microprocess. Microsystems, 2016)

Energy Consumption and Performance of Heapsort in Hardware and Software. - Maja H. Kirkeby; Thomas Krabben; Mathias Marquar Arhipenko Larsen; Maria Bendix Mikkelsen; Tjark Petersen; Mads Rosendahl; Martin Schoeberl; Martin Sundman (CoRR, 2022)

Energy-efficiency of software and hardware algorithms. - Maja H. Kirkeby; Thomas Krabben; Maria Bendix Mikkelsen; Mads Rosendahl; Mathias Marquar Arhipenko Larsen; Martin Sundman; Tjark Petersen; Martin Schoeberl (Comput. Sci. Inf. Syst., 2025)

Static Communication Analysis for Hardware Design. - Mads Rosendahl; Maja H. Kirkeby (PLACES@ETAPS, 2025)