Confluence Modulo Equivalence in Constraint Handling Rules. - Henning Christiansen 001; Maja H. Kirkeby (LOPSTR, 2014)

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)

Confluence and Convergence in Probabilistically Terminating Reduction Systems. - Maja H. Kirkeby; Henning Christiansen 001 (LOPSTR, 2017)

On proving confluence modulo equivalence for Constraint Handling Rules. - Henning Christiansen 001; Maja H. Kirkeby (Formal Aspects Comput., 2017)

Confluence of CHR Revisited: Invariants and Modulo Equivalence. - Henning Christiansen 001; Maja H. Kirkeby (LOPSTR, 2018)

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. - Henning Christiansen 001; Maja H. Kirkeby (WFLP, 2018)

Semi-inversion of Conditional Constructor Term Rewriting Systems. - Maja Hanne Kirkeby; Robert Glück (LOPSTR, 2019)

Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses. - Maja Hanne Kirkeby (QAPL@ETAPS, 2019)

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. - Maja H. Kirkeby; Henning Christiansen 001 (Int. J. Approx. Reason., 2019)

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. - Maja H. Kirkeby; Robert Glück (PPDP, 2020)

An Approach to Estimating Energy Consumption of Web-based IT Systems. - Maja H. Kirkeby; John P. Gallagher; Bent Thomsen (CERCIRAS, 2021)

An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion. - Maria Bendix Mikkelsen; Robert Glück; Maja H. Kirkeby (VPT@ETAPS, 2021)

Towards Comparing Performance of Algorithms in Hardware and Software. - Maja H. Kirkeby; Martin Schoeberl (CoRR, 2022)

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)

Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341). - Kerstin I. Eder; Timo Hönig; Daniel Mossé; Max Plauth; Maja Hanne Kirkeby (Dagstuhl Reports, 2022)

Energy Complexity for Sorting Algorithms in Java. - Kristina Carter; Su Mei Gwen Ho; Mathias Marquar Arhipenko Larsen; Martin Sundman; Maja H. Kirkeby (CoRR, 2023)

Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. - Lars-Bo Husted Vadgaard; Maja Hanne Kirkeby; Ken Friis Larsen; Michael Kirkedal Thomsen (RC, 2024)

Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations. - Maja Hanne Kirkeby; Bernardo Santos 003; João Paulo Fernandes; Alberto Pardo (SAC, 2024)

Power, Energy, and Carbon-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 24351). - Kerstin I. Eder; Timo Hönig; Maja Hanne Kirkeby; Daniel Mossé; Max Plauth; Jonas Juffinger (Dagstuhl Reports, 2024)

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)

Special issue on computer systems and resource awareness*: Editorial. - Gordana Rakic; Maja H. Kirkeby; Padma Iyenghar; Zoran Budimac (Comput. Sci. Inf. Syst., 2025)

Teaching Energy-Efficient Software - An Experience Report. - Henrik Bærbak Christensen; Maja Hanne Kirkeby; Bent Thomsen; Lone Leth Thomsen (CoRR, 2025)

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

Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices. - Luis Cruz 002; João Paulo Fernandes; Maja H. Kirkeby; Silverio Martínez-Fernández; June Sallou; Hina Anwar; Enrique Barba Roque; Justus Bogner; Joel Castaño; Fernando Castor; Aadil Chasmawala; Simão Cunha; et al. (CoRR, 2025)