Research Output per year
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2014 2017
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
Open Access
ENTRA: Whole-systems energy transparency
Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M. 2016 In : Microprocessors and Microsystems. 47, Part B, p. 278-286Research output: Contribution to journal › Journal article
File
Probabilistic Resource Analysis by Program Transformation
Kirkeby, M. H. & Rosendahl, M. 2016 In : Lecture Notes in Computer Science. 9964, p. 60-80Research output: Contribution to journal › Journal article
Confluence Modulo Equivalence in Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H. 2015 Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (eds.). p. 41-58 (Lecture Notes in Computer Science, Vol. 8981).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings
Open Access
File
Probabilistic Output Analysis by Program Manipulation
Rosendahl, M. & Kirkeby, M. H. 29 Sep 2015 Electronic Proceedings in Theoretical Computer Science. Vol. 194, p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings
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 → 30/09/2018
Project: Research