Jesse D. Bingham

	2009
14		Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen: Industrial strength refinement checking. FMCAD 2009: 180-183
	2008
13		Jesse D. Bingham: Automatic Non-Interference Lemmas for Parameterized Model Checking. FMCAD 2008: 1-8
	2007
12		Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu: An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. VMCAI 2007: 106-121
11		Jesse D. Bingham, Brad Bingham: Hybrid one-dimensional reversible cellular automata are regular. Discrete Applied Mathematics 155(18): 2555-2566 (2007)
	2006
10		Jesse D. Bingham, Zvonimir Rakamaric: A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. VMCAI 2006: 207-221
9		Domagoj Babic, Jesse D. Bingham, Alan J. Hu: B-Cubing: New Possibilities for Efficient SAT-Solving. IEEE Trans. Computers 55(11): 1315-1324 (2006)
	2005
8		Domagoj Babic, Jesse D. Bingham, Alan J. Hu: Efficient SAT solving: beyond supercubes. DAC 2005: 744-749
7		Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood: Improving Multiple-CMP Systems Using Token Coherence. HPCA 2005: 328-339
6		Jesse D. Bingham, Alan J. Hu: Empirically Efficient Verification for a Class of Infinite-State Systems. TACAS 2005: 77-92
5		Jesse D. Bingham: A New Approach to Upward-Closed Set Backward Reachability Analysis. Electr. Notes Theor. Comput. Sci. 138(3): 37-48 (2005)
	2004
4		Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang: Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. CAV 2004: 427-439
	2003
3		Jesse D. Bingham, Anne Condon, Alan J. Hu: Toward a decidable notion of sequential consistency. SPAA 2003: 304-313
	2002
2		Jesse D. Bingham, Alan J. Hu: Semi-formal Bounded Model Checking. CAV 2002: 280-294
	2000
1		Jesse D. Bingham, Micaela Serra: Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings. PDPTA 2000

Coauthor Index

1	Flemming Andersen	[14]
2	Domagoj Babic	[8] [9]
3	Brad Bingham	[11]
4	Anne Condon	[3] [4]
5	John Erickson	[14]
6	Mark D. Hill	[7]
7	Alan J. Hu	[2] [3] [4] [6] [7] [8] [9] [12]
8	Milo M. K. Martin	[7]
9	Michael R. Marty	[7]
10	Shaz Qadeer	[4]
11	Zvonimir Rakamaric	[10] [12]
12	Micaela Serra	[1]
13	Gaurav Singh	[14]
14	David A. Wood	[7]
15	Zhichuan Zhang	[4]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page