Brian Larson

527 total citations
17 papers, 289 citations indexed

About

Brian Larson is a scholar working on Safety, Risk, Reliability and Quality, Surgery and Computational Theory and Mathematics. According to data from OpenAlex, Brian Larson has authored 17 papers receiving a total of 289 indexed citations (citations by other indexed papers that have themselves been cited), including 7 papers in Safety, Risk, Reliability and Quality, 6 papers in Surgery and 6 papers in Computational Theory and Mathematics. Recurrent topics in Brian Larson's work include Safety Systems Engineering in Autonomy (6 papers), Formal Methods in Verification (6 papers) and Healthcare Technology and Patient Monitoring (6 papers). Brian Larson is often cited by papers focused on Safety Systems Engineering in Autonomy (6 papers), Formal Methods in Verification (6 papers) and Healthcare Technology and Patient Monitoring (6 papers). Brian Larson collaborates with scholars based in United States, China and Canada. Brian Larson's co-authors include Jimmy Lin, John Hatcliff, Krishna Gade, Michael Busch, Aneesh Sharma, Julien Delange, Yunwei Dong, Patrice Chalin, Naijun Zhan and Yi Zhang and has published in prestigious journals such as Proceedings of the VLDB Endowment, Science China Information Sciences and IEEE Design and Test.

In The Last Decade

Brian Larson

16 papers receiving 278 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Brian Larson United States 9 104 98 96 60 50 17 289
Sudarshan K. Srinivasan United States 12 83 0.8× 72 0.7× 170 1.8× 45 0.8× 72 1.4× 55 530
Leonardo Montecchi Italy 9 78 0.8× 75 0.8× 57 0.6× 17 0.3× 72 1.4× 50 209
Gabriel Jakobson United States 13 335 3.2× 205 2.1× 227 2.4× 36 0.6× 30 0.6× 38 494
Marcin Szpyrka Poland 10 159 1.5× 84 0.9× 115 1.2× 11 0.2× 28 0.6× 43 364
Hein Meling Norway 10 317 3.0× 122 1.2× 96 1.0× 37 0.6× 15 0.3× 44 414
Giuseppe Della Penna Italy 9 78 0.8× 60 0.6× 182 1.9× 34 0.6× 64 1.3× 48 310
Manuel Cheminod Italy 9 289 2.8× 133 1.4× 166 1.7× 11 0.2× 11 0.2× 34 472
Jianqi Shi China 9 107 1.0× 56 0.6× 112 1.2× 20 0.3× 173 3.5× 56 385
Chung Hwan Kim United States 10 163 1.6× 138 1.4× 214 2.2× 14 0.2× 102 2.0× 26 412
Ansgar Fehnker Australia 10 68 0.7× 53 0.5× 109 1.1× 8 0.1× 137 2.7× 35 434

Countries citing papers authored by Brian Larson

Since Specialization
Citations

This map shows the geographic impact of Brian Larson'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 Larson with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Brian Larson more than expected).

Fields of papers citing papers by Brian Larson

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Brian Larson. 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 Larson. The network helps show where Brian Larson may publish in the future.

Co-authorship network of co-authors of Brian Larson

This figure shows the co-authorship network connecting the top 25 collaborators of Brian Larson. A scholar is included among the top collaborators of Brian Larson 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 Larson. Brian Larson is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

17 of 17 papers shown
1.
Larson, Brian, et al.. (2024). BLESS Behavior Correctness Proof as Convincing Verification Artifact. ACM SIGAda Ada Letters. 44(1). 31–42.
2.
Hatcliff, John, et al.. (2019). The open PCA pump project. ACM SIGBED Review. 16(2). 8–13. 7 indexed citations
3.
Larson, Brian, Paul Jones, Yi Zhang, & John Hatcliff. (2017). Principles and Benefits of Explicitly Designed Medical Device Safety Architecture. Biomedical Instrumentation & Technology. 51(5). 380–389. 6 indexed citations
4.
Sharma, Aneesh, et al.. (2016). GraphJet. Proceedings of the VLDB Endowment. 9(13). 1281–1292. 52 indexed citations
5.
Larson, Brian, et al.. (2015). Enabling Safe Interoperation by Medical Device Virtual Integration. IEEE Design and Test. 32(5). 74–88. 11 indexed citations
6.
Dong, Yunwei, et al.. (2015). Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. Science China Information Sciences. 58(11). 1–20. 18 indexed citations
7.
Larson, Brian. (2014). Formal semantics for the PACEMAKER system specification. ACM SIGAda Ada Letters. 34(3). 47–60. 2 indexed citations
8.
Larson, Brian. (2014). Formal semantics for the PACEMAKER system specification. 47–60. 3 indexed citations
9.
Larson, Brian, et al.. (2014). Hybrid annex. 29–38. 15 indexed citations
10.
Larson, Brian, et al.. (2014). Hybrid annex. ACM SIGAda Ada Letters. 34(3). 29–38. 7 indexed citations
11.
Larson, Brian, John Hatcliff, & Patrice Chalin. (2013). Open source Patient-Controlled Analgesic pump requirements documentation. PubMed. 28–34. 9 indexed citations
12.
Larson, Brian, et al.. (2013). Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. 65–84. 20 indexed citations
13.
Larson, Brian, et al.. (2013). Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. ACM SIGAda Ada Letters. 33(3). 65–84. 11 indexed citations
14.
Larson, Brian, et al.. (2012). Requirements specification for apps in medical application platforms. 26–32. 10 indexed citations
15.
Larson, Brian, et al.. (2012). Requirements specification for apps in medical application platforms. 26–32. 6 indexed citations
16.
Busch, Michael, et al.. (2012). Earlybird: Real-Time Search at Twitter. 1360–1369. 107 indexed citations
17.
Larson, Brian. (2006). Delivering Business Intelligence with Microsoft SQL Server 2005. CERN Document Server (European Organization for Nuclear Research). 5 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

Breakdown of academic impact, for papers by Sudarshan K. Srinivasan Breakdown of academic impact, for papers by Leonardo Montecchi Breakdown of academic impact, for papers by Gabriel Jakobson Breakdown of academic impact, for papers by Marcin Szpyrka Breakdown of academic impact, for papers by Hein Meling Breakdown of academic impact, for papers by Giuseppe Della Penna Breakdown of academic impact, for papers by Manuel Cheminod Breakdown of academic impact, for papers by Jianqi Shi Breakdown of academic impact, for papers by Chung Hwan Kim Breakdown of academic impact, for papers by Ansgar Fehnker
Rankless by CCL
2026