Maja H. Kirkeby

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 19

Top Topics

Sorting Algorithms

Constraint Handling Rules

Constraint Solver

Moment Invariants

Top Venues

Int. J. Approx. Reason.

Formal Aspects Comput.

Publications

Kristina Carter, Su Mei Gwen Ho, Mathias Marquar Arhipenko Larsen, Martin Sundman, Maja H. Kirkeby
Energy Complexity for Sorting Algorithms in Java. CoRR (2023)
Maja H. Kirkeby, Martin Schoeberl
Towards Comparing Performance of Algorithms in Hardware and Software. CoRR (2022)
Maja H. Kirkeby, Thomas Krabben, Mathias Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
Energy Consumption and Performance of Heapsort in Hardware and Software. CoRR (2022)
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion. VPT@ETAPS (2021)
Maja H. Kirkeby, Robert Glück
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. PPDP (2020)
Maja H. Kirkeby, Henning Christiansen
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. Int. J. Approx. Reason. 105 (2019)
Henning Christiansen, Maja H. Kirkeby
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. CoRR (2018)
Henning Christiansen, Maja H. Kirkeby
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. WFLP (2018)
Henning Christiansen, Maja H. Kirkeby
Confluence of CHR revisited: invariants and modulo equivalence. CoRR (2018)
Henning Christiansen, Maja H. Kirkeby
Confluence of CHR Revisited: Invariants and Modulo Equivalence. LOPSTR (2018)
Henning Christiansen, Maja H. Kirkeby
On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects Comput. 29 (1) (2017)
Maja H. Kirkeby, Henning Christiansen
Confluence and Convergence in Probabilistically Terminating Reduction Systems. LOPSTR (2017)
Maja H. Kirkeby, Henning Christiansen
Confluence and Convergence in Probabilistically Terminating Reduction Systems. CoRR (2017)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Henning Christiansen, Maja H. Kirkeby
On Proving Confluence Modulo Equivalence for Constraint Handling Rules. CoRR (2016)
Maja H. Kirkeby, Mads Rosendahl
Probabilistic Resource Analysis by Program Transformation. CoRR (2016)
Mads Rosendahl, Maja H. Kirkeby
Probabilistic Output Analysis by Program Manipulation. QAPL (2015)
Maja H. Kirkeby, Mads Rosendahl
Probabilistic Resource Analysis by Program Transformation. FOPARA (2015)
Henning Christiansen, Maja H. Kirkeby
Confluence Modulo Equivalence in Constraint Handling Rules. LOPSTR (2014)