Albert Visser

2002–2015

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

Whom Albert Visser trusts overall

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

  1. Bart P. F. Jacobs

Papers from Albert Visser's perspective

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

  1. Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
  2. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  3. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  4. Simplify: a theorem prover for program checking (JACM)
  5. SmartPrivacy for the Smart Grid: embedding privacy into the design of electricity conservation
  6. Permission accounting in separation logic (ACM-SIGACT Symposium on Principles of Programming Languages)
  7. A Local Shape Analysis Based on Separation Logic (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  8. The Nature of Statistical Learning Theory, Second Edition (Statistics for Engineering and Information Science)
  9. Coherence in Thought and Action
  10. Judgment under uncertainty: Frontmatter

Their papers