Bart P. F. Jacobs

Formal Methods for Components and Objects · 2001–2011

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

Whom Bart P. F. Jacobs trusts overall

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

  1. Dino Distefano
  2. Peter W. O'Hearn

Who trusts Bart P. F. Jacobs overall

  1. Michael Lambert
  2. Mark Weber
  3. Mitchell Buckley
  4. Maria Emilia Maietti
  5. Marco De Grandis
  6. Benjamin C. Pierce
  7. L. Mauri
  8. Giuseppe Rosolini
  9. Fengjun Li
  10. Emily Riehl

Papers from Bart P. F. Jacobs's perspective

Ordered by how strongly the researchers Bart P. F. Jacobs trusts endorse each paper. Same corpus, a different order for every researcher.

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. Permission accounting in separation logic (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  4. Simplify: a theorem prover for program checking (JACM)
  5. A Local Shape Analysis Based on Separation Logic (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  6. Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
  7. SmartPrivacy for the Smart Grid: embedding privacy into the design of electricity conservation
  8. Lazy abstraction
  9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. The ASTREÉ Analyzer

Their papers