John Patrick Gallagher

BA & PhD

Research output per year

If you made any changes in Pure these will be visible here soon.

19 Membership in committee, council, board
8 Editor of Research journal
7 Lecture and oral contribution
6 Membership in review committee
More
- 5 Peer review of manuscripts
- 2 Organisation and participation in conference

Filter

Higher Order and Symbolic Computation (Journal)
John Patrick Gallagher (Peer reviewer)
2010
Activity: Editorial work and peer review › Peer review of manuscripts › Research
Journal of Symbolic Computation in Software Science (Journal)
John Patrick Gallagher (Peer reviewer)
2009
Activity: Editorial work and peer review › Peer review of manuscripts › Research
Theory and Practice of Logic Programming (Journal)
John Patrick Gallagher (Peer reviewer)
2008 → 2010
Activity: Editorial work and peer review › Peer review of manuscripts › Research
Information and Computation (Journal)
John Patrick Gallagher (Peer reviewer)
2008 → 2010
Activity: Editorial work and peer review › Peer review of manuscripts › Research
ACM Transactions on Programming Languages and Systems (TOPLAS) (Journal)
John Patrick Gallagher (Peer reviewer)
2006 → 2011
Activity: Editorial work and peer review › Peer review of manuscripts › Research

Search results