Statistics
Publications
36
Citations
1.6K
H-Index
19
Active since
1975
John P. Gallagher is an author at Roskilde University specializing in engineering, computer science, and formal methods.
Publications per year
1975–2020
36
36
Tutorial on specialisation of logic programs
John P. Gallagher · 1993 · 178 citations · Full text
Applied Logic, Computational Logic, Logic Program Specialisation +15
Breakfast Cereal and Caffeinated Coffee
Andrew Smith, Rachel Clark, John P. Gallagher · Physiology & Behavior · 1999 · 151 citations
Efficient deterministic multithreading through schedule relaxation
Heming Cui, Jingyue Wu, John P. Gallagher et al. · 2011 · 103 citations
Engineering, Computer Architecture, Deterministic Multithreading +18
1–5 of 36