Jonathan P. Bowen

Measurements of the Higgs boson production and decay rates and constraints on its couplings from a combined ATLAS and CMS analysis of the LHC pp collision data at s = 7 $$ \sqrt{s}=7 $$ and 8 TeV

G. Aad, B. Abbott, J. Abdallah et al. · Journal of High Energy Physics · 2016 · 1.1K citations · Full text

Natural Sciences, Physics, Cosmology +16

Evidence for collectivity in pp collisions at the LHC

V. Khachatryan, A. M. Sirunyan, A. Tumasyan et al. · Physics Letters B · 2016 · 432 citations · Full text

Natural Sciences, Physics, Nuclear Physics +15

Observation of Higgs Boson Decay to Bottom Quarks

A. M. Sirunyan, A. Tumasyan, W. Adam et al. · Physical Review Letters · 2018 · 339 citations · Full text

Natural Sciences, Physics, Cosmology +16

Safety-critical systems, formal methods and standards

Jonathan P. Bowen, V. Stavridou · Software Engineering Journal · 1993 · 295 citations

Engineering, Computer Science, Systems Engineering +16

Seven more myths of formal methods

Jonathan P. Bowen, Mike Hinchey · IEEE Software · 1995 · 289 citations

Computing, Computer Science, Systems Engineering +6