Research output per year
Research output per year
Research output
Search results
-
2019
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
Kirkeby, M. H. & Christiansen, H., Feb 2019, In: International Journal of Approximate Reasoning. 105, p. 217-228 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
File -
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-95 39 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
2016
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-286 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
File -
Probabilistic Resource Analysis by Program Transformation
Kirkeby, M. H. & Rosendahl, M., 2016, In: Lecture Notes in Computer Science. 9964, p. 60-80 21 p.Research output: Contribution to journal › Journal article › Research › peer-review