Gerwin Klein

Artificial Intelligence · 2006–2014

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

Subfields

Whom Gerwin Klein trusts overall

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

  1. Xavier Leroy
  2. Thomas A. Henzinger
  3. Tobias Nipkow
  4. Robert F. Stärk
  5. Atsushi Igarashi
  6. Tal Garfinkel
  7. Manuel Fähndrich
  8. Leonardo de Moura
  9. Ranjit Jhala
  10. Arvind Seshadri

Who trusts Gerwin Klein overall

  1. Xavier Leroy
  2. John Harrison
  3. Andrew Baumann
  4. Gilles Barthe
  5. Stuart J. Russell
  6. Josef Urban
  7. Andrew Ferraiuolo
  8. Yuhuai Wu
  9. Rohit Sinha
  10. Kshitij Bansal

Papers from Gerwin Klein's perspective

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

  1. Terra: a virtual machine-based platform for trusted computing (Symposium on Operating Systems Principles)
  2. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  3. Java and the Java Virtual Machine: Definition, Verification, Validation
  4. The protection of information in computer systems
  5. Z3: An Efficient SMT Solver
  6. Language support for fast and reliable message-based communication in singularity OS (European Conference on Computer Systems)
  7. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
  8. Software Verification with BLAST (SPIN)
  9. Making information flow explicit in HiStar (USENIX Symposium on Operating Systems Design and Implementation)
  10. Preliminary design of the SAFE platform

Their papers