Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings. - Jesse D. Bingham; Micaela Serra (PDPTA, 2000)

Semi-formal Bounded Model Checking. - Jesse D. Bingham; Alan J. Hu (CAV, 2002)

Toward a decidable notion of sequential consistency. - Jesse D. Bingham; Anne Condon; Alan J. Hu (SPAA, 2003)

Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. - Jesse D. Bingham; Anne Condon; Alan J. Hu; Shaz Qadeer; Zhichuan Zhang (CAV, 2004)

A New Approach to Upward-Closed Set Backward Reachability Analysis. - Jesse D. Bingham (INFINITY, 2004)

Efficient SAT solving: beyond supercubes. - Domagoj Babic; Jesse D. Bingham; Alan J. Hu (DAC, 2005)

B-cubing theory: new possibilities for efficient SAT-solving. - Domagoj Babic; Jesse D. Bingham; Alan J. Hu (HLDVT, 2005)

Improving Multiple-CMP Systems Using Token Coherence. - Michael R. Marty; Jesse D. Bingham; Mark D. Hill; Alan J. Hu; Milo M. K. Martin; David A. Wood 001 (HPCA, 2005)

Empirically Efficient Verification for a Class of Infinite-State Systems. - Jesse D. Bingham; Alan J. Hu (TACAS, 2005)

A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. - Jesse D. Bingham; Zvonimir Rakamaric (VMCAI, 2006)

B-Cubing: New Possibilities for Efficient SAT-Solving. - Domagoj Babic; Jesse D. Bingham; Alan J. Hu (IEEE Trans. Computers, 2006)

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. - Zvonimir Rakamaric; Jesse D. Bingham; Alan J. Hu (VMCAI, 2007)

Hybrid one-dimensional reversible cellular automata are regular. - Jesse D. Bingham; Brad D. Bingham (Discret. Appl. Math., 2007)

Automatic Non-Interference Lemmas for Parameterized Model Checking. - Jesse D. Bingham (FMCAD, 2008)

Industrial strength refinement checking. - Jesse D. Bingham; John Erickson; Gaurav Singh; Flemming Andersen (FMCAD, 2009)

Parameterized verification of deadlock freedom in symmetric cache coherence protocols. - Brad D. Bingham; Mark R. Greenstreet; Jesse D. Bingham (FMCAD, 2011)

Distributed Explicit State Model Checking of Deadlock Freedom. - Brad D. Bingham; Jesse D. Bingham; John Erickson; Mark R. Greenstreet (CAV, 2013)

PVCoherence: Designing Flat Coherence Protocols for Scalable Verification. - Meng Zhang 017; Jesse D. Bingham; John Erickson; Daniel J. Sorin (IEEE Micro, 2015)

Verifiable hierarchical protocols with network invariants on parametric systems. - Opeoluwa Matthews; Jesse D. Bingham; Daniel J. Sorin (FMCAD, 2016)