André DeHon

Electrical and Electronic Engineering · 2000–2011

A researcher in the Science corpus: 4 papers; trusts 6 researchers and is trusted by 6 researchers here, as inferred from the citation graph.

Subfields

Whom André DeHon trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Xavier Leroy
  2. Yi Cui
  3. A. Myers
  4. M. Gudiksen
  5. Charles M. Lieber
  6. Gerwin Klein
  7. Lincoln J. Lauhon
  8. Mihai Budiu
  9. Xiangfeng Duan

Who trusts André DeHon overall

  1. Wei Dang Lu
  2. Charles M. Lieber
  3. Ping Xie
  4. Scott Hauck
  5. Stuart J. Russell
  6. G. Snider
  7. M. Hernández-Vélez
  8. Gerwin Klein

Papers from André DeHon's perspective

Ordered by how strongly the researchers André DeHon trusts endorse each paper. Same corpus, a different order for every researcher.

  1. seL4: Formal Verification of an OS Kernel
  2. seL4: formal verification of an OS kernel
  3. Formal verification of a realistic compiler
  4. Protecting privacy using the decentralized label model (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])
  5. The protection of information in computer systems
  6. Quantum information and computation (Nature)
  7. Submicrometer metallic barcodes. (Science)
  8. Room-Temperature Negative Differential Resistance in Nanoscale Molecular Junctions
  9. Growth of nanowire superlattice structures for nanoscale photonics and electronics (Nature)
  10. MoS2 nanoparticles grown on graphene: an advanced catalyst for the hydrogen evolution reaction. (Journal of the American Chemical Society)

Their papers