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
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
Semi-inversion of Conditional Constructor Term Rewriting Systems
MH Kirkeby, R Glück
International Symposium on Logic-Based Program Synthesis and Transformation …, 2019
12019
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
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
ENTRA: Whole-systems energy transparency
Z Bankoviéc, K Georgiou, R Haemmerléc, MV Hermenegildac, B Kafle, ...
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