Maja H. Kirkeby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2014–2026
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | Framework Matters: Energy Efficiency of UI Automation Testing Frameworks. | Timmie M. R. Lagermann, Kristina Sophia Carter, Su Mei Gwen Ho, Luis Cruz, Kerstin Eder, Maja H. Kirkeby |
| 2026 | SANER | Power Assumptions Matter: Evaluating End-User Laptop Energy Models for Sustainability Reporting of Browser-Based Web Services. | Maja H. Kirkeby, Timmie Lagermann |
| 2020 | PPDP | Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. | Maja H. Kirkeby, Robert Glck |
| 2018 | LOPSTR | Confluence of CHR Revisited: Invariants and Modulo Equivalence. | Henning Christiansen, Maja H. Kirkeby |
| 2017 | LOPSTR | Confluence and Convergence in Probabilistically Terminating Reduction Systems. | Maja H. Kirkeby, Henning Christiansen |
| 2014 | LOPSTR | Confluence Modulo Equivalence in Constraint Handling Rules. | Henning Christiansen, Maja H. Kirkeby |