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

Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds. - Brad D. Bingham; Mark R. Greenstreet (ISPA, 2008)

Energy Optimal Scheduling on Multiprocessors with Migration. - Brad D. Bingham; Mark R. Greenstreet (ISPA, 2008)

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

Modeling Energy-Time Trade-Offs in VLSI Computation. - Brad D. Bingham; Mark R. Greenstreet (IEEE Trans. Computers, 2012)

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

Response property checking via distributed state space exploration. - Brad D. Bingham; Mark R. Greenstreet (FMCAD, 2014)