1. 2017
  2. E-pub ahead of print

    Optimised determinisation and completion of finite tree automata. / Gallagher, John Patrick; Ajspur, Mai; Kafle, Bishoksan.

    In: Journal of Logic and Algebraic Programming, Vol. 95, 01.2018, p. 1-16.

    Publication: Research - peer-reviewJournal article

  3. Published

    Constraint specialisation in Horn clause verification. / Kafle, Bishoksan; Gallagher, John Patrick.

    In: Science of Computer Programming, Vol. 137, 01.04.2017, p. 125-140.

    Publication: Research - peer-reviewJournal article

  4. Published

    Energy-Aware Software Engineering. / Eder, Kerstin; Gallagher, John Patrick.

    ICT - Energy Concepts for Energy Efficiency and Sustainability. ed. / Giorgos Fagas; Luca Gammaitoni; John P. Gallagher; Douglas J. Paul. InTech Open Access Publishers, 2017. p. 103-127.

    Publication: Research - peer-reviewBook chapter

  5. Published

    Energy Challenges for ICT. / Fagas, Giorgos ; Gallagher, John Patrick; Gammaitoni, Luca; Paul, Douglas J.

    ICT - Energy Concepts for Energy Efficiency and Sustainability. ed. / Giorgos Fagas; Luca Gammaitoni; John P. Gallagher; Douglas J. Paul. InTech Open Access Publishers, 2017.

    Publication: Research - peer-reviewBook chapter

  6. Published

    ICT : Energy Concepts for Energy Efficiency and Sustainability. / Fagas, Giorgos (Editor); Gammaitoni, Luca (Editor); Gallagher, John Patrick (Editor); Paul, Douglas J. (Editor).

    InTech Open Access Publishers, 2017.

    Publication: Research - peer-reviewAnthology

  7. Published

    Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. / Kafle, Bishoksan; Gallagher, John Patrick.

    In: Computer Languages, Systems and Structures, Vol. 47, No. Part 1, 01.2017, p. 2-18.

    Publication: Research - peer-reviewJournal article

  8. 2016
  9. Published

    A Source-level Energy Optimization Framework for Mobile Applications. / Li, Xueliang; Gallagher, John Patrick.

    16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, 2016. p. 31-40.

    Publication: Research - peer-reviewArticle in proceedings

  10. Published

    A Transformational Approach to Parametric Accumulated-Cost Static Profiling. / Haemmerlé, Rémy; López García, Pedro; Liqat, Umer; Klemen, Maximiliano; Gallagher, John Patrick; Hermenegildo, Manuel.

    Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. ed. / Oleg Kiselyov; Andy King. Cham : Springer, 2016. p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

    Publication: Research - peer-reviewArticle in proceedings

  11. Published

    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.

    In: Microprocessors and Microsystems, Vol. 47, No. Part B, 2016, p. 278-286.

    Publication: Research - peer-reviewJournal article

  12. Published

    Fine-Grained Energy Modeling for the Source Code of a Mobile Application. / Li, Xueliang; Gallagher, John Patrick.

    Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. ed. / Takahiro Hara; Hiroshi Shigeno. Association for Computing Machinery, 2016. p. 180-189.

    Publication: Research - peer-reviewArticle in proceedings

Previous 1 2 3 4 5 6 Next