Maja H. Kirkeby
Maja H. Kirkeby
Assistant Prof., Roskilde University
Verified email at acm.org
Title
Cited by
Cited by
Year
On proving confluence modulo equivalence for Constraint Handling Rules
H Christiansen, MH Kirkeby
Formal Aspects of Computing 29 (1), 57-95, 2017
102017
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
102016
Confluence modulo equivalence in constraint handling rules
H Christiansen, MH Kirkeby
International Symposium on Logic-Based Program Synthesis and Transformation …, 2014
92014
Probabilistic output analysis by program manipulation
M Rosendahl, MH Kirkeby
arXiv preprint arXiv:1509.08566, 2015
52015
Probabilistic resource analysis by program transformation
MH Kirkeby, M Rosendahl
International Workshop on Foundational and Practical Aspects of Resource …, 2015
52015
Confluence and convergence in probabilistically terminating reduction systems
MH Kirkeby, H Christiansen
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
42017
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
MH Kirkeby, H Christiansen
International Journal of Approximate Reasoning 105, 217-228, 2019
32019
Semi-inversion of conditional constructor term rewriting systems
MH Kirkeby, R Glück
International Symposium on Logic-Based Program Synthesis and Transformation …, 2019
22019
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
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
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
2020
On the Semi-Inversion of Conditional Term Rewriting Systems
MH Kirkeby, R Glück
4 th Women in Logic Workshop, 11, 2020
2020
Probabilistic Output Analyses for Deterministic Programs---Reusing Existing Non-probabilistic Analyses
MH Kirkeby
arXiv preprint arXiv:2001.06943, 2020
2020
Confluence in Constraint Handling Rules: A retrospective overview
H Christiansen, MH Kirkeby
7th International Workshop on Confluence, 1, 2018
2018
Probabilistic Program Analysis
MH Kirkeby
Department of People and Technology, Roskilde University, 2018
2018
Beliefs and Plausibilities in Abstract Interpretation
MH Kirkeby, H Axelsen
Invariants and modulo equivalence
H Christiansen, MH Kirkeby
The system can't perform the operation now. Try again later.
Articles 1–18