Jesse D. Bingham Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham: Parameterized verification of deadlock freedom in symmetric cache coherence protocols. FMCAD 2011: 186-195
2009
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen: Industrial strength refinement checking. FMCAD 2009: 180-183
2008
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham: Automatic Non-Interference Lemmas for Parameterized Model Checking. FMCAD 2008: 1-8
2007
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham, Brad D. Bingham: Hybrid one-dimensional reversible cellular automata are regular. Discrete Applied Mathematics 155(18): 2555-2566 (2007)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domagoj Babic, Jesse D. Bingham, Alan J. Hu: B-Cubing: New Possibilities for Efficient SAT-Solving. IEEE Trans. Computers 55(11): 1315-1324 (2006)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham, Zvonimir Rakamaric: A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. VMCAI 2006: 207-221
2005
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham: A New Approach to Upward-Closed Set Backward Reachability Analysis. Electr. Notes Theor. Comput. Sci. 138(3): 37-48 (2005)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domagoj Babic, Jesse D. Bingham, Alan J. Hu: Efficient SAT solving: beyond supercubes. DAC 2005: 744-749
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Domagoj Babic, Jesse D. Bingham, Alan J. Hu: B-cubing theory: new possibilities for efficient SAT-solving. HLDVT 2005: 192-199
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham, Alan J. Hu: Empirically Efficient Verification for a Class of Infinite-State Systems. TACAS 2005: 77-92
2004
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham, Anne Condon, Alan J. Hu: Toward a decidable notion of sequential consistency. SPAA 2003: 304-313
2002
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham, Alan J. Hu: Semi-formal Bounded Model Checking. CAV 2002: 280-294
2000
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesse D. Bingham, Micaela Serra: Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings. PDPTA 2000

Coauthor Index

1Flemming Andersen
[c12]
2Domagoj Babic
[j2] [c8] [c7]
3Brad D. Bingham
[c13] [j3]
4Anne Condon
[c4] [c3]
5John Erickson
[c12]
6Mark R. Greenstreet
[c13]
7Mark D. Hill
[c6]
8Alan J. Hu
[c10] [j2] [c8] [c7] [c6] [c5] [c4] [c3] [c2]
9Milo M. K. Martin
[c6]
10Michael R. Marty
[c6]
11Shaz Qadeer
[c4]
12Zvonimir Rakamaric
[c10] [c9]
13Micaela Serra
[c1]
14Gaurav Singh
[c12]
15David A. Wood
[c6]
16Zhichuan Zhang
[c4]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 07:22:28 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page