Thesis
- Maja H. Kirkeby. Probabilistic program analysis. PhD thesis, Department of People and Technology, Roskilde University, Denmark, 2018.
Articles in journal, book chapters
- Henning Christiansen and Maja H. Kirkeby. Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. pp 112-130, 2019.
- Maja H. Kirkeby and Henning Christiansen. Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. International Journal of Approximate Reasoning, 105:217-228, 2019.
- Henning Christiansen and Maja H. Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, 29(1):57-95, 2017.
- Maja H. Kirkeby and Henning Christiansen. Confluence and Convergence in Probabilistically Terminating Reduction Systems. arXiv preprint arXiv:1709.05123, 2017.
- Henning Christiansen and Maja H. Kirkeby. Confluence Modulo Equivalence in Constraint Handling Rules, pages 41-58. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_3]
Conference articles
- Henning Christiansen and Maja H. Kirkeby. Confluence of CHR Revisited: Invariants and Modulo Equivalence. In Logic-Based Program Synthesis and Transformation, pages 94-111, 2019. Springer. ISBN: 978-3-030-13838-7.
- Henning Christiansen and Maja H. Kirkeby. Confluence in Constraint Handling Rules: A retrospective overview. In 7th International Workshop on Confluence, 2018.
BACK TO INDEX