1. 2017
  2. Udgivet

    On proving confluence modulo equivalence for Constraint Handling Rules. / Christiansen, Henning; Kirkeby, Maja Hanne.

    I: Formal Aspects of Computing, Vol. 29, Nr. 1, 2017, s. 57-95.

    Publikation: Forskning - peer reviewTidsskriftartikel

  3. 2016
  4. Udgivet

    ENTRA : Whole-systems energy transparency. / Eder, Kerstin; Gallagher, John Patrick; López-García, Pedro; Muller, Henk; Banković, Zorana; Georgiou, Kyriakos; Haemmerlé, Rémy; Hermenegildo, Manuel V.; Kafle, Bishoksan; Kerrison, Steve; Kirkeby, Maja Hanne; Klemen, Maximiliano; Li, Xueliang; Liqat, Umer; Morse, Jeremy; Rhiger, Morten; Rosendahl, Mads.

    I: Microprocessors and Microsystems, Vol. 47, Nr. Part B, 2016, s. 278-286.

    Publikation: Forskning - peer reviewTidsskriftartikel

  5. Udgivet

    Probabilistic Resource Analysis by Program Transformation. / Kirkeby, Maja Hanne; Rosendahl, Mads.

    I: Lecture Notes in Computer Science, Vol. 9964, 2016, s. 60-80.

    Publikation: Forskning - peer reviewTidsskriftartikel

  6. 2015
  7. Udgivet

    Probabilistic Output Analysis by Program Manipulation. / Rosendahl, Mads; Kirkeby, Maja Hanne.

    Electronic Proceedings in Theoretical Computer Science. Vol. 194 2015. s. 110-124 (Electronic Proceedings in Theoretical Computer Science; Nr. 194).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  8. Udgivet

    Confluence Modulo Equivalence in Constraint Handling Rules. / Christiansen, Henning; Kirkeby, Maja Hanne.

    Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. red. / Maurizio Proietti; Hirohisa Seki. 2015. s. 41-58 (Lecture Notes in Computer Science, Vol. 8981).

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings

  9. 2014
  10. Udgivet

    Confluence Modulo Equivalence in Constraint Handling Rules. / Christiansen, Henning; Kirkeby, Maja Hanne.

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

    Publikation: Forskning - peer reviewKonferencebidrag i proceedings