Maja Hanne Kirkeby

Assistant professor, Department of People and Technology
Assistant professor, Programming, Logic and Intelligent Systems

https://orcid.org/0000-0003-0033-2438

Phone+45 46 74 25 15
Emailmajaht@ruc.dk

Universitetsvej 1, 10.1
DK-4000 Roskilde
Denmark

Research output per year

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.

6 Article in proceedings
4 Paper
4 Journal article
1 Report
More
- 1 Ph.D. thesis

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
Kirkeby, M. H. & Glück, R., 1 Sep 2020, p. 1-14. 14 p.
Research output: Contribution to conference › Paper › Research › peer-review
Probabilistic Output Analyses for Deterministic Programs: Reusing Existing Non-probabilistic Analyses
Kirkeby, M. H., 20 Jan 2020.
Research output: Contribution to conference › Paper › Research › peer-review

Open Access
Semi-inversion of Conditional Constructor Term Rewriting Systems
Kirkeby, M. H. & Glück, R., 1 Apr 2020.
Research output: Contribution to conference › Paper › Research › peer-review
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
Kirkeby, M. H. & Christiansen, H., 2019, In: International Journal of Approximate Reasoning. 105, p. 217-228
Research output: Contribution to journal › Journal article › Research › peer-review
Confluence of CHR Revisited: Invariants and Modulo Equivalence
Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

2 Finished

Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H.
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Project: Research

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

The 26th International Workshop on Functional and Logic Programming
Henning Christiansen (Speaker) & Maja Hanne Kirkeby (Speaker)
6 Sep 2018
Activity: Participating in or organising an event › Participation in workshop, seminar, course
LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation
Henning Christiansen (Speaker) & Maja Hanne Kirkeby (Speaker)
4 Sep 2018 → 6 Sep 2018
Activity: Participating in or organising an event › Organisation and participation in conference
Confluence in Constraint Handling Rules (Invited talk)
Maja Hanne Kirkeby (Speaker)
7 Jul 2018
Activity: Talk or presentation › Lecture and oral contribution

File