36
Publications
1.6K
Citations
19
H-Index
1975
Active since
John P. Gallagher is an author at Roskilde University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisLogic ProgrammingEducationPsychology
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
Rows per page
1–5 of 36