Brandon Moore

713 total citations
7 papers, 242 citations indexed

About

Brandon Moore is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Brandon Moore has authored 7 papers receiving a total of 242 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Artificial Intelligence, 5 papers in Computer Networks and Communications and 3 papers in Computational Theory and Mathematics. Recurrent topics in Brandon Moore's work include Logic, programming, and type systems (5 papers), Distributed systems and fault tolerance (4 papers) and Formal Methods in Verification (3 papers). Brandon Moore is often cited by papers focused on Logic, programming, and type systems (5 papers), Distributed systems and fault tolerance (4 papers) and Formal Methods in Verification (3 papers). Brandon Moore collaborates with scholars based in United States, Romania and China. Brandon Moore's co-authors include Grigore Roşu, Andrei Ștefănescu, Manasvi Saxena, Yi Zhang, Xiaoran Zhu, Philip Daian, Nishant Rodrigues, Daejun Park, Ştefan Ciobâcă and Rajesh K. Karmani and has published in prestigious journals such as SHILAP Revista de lepidopterología, Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) and IDEALS (University of Illinois Urbana-Champaign).

In The Last Decade

Brandon Moore

7 papers receiving 235 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Brandon Moore United States	5	184	113	54	46	34	7	242
Xiaoran Zhu China	5	211 1.1×	131 1.2×	71 1.3×	61 1.3×	34 1.0×	12	271
Sidney Amani Australia	7	137 0.7×	161 1.4×	49 0.9×	80 1.7×	33 1.0×	17	256
Manasvi Saxena United States	3	257 1.4×	144 1.3×	89 1.6×	56 1.2×	46 1.4×	4	299
Nishant Rodrigues United States	4	208 1.1×	123 1.1×	67 1.2×	49 1.1×	33 1.0×	8	275
Dimitar Dimitrov Switzerland	7	170 0.9×	106 0.9×	72 1.3×	121 2.6×	19 0.6×	18	288
Mislav Balunović Switzerland	5	154 0.8×	159 1.4×	95 1.8×	16 0.3×	21 0.6×	10	275
Chia-Chu Chiang United States	7	197 1.1×	138 1.2×	22 0.4×	57 1.2×	30 0.9×	56	255
Douglas Burdick United States	10	133 0.7×	169 1.5×	51 0.9×	96 2.1×	22 0.6×	19	342
Qizhen Zhang United States	10	121 0.7×	58 0.5×	27 0.5×	144 3.1×	18 0.5×	22	264
Fuchen Ma China	11	261 1.4×	82 0.7×	104 1.9×	70 1.5×	36 1.1×	21	340

Countries citing papers authored by Brandon Moore

Since Specialization

Citations

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

Fields of papers citing papers by Brandon Moore

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Brandon Moore

This figure shows the co-authorship network connecting the top 25 collaborators of Brandon Moore. A scholar is included among the top collaborators of Brandon Moore 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 Brandon Moore. Brandon Moore 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:

7 of 7 papers shown

1.

Ștefănescu, Andrei, et al.. (2019). All-Path Reachability Logic. SHILAP Revista de lepidopterología. 1 indexed citations

2.

Moore, Brandon, et al.. (2018). IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics. IDEALS (University of Illinois Urbana-Champaign). 7 indexed citations

3.

Palmskog, Karl, et al.. (2018). Verification of Casper in the Coq Proof Assistant. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 4 indexed citations

4.

Saxena, Manasvi, Nishant Rodrigues, Xiaoran Zhu, et al.. (2018). KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. 204–217. 197 indexed citations

5.

Moore, Brandon. (2016). Coinductive program verification. IDEALS (University of Illinois Urbana-Champaign). 1 indexed citations

6.

Roşu, Grigore, Andrei Ștefănescu, Ştefan Ciobâcă, & Brandon Moore. (2013). One-Path Reachability Logic. 358–367. 25 indexed citations

7.

Karmani, Rajesh K., P. Madhusudan, & Brandon Moore. (2011). Thread contracts for safe parallelism. 125–134. 7 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