Concepedia

Brian Monahan

BM

7

Publications

257

Citations

7

H-Index

1991

Active since

Affiliations

Hewlett-Packard (United States)(Current)

Icahn School of Medicine at Mount Sinai

University of Bath

Brian Monahan is an author at Hewlett-Packard (United States) specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSemanticsComputer ScienceLogic ProgrammingDesignCovid-19MedicineVirology

Publications per year

1991–2024

7

Publications

7

SARS-CoV-2-infection- and vaccine-induced antibody responses are long lasting with an initial waning phase followed by a stabilization phase

Komal Srivastava, Juan Manuel Carreño, Charles Gleason et al. · Immunity · 2024 · 119 citations · Full text

Predicate calculus and program semantics

Brian Monahan · Science of Computer Programming · 1991 · 38 citations

Engineering, Operational Semantics, Predicate Calculus +7

A Logical and Computational Theory of Located Resource

Michael Collinson, Brian Monahan, David Pym · Journal of Logic and Computation · 2009 · 34 citations

Engineering, Dynamic Resource Allocation, Computational Model Theory +16

Semantics for structured systems modelling and simulation

Matthew Collinson, Brian Monahan, David Pym · 2010 · 27 citations · Full text

Engineering, Simulation Modelling, Simulation +19

Site of vulnerability on SARS-CoV-2 spike induces broadly protective antibody against antigenically distinct Omicron subvariants

Siriruk Changrob, Peter Halfmann, Hejun Liu et al. · Journal of Clinical Investigation · 2023 · 14 citations · Full text

Humoral Response, Viral Pathogenesis, Immunology +17

Rows per page

1–5 of 7