Brian Monahan

587 total citations
21 papers, 112 citations indexed

About

Brian Monahan is a scholar working on Information Systems, Computational Theory and Mathematics and Software. According to data from OpenAlex, Brian Monahan has authored 21 papers receiving a total of 112 indexed citations (citations by other indexed papers that have themselves been cited), including 7 papers in Information Systems, 6 papers in Computational Theory and Mathematics and 6 papers in Software. Recurrent topics in Brian Monahan's work include Information and Cyber Security (5 papers), Formal Methods in Verification (5 papers) and Model-Driven Software Engineering Techniques (3 papers). Brian Monahan is often cited by papers focused on Information and Cyber Security (5 papers), Formal Methods in Verification (5 papers) and Model-Driven Software Engineering Techniques (3 papers). Brian Monahan collaborates with scholars based in United States, United Kingdom and Austria. Brian Monahan's co-authors include David Pym, Michael Collinson, Mike Yearworth, Haley Johnson, Aladdin H. Shadyab, Leslie V. Farland, JoAnn E. Manson, Susan E. Hankinson, Angela Sasse and Philip Inglesant and has published in prestigious journals such as mBio, Science of Computer Programming and Journal of Logic and Computation.

In The Last Decade

Brian Monahan

16 papers receiving 105 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Brian Monahan United States	6	46	44	34	33	22	21	112
Nicholas Kidd United States	6	49 1.1×	46 1.0×	18 0.5×	20 0.6×	33 1.5×	13	103
Dominique Méry France	7	89 1.9×	27 0.6×	53 1.6×	68 2.1×	25 1.1×	26	139
Christiano Braga Brazil	8	77 1.7×	65 1.5×	24 0.7×	36 1.1×	38 1.7×	22	119
Kyung-Goo Doh South Korea	8	97 2.1×	87 2.0×	27 0.8×	22 0.7×	30 1.4×	22	140
Guido Wimmel Germany	6	50 1.1×	90 2.0×	31 0.9×	19 0.6×	38 1.7×	10	128
Zhilin Wu China	5	43 0.9×	43 1.0×	24 0.7×	22 0.7×	45 2.0×	19	101
Corin Pitcher United States	7	98 2.1×	16 0.4×	60 1.8×	34 1.0×	7 0.3×	11	132
Florian Kammüller United Kingdom	7	66 1.4×	73 1.7×	52 1.5×	23 0.7×	10 0.5×	31	128
Wim Vanhoof Belgium	7	54 1.2×	23 0.5×	13 0.4×	45 1.4×	37 1.7×	20	108
Vincent Balat France	6	72 1.6×	26 0.6×	21 0.6×	33 1.0×	14 0.6×	10	95

Countries citing papers authored by Brian Monahan

Since Specialization

Citations

This map shows the geographic impact of Brian Monahan's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Brian Monahan with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Brian Monahan more than expected).

Fields of papers citing papers by Brian Monahan

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Brian Monahan. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Brian Monahan. The network helps show where Brian Monahan may publish in the future.

Co-authorship network of co-authors of Brian Monahan

This figure shows the co-authorship network connecting the top 25 collaborators of Brian Monahan. A scholar is included among the top collaborators of Brian Monahan based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Brian Monahan. Brian Monahan is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Abbad, Anass, Brian Monahan, Gagandeep Singh, et al.. (2025). Antibody responses to SARS-CoV-2 variants LP.8.1, LF.7.1, NB.1.8.1, XFG, and BA.3.2 following KP.2 monovalent mRNA vaccination. mBio. 17(1). e0290125–e0290125.

2.

Monahan, Brian, Erin S. LeBlanc, Simin Liu, et al.. (2023). Associations of maternal preterm birth with subsequent risk for type 2 diabetes in women from the women’s health initiative. Journal of Developmental Origins of Health and Disease. 14(3). 333–340. 4 indexed citations

3.

Monahan, Brian, Leslie V. Farland, Aladdin H. Shadyab, et al.. (2021). Birthweight and subsequent risk for thyroid and autoimmune conditions in postmenopausal women. Journal of Developmental Origins of Health and Disease. 13(4). 463–470. 7 indexed citations

4.

Beautement, Adam, et al.. (2011). Systematic Decision Making in Security Management Modelling Password Usage and Support. UCL Discovery (University College London). 5 indexed citations

5.

Monahan, Brian, et al.. (2010). Semantics for structured systems modelling and simulation. 17 indexed citations

6.

Collinson, Michael, Brian Monahan, & David Pym. (2009). A Logical and Computational Theory of Located Resource. Journal of Logic and Computation. 19(6). 1207–1244. 22 indexed citations

7.

Johnson, Haley, et al.. (2008). Trust Economics Feasibility Study. UCL Discovery (University College London). 4 indexed citations

8.

Monahan, Brian, et al.. (2008). Located Demos2k - Towards a Tool for Modelling Processes and Distributed Resources. 2 indexed citations

9.

Monahan, Brian, et al.. (2007). Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach.. Explore Bristol Research. 2 indexed citations

10.

Yearworth, Mike, Brian Monahan, & David Pym. (2006). Predictive Modelling for Security Operations Economics. Explore Bristol Research. 7 indexed citations

11.

Monahan, Brian. (2005). Infrastructure Security Modelling for Utility Computing. 32(6). 649–65. 3 indexed citations

12.

Monahan, Brian, Simon Shiu, Adrian Baldwin, et al.. (2005). DBSy in a Commercial Services Context. 1 indexed citations

13.

Monahan, Brian. (2003). From Security Protocols to Systems Security: Making a case for systems security modeling +. 2 indexed citations

14.

Barringer, Howard, et al.. (2002). Symbolic verification of hardware systems. 575. 631–636. 1 indexed citations

15.

Barringer, Howard, et al.. (2002). A design and verification environment for ELLA. 697. 685–690. 1 indexed citations

16.

Monahan, Brian. (2002). Introducing ASPECT 1 - a tool for checking protocol security. 1 indexed citations

17.

Barringer, Howard, et al.. (1995). Symbolic Equivalence Checking for the ELLA Hardware Description Language. Journal of the Brazilian Computer Society. 2(2). 49–62.

18.

Barringer, Howard, et al.. (1995). The State Evolution Method for Verifying Hardware Systems.

19.

Monahan, Brian. (1991). Predicate calculus and program semantics. Science of Computer Programming. 17(1-3). 259–262. 30 indexed citations

20.

Monahan, Brian, et al.. (1988). The role of mathematically formal methods in the development and assessment of safety-critical systems. Microprocessors and Microsystems. 12(10). 539–546. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact