Research Output per year
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 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-9Research output: Contribution to conference › Paper › Research
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/Report › Report › Research
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/Report › Ph.D. thesis › Research
On proving confluence modulo equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H., 2017, In : Formal Aspects of Computing. 29, 1, p. 57-95Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
Projects 2015 2018
- 1 Active
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 2018 2018
LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation
Christiansen, H. (Speaker), Kirkeby, M. H. (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)
Kirkeby, M. H. (Speaker)7 Jul 2018
Activity: Talk or presentation › Lecture 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 event › Participation in workshop, seminar, course