Kai Engelhardt

Artificial Intelligence · 2009–2010

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

Subfields

Whom Kai Engelhardt trusts

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

  1. Xavier Leroy (in Artificial Intelligence)

Papers from Kai Engelhardt's perspective

Ordered by how strongly the researchers Kai Engelhardt 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. Software Verification with BLAST (SPIN)
  4. The protection of information in computer systems
  5. Language support for fast and reliable message-based communication in singularity OS (European Conference on Computer Systems)
  6. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  7. Building the IBM 4758 Secure Coprocessor (Computer)
  8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  10. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers