Publications

of Maja H. Kirkeby

Thesis

  1. Maja H. Kirkeby. Probabilistic program analysis. PhD thesis, Department of People and Technology, Roskilde University, Denmark, 2018.

Articles in journal, book chapters

  1. 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.
  2. 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.
  3. Henning Christiansen and Maja H. Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, 29(1):57-95, 2017.
  4. Maja H. Kirkeby and Henning Christiansen. Confluence and Convergence in Probabilistically Terminating Reduction Systems. arXiv preprint arXiv:1709.05123, 2017.
  5. 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

  1. 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.
  2. Henning Christiansen and Maja H. Kirkeby. Confluence in Constraint Handling Rules: A retrospective overview. In 7th International Workshop on Confluence, 2018.

BACK TO INDEX