Marco De Grandis

Theory and Applications of Categories · 2001–2019

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

Whom Marco De Grandis trusts overall

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

  1. Bart P. F. Jacobs
  2. Jon P. May

Who trusts Marco De Grandis overall

  1. Martin Brandenburg
  2. J. Woolf
  3. Carlos Simpson
  4. Alex Kumjian

Papers from Marco De Grandis's perspective

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

  1. Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
  2. Multiple Categories: The Equivalence of a Globular and a Cubical Approach
  3. Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
  4. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  5. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  6. Simplify: a theorem prover for program checking (JACM)
  7. SmartPrivacy for the Smart Grid: embedding privacy into the design of electricity conservation
  8. Permission accounting in separation logic (ACM-SIGACT Symposium on Principles of Programming Languages)
  9. A Local Shape Analysis Based on Separation Logic (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  10. Model Categories of Diagram Spectra (Proceedings of the London Mathematical Society)

Their papers