Photo of Maja Hanne Kirkeby
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20142018
If you made any changes in Pure these will be visible here soon.

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2018

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 Jul 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Lecture Notes in Computer Science: Springer, LNCS, Vol. 10855, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Computer Science, Roskilde University. 20 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 153).

Research output: Book/ReportReportResearch

Open Access
File

Probabilistic program analysis

Kirkeby, M. H., 2018, Roskilde: Roskilde Universitet. 139 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 151).

Research output: Book/ReportPh.D. thesisResearch

On proving confluence modulo equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2017, In : Formal Aspects of Computing. 29, 1, p. 57-95

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Projects 2015 2018

Activities 2018 2018

  • 1 Organisation and participation in conference
  • 1 Participation in workshop, seminar, course
  • 1 Lecture and oral contribution

LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

Christiansen, H. (Speaker), Kirkeby, M. H. (Speaker)
4 Sep 20186 Sep 2018

Activity: Participating in or organising an eventOrganisation and participation in conference

Confluence in Constraint Handling Rules (Invited talk)

Kirkeby, M. H. (Speaker)
7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

WFLP 2018, The 26th International Workshop on Functional and Logic Programming

Christiansen, H. (Speaker), Kirkeby, M. H. (Speaker)
6 Sep 2018

Activity: Participating in or organising an eventParticipation in workshop, seminar, course