Get started
Author

Maja H. Kirkeby

Observed names: Kirkeby, Maja H., Kirkeby, Maja H.; id_orcid 0000-0003-0033-2438, Kirkeby, Maja Hanne, Kirkeby, Maja Hanne; id_orcid 0000-0003-0033-2438, Maja Hanne Kirkeby, Maja Kirkeby
Institution: Roskilde University
Observed institution: Roskilde University
ORCID: 0000-0003-0033-2438
Observed ORCID: 0000-0003-0033-2438
OpenAlex ID: A5034230236
Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices
2025 · Luís Cruz, João Paulo Fernandes, et al. · ACM SIGSOFT Software Engineering Notes · 24
PDF
ENTRA: Whole-systems energy transparency
2016 · Kerstin Eder, John P. Gallagher, et al. · Microprocessors and Microsystems · 24
Semi-inversion of Conditional Constructor Term Rewriting Systems
2020 · Maja Hanne Kirkeby, Robert Glück · Lecture notes in computer science · 9
On proving confluence modulo equivalence for Constraint Handling Rules
2016 · Henning Christiansen, Maja H. Kirkeby · Formal Aspects of Computing · 9
PDF
Confluence Modulo Equivalence in Constraint Handling Rules
2015 · Henning Christiansen, Maja H. Kirkeby · Lecture notes in computer science · 8
PDF
Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations
2024 · Maja Hanne Kirkeby, Bernardo Santos, et al. · ACM Symposium on Applied Computing · 7
PDF
Euro-Par 2023: Parallel Processing Workshops
2024 · Demetris Zeinalipour, Dora Blanco Heras, et al. · Lecture notes in computer science · 6
Euro-Par 2023: Parallel Processing Workshops
2024 · Demetris Zeinalipour, Dora Blanco Heras, et al. · Lecture notes in computer science · 6
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
2020 · Maja Kirkeby, Robert Glück · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 6
Confluence and Convergence in Probabilistically Terminating Reduction Systems
2018 · Maja H. Kirkeby, Henning Christiansen · Lecture notes in computer science · 5
PDF
Energy Consumption and Performance of Heapsort in Hardware and Software
2022 · Kirkeby, Maja H., Krabben, Thomas, et al. · arXiv (Cornell University) · 4
PDF
Energy and Time Complexity for Sorting Algorithms in Java
2023 · Carter, Kristina, Ho, Su Mei Gwen, et al. · arXiv (Cornell University) · 3
PDF
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
2018 · Maja H. Kirkeby, Henning Christiansen · International Journal of Approximate Reasoning · 3
PDF
Probabilistic Output Analysis by Program Manipulation
2015 · Mads Rosendahl, Maja H. Kirkeby · Electronic Proceedings in Theoretical Computer Science · 3
Towards Comparing Performance of Algorithms in Hardware and Software
2022 · Kirkeby, Maja H., Schoeberl, Martin · arXiv (Cornell University) · 2
PDF
Probabilistic Resource Analysis by Program Transformation
2016 · Maja H. Kirkeby, Mads Rosendahl · Lecture notes in computer science · 2
PDF
Probabilistic Output Analyses for Deterministic Programs — Reusing Existing Non-probabilistic Analyses
2020 · Maja Hanne Kirkeby · Electronic Proceedings in Theoretical Computer Science · 1
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs
2019 · Henning Christiansen, Maja H. Kirkeby · Lecture notes in computer science · 1
PDF
EnergyLogger: Evaluating On-Board Power Telemetry for Energy Measurement on Raspberry Pi 5
2026 · Nilma Abbas, Jesper Nordentoft, et al. · International Conference on ICT for Sustainability (ICT4S)
Bridging the gap between industry and academia: sustainability in LLM-assisted software engineering
2026 · Maja Kirkeby, Pepijn de Reus, et al. · IEEE/ACM International Workshop on Green and Sustainable Software (GREENS)
Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
2026 · Timmie M. R. Lagermann, Kristina Sophia Carter, et al. · ACM Symposium on Applied Computing
Power Assumptions Matter: Evaluating End-User Laptop Energy Models for Sustainability Reporting of Browser-Based Web Services
2026 · Maja H. Kirkeby, Timmie M. R. Lagermann · IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)
PDF
Does GCC Compiler Development Pay for Itself? GCC Versions' Impact on Energy Consumption
2026 · Keiserås, Brage Isak, Markussen, Bo, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Static Analysis for Hardware Design
2025 · Mads Rosendahl, Maja H. Kirkeby · Lecture notes in computer science
Static Communication Analysis for Hardware Design
2025 · Mads Rosendahl, Maja H. Kirkeby · Electronic Proceedings in Theoretical Computer Science
PDF
Works count: 39
Citation count: 124
H-index: 6
I10-index: 2
Year
Topic
Type