Thomas Sewell

Artificial Intelligence · 2009–2014

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

Subfields

Whom Thomas Sewell trusts overall

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

  1. Xavier Leroy

Papers from Thomas Sewell's perspective

Ordered by how strongly the researchers Thomas Sewell 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. The protection of information in computer systems
  4. Z3: An Efficient SMT Solver
  5. Software Verification with BLAST (SPIN)
  6. Language support for fast and reliable message-based communication in singularity OS (European Conference on Computer Systems)
  7. Preliminary design of the SAFE platform
  8. The worst-case execution-time problem—overview of methods and survey of tools (TECS)
  9. seL4: formal verification of an operating-system kernel (Communications of the ACM)
  10. Making information flow explicit in HiStar (USENIX Symposium on Operating Systems Design and Implementation)

Their papers