Brandon Moore
Impact in
- Information Systems top 5%
- Blockchain Technology Applications and Security
- Signal Processing top 10%
- Advanced Malware Detection Techniques
Papers in
-
- Logic, programming, and type systems 5
- Security and Verification in Computing 2
-
- Distributed systems and fault tolerance 4
- Co-authors
- Grigore Roşu (5 shared papers)Andrei Ștefănescu (3 shared papers)Nishant Rodrigues (1 shared paper)Daejun Park (1 shared paper)Philip Daian (1 shared paper)Manasvi Saxena (1 shared paper)Xiaoran Zhu (1 shared paper)Yi Zhang (1 shared paper)
- Journals
- SHILAP Revista de lepidopterología (1 paper)Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) (1 paper)IDEALS (University of Illinois Urbana-Champaign) (2 papers)
- Partner nations
- United StatesRomaniaChina
In The Last Decade
Brandon Moore
7 papers receiving 235 citations
Peers
Comparison fields: 5 of 38
- Information Systems 184
- Signal Processing 54
- Management Information Systems 34
- Software 14
- Artificial Intelligence 113
Countries citing papers authored by Brandon Moore
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
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-authors
The 15 scholars most cited alongside Brandon Moore, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2018 | 197 | |
| 2 | 2013 | 25 | |
| 3 | IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics | 2018 | 7 |
| 4 | 2011 | 7 | |
| 5 | Verification of Casper in the Coq Proof Assistant | 2018 | 4 |
| 6 | 2019 | 1 | |
| 7 | Coinductive program verification | 2016 | 1 |
About Brandon Moore
Brandon Moore is a scholar working on Artificial Intelligence, Computer Networks and Communications, Computational Theory and Mathematics, Information Systems and Hardware and Architecture, having authored 7 papers that have together received 242 indexed citations. Recurring topics across this work include Logic, programming, and type systems (5 papers), Distributed systems and fault tolerance (4 papers), Formal Methods in Verification (3 papers), Security and Verification in Computing (2 papers), Blockchain Technology Applications and Security (2 papers), Embedded Systems Design Techniques (1 paper), Parallel Computing and Optimization Techniques (1 paper) and Cloud Data Security Solutions (1 paper). The work is most often cited by research in Information Systems (184 citations), Signal Processing (54 citations), Management Information Systems (34 citations), Software (14 citations) and Artificial Intelligence (113 citations). Brandon Moore has collaborated with scholars based in United States, Romania and China. Frequent co-authors include Grigore Roşu, Andrei Ștefănescu, Nishant Rodrigues, Daejun Park, Philip Daian, Manasvi Saxena, Xiaoran Zhu, Yi Zhang, Ştefan Ciobâcă and Rajesh K. Karmani. Their work appears in 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).
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.