John Patrick Gallagher

Søgeresultater

• 2021

  Special issue on FLOPS 2018

  Gallagher, J. P. (red.) & Sulzmann, M. (red.), 2021, Special issue on FLOPS 2018 udg. Elsevier. (Science of Computer Programming; Nr. 202).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2020

  Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017

  Fioravanti, F. (red.), Gallagher, J. P. (red.) & Proietti, M. (red.), 2020, Societatis Mathematicae Polonae. (Fundamenta Informaticae; Nr. 4, Bind 173).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2018

  Functional and Logic Programming: 14th International Symposium (FLOPS 2018), Nagoya, Japan, May 9-11, 2018

  Gallagher, J. P. (red.) & Sulzmann, M. (red.), 2018, Switzerland: Springer. 281 s. (Lecture Notes in Computer Science, Bind 10818). (Theoretical Computer Science and General Issues).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

  Fioravanti, F. (red.) & Gallagher, J. P. (red.), 2018, Springer. 341 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

  Gallagher, J. P. (red.), van Glabbeek, R. (red.) & Serwe, W. (red.), apr. 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Bind 268).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

  Åben adgang
• 2017

  ICT: Energy Concepts for Energy Efficiency and Sustainability

  Fagas, G. (red.), Gammaitoni, L. (red.), Gallagher, J. P. (red.) & Paul, D. J. (red.), 22 mar. 2017, InTechOpen.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

  Åben adgang
• 2010

  Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PEPM 2010, Madrid, Spain, January 18-19, 2010

  Gallagher, J. P. (red.) & Voigtländer, J. (red.), 2010, Association for Computing Machinery. 158 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning