Jesse Bingham

403 total citations
20 papers, 178 citations indexed

About

Jesse Bingham is a scholar working on Computational Theory and Mathematics, Software and Hardware and Architecture. According to data from OpenAlex, Jesse Bingham has authored 20 papers receiving a total of 178 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Computational Theory and Mathematics, 8 papers in Software and 7 papers in Hardware and Architecture. Recurrent topics in Jesse Bingham's work include Formal Methods in Verification (12 papers), Software Testing and Debugging Techniques (7 papers) and Parallel Computing and Optimization Techniques (4 papers). Jesse Bingham is often cited by papers focused on Formal Methods in Verification (12 papers), Software Testing and Debugging Techniques (7 papers) and Parallel Computing and Optimization Techniques (4 papers). Jesse Bingham collaborates with scholars based in United States, Canada and United Kingdom. Jesse Bingham's co-authors include Alan J. Hu, Michael R. Marty, Mark D. Hill, Milo M. K. Martin, David A. Wood, Daniel J. Sorin, Meng Zhang, John Erickson, John Erickson and Gaurav Singh and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Computers and IEEE Micro.

In The Last Decade

Jesse Bingham

16 papers receiving 159 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Jesse Bingham United States	7	116	115	58	50	34	20	178
D. Borrione France	9	142 1.2×	43 0.4×	92 1.6×	48 1.0×	42 1.2×	29	185
Anthony Fox United Kingdom	8	112 1.0×	73 0.6×	60 1.0×	36 0.7×	145 4.3×	16	207
Stavros Aronis Sweden	5	90 0.8×	69 0.6×	73 1.3×	27 0.5×	51 1.5×	6	155
Ching-Tsun Chou United States	6	183 1.6×	166 1.4×	27 0.5×	58 1.2×	24 0.7×	9	206
Shaked Flur United Kingdom	4	120 1.0×	93 0.8×	28 0.5×	29 0.6×	88 2.6×	5	172
Ashok Sudarsanam United States	6	203 1.8×	101 0.9×	25 0.4×	33 0.7×	30 0.9×	11	213
Daniel Gracia Pérez France	8	130 1.1×	94 0.8×	21 0.4×	25 0.5×	11 0.3×	15	151
Markus Pister Germany	6	191 1.6×	79 0.7×	41 0.7×	13 0.3×	29 0.9×	13	216
Azalea Raad United Kingdom	10	149 1.3×	149 1.3×	54 0.9×	36 0.7×	98 2.9×	21	240
Josef Widder Austria	8	49 0.4×	187 1.6×	119 2.1×	21 0.4×	67 2.0×	31	239

Countries citing papers authored by Jesse Bingham

Since Specialization

Citations

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

Fields of papers citing papers by Jesse Bingham

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jesse Bingham

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

Ferguson, Warren E., et al.. (2017). Digit Serial Methods with Applications to Division and Square Root. IEEE Transactions on Computers. 67(3). 449–456.

Bingham, Jesse, et al.. (2016). Verifiable hierarchical protocols with network invariants on parametric systems. 101–108. 4 indexed citations

Bingham, Jesse, et al.. (2016). Verifiable hierarchical protocols with network invariants on parametric systems. 101–108. 3 indexed citations

Zhang, Meng, Jesse Bingham, John Erickson, & Daniel J. Sorin. (2015). PVCoherence: Designing Flat Coherence Protocols for Scalable Verification. IEEE Micro. 35(3). 84–91. 6 indexed citations

Zhang, Meng, Jesse Bingham, John Erickson, & Daniel J. Sorin. (2014). PVCoherence: Designing flat coherence protocols for scalable verification. 2144. 392–403. 18 indexed citations

Greenstreet, Mark R., et al.. (2011). Parameterized verification of deadlock freedom in symmetric cache coherence protocols. 186–195. 1 indexed citations

Bingham, Jesse. (2011). Formalizing a Proof that e is Transcendental. SHILAP Revista de lepidopterología. 5 indexed citations

Bingham, Jesse, et al.. (2010). Industrial Strength Distributed Explicit State Model Checking. 9. 28–36. 23 indexed citations

Bingham, Jesse, John Erickson, Gaurav Singh, & Flemming Littrup Andersen. (2009). Industrial strength refinement checking. 180–183.

10.

Bingham, Jesse. (2009). Model checking sequential consistency and parameterized protocols. Open Collections.

11.

Bingham, Jesse. (2008). Automatic Non-Interference Lemmas for Parameterized Model Checking. 1–8. 8 indexed citations

12.

Bingham, Jesse, et al.. (2007). Hybrid one-dimensional reversible cellular automata are regular. Discrete Applied Mathematics. 155(18). 2555–2566. 5 indexed citations

13.

Babić, Domagoj, Jesse Bingham, & Alan J. Hu. (2006). B-cubing theory: new possibilities for efficient SAT-solving. 2725. 192–199. 1 indexed citations

14.

Babić, Domagoj, Jesse Bingham, & Alan J. Hu. (2006). B-Cubing: New Possibilities for Efficient SAT-Solving. IEEE Transactions on Computers. 55(11). 1315–1324. 8 indexed citations

15.

Bingham, Jesse. (2005). A New Approach to Upward-Closed Set Backward Reachability Analysis. Electronic Notes in Theoretical Computer Science. 138(3). 37–48. 4 indexed citations

16.

Marty, Michael R., Jesse Bingham, Mark D. Hill, et al.. (2005). Improving Multiple-CMP Systems Using Token Coherence. 328–339. 81 indexed citations

17.

Babić, Domagoj, Jesse Bingham, & Alan J. Hu. (2005). Efficient SAT solving. 744–744. 3 indexed citations

18.

Bingham, Jesse. (2004). A New Approach to Upward-Closed Set Backward Reachability Analysis.. Infinity Journal. 37–48. 1 indexed citations

19.

Bingham, Jesse, Anne Condon, & Alan J. Hu. (2003). Toward a decidable notion of sequential consistency. 304–313. 6 indexed citations

20.

Bingham, Jesse & M. Serra. (2000). Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings.. Parallel and Distributed Processing Techniques and Applications. 1 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