Foto af Maja Hanne Kirkeby
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

20142018

Publikation 2014 2017

  • 3 Konferencebidrag i proceedings
  • 3 Tidsskriftartikel
2017
Åben adgang
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 I : Microprocessors and Microsystems. 47, Part B, s. 278-286

Publikation: Bidrag til tidsskriftTidsskriftartikel

Fil

Probabilistic Resource Analysis by Program Transformation

Kirkeby, M. H. & Rosendahl, M. 2016 I : Lecture Notes in Computer Science. 9964, s. 60-80

Publikation: Bidrag til tidsskriftTidsskriftartikel

2015

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. (red.). s. 41-58 (Lecture Notes in Computer Science, Bind 8981).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedings

Åben adgang
Fil

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H. 29 sep. 2015 Electronic Proceedings in Theoretical Computer Science. Bind 194, s. 110-124 (Electronic Proceedings in Theoretical Computer Science; Nr. 194).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedings

Åben adgang
2014

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H. 2014 Logic-Based Program Synthesis and Transformation: Preliminary Proceedings of the 24th International Symposium, LOPSTR 2014 Canterbury (UK), September 9–11, 2014. Proietti, M. & Seki, H. (red.). Istituto di Analisi dei Sistemi ed Informatica. Consiglio Nazionale delle Ricerche, s. 38-52 (Collana dei rapporti dell'Istituto di analisi dei sistemi ed informatica ).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedings