Rafal Kolanski

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 Rafal Kolanski trusts overall

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

  1. Xavier Leroy

Papers from Rafal Kolanski's perspective

Ordered by how strongly the researchers Rafal Kolanski 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. Z3: An Efficient SMT Solver
  4. The protection of information in computer systems
  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