Research Output per year
Publication network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
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-228Research 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
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs
Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (ed.). Cham: Springer, p. 112-130 (Lecture Notes in Computer Science, Vol. 11285). (Theoretical Computer Science and General Issues; No. 11285).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
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.). Springer, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
File
Confluence in Constraint Handling Rules: A retrospective overview. Extended abstract of an invited talk given at IWC 2018 7th International Workshop on Confluence, July 7th 2018, Oxford, United Kingdom
Christiansen, H. & Kirkeby, M. H., 2018, p. 1-9.Research output: Contribution to conference › Paper › Research
Projects
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
Activities
Confluence in Constraint Handling Rules (Invited talk)
Maja Hanne Kirkeby (Speaker)
7 Jul 2018
Activity: Talk or presentation › Lecture and oral contribution
File
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