Follow
Maja H. Kirkeby
Maja H. Kirkeby
Associate Prof., Roskilde University
Verified email at acm.org
Title
Cited by
Cited by
Year
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
On proving confluence modulo equivalence for Constraint Handling Rules
H Christiansen, MH Kirkeby
Formal Aspects of Computing 29, 57-95, 2017
112017
Confluence modulo equivalence in constraint handling rules
H Christiansen, MH Kirkeby
International Symposium on Logic-Based Program Synthesis and Transformation …, 2014
102014
Semi-inversion of conditional constructor term rewriting systems
MH Kirkeby, R Glück
Logic-Based Program Synthesis and Transformation: 29th International …, 2020
92020
Probabilistic output analysis by program manipulation
M Rosendahl, MH Kirkeby
arXiv preprint arXiv:1509.08566, 2015
62015
Inversion framework: reasoning about inversion by conditional term rewriting systems
M Kirkeby, R Glück
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
52020
Confluence and convergence in probabilistically terminating reduction systems
MH Kirkeby, H Christiansen
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
52017
Probabilistic resource analysis by program transformation
MH Kirkeby, M Rosendahl
International Workshop on Foundational and Practical Aspects of Resource …, 2015
42015
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
MH Kirkeby, H Christiansen
International Journal of Approximate Reasoning 105, 217-228, 2019
32019
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs
H Christiansen, MH Kirkeby
International Workshop on Functional and Constraint Logic Programming, 112-130, 2018
22018
Energy Consumption and Performance of Heapsort in Hardware and Software
MH Kirkeby, T Krabben, M Larsen, MB Mikkelsen, T Petersen, ...
arXiv preprint arXiv:2204.03401, 2022
12022
Probabilistic Output Analyses for Deterministic Programs---Reusing Existing Non-probabilistic Analyses
MH Kirkeby
arXiv preprint arXiv:2001.06943, 2020
12020
Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]
H Christiansen, MH Kirkeby
Roskilde Universitet, 2018
12018
Confluence of CHR revisited: invariants and modulo equivalence
H Christiansen, MH Kirkeby
International Symposium on Logic-Based Program Synthesis and Transformation …, 2018
12018
Energy Complexity for Sorting Algorithms in Java
K Carter, SMG Ho, MMA Larsen, M Sundman, MH Kirkeby
arXiv preprint arXiv:2311.07298, 2023
2023
Energy Consumption and Optimization of Software
JP Fernandes, B Santos, MH Kirkeby, L Paquete
SusTrainable: Promoting Sustainability as a Fundamental Driver in Software …, 2023
2023
Dagstuhl Reports, Vol. 12, Issue 8 ISSN 2192-5283
N Boukhelifa, CR Johnson, K Potter, D Duvenaud, M Heinonen, ...
2023
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES)(Dagstuhl Seminar 22341)
KI Eder, T Hönig, D Mosse, M Plauth, MH Kirkeby
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
2023
An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper)
MH Kirkeby, J Gallagher, B Thomsen
Proceedings of the First Workshop on Connecting Education and Research …, 2022
2022
Towards Comparing Performance of Algorithms in Hardware and Software
MH Kirkeby, M Schoeberl
arXiv preprint arXiv:2204.03394, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20