Paul Caspi

Proceedings of the IEEE · 2003

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

Whom Paul Caspi trusts overall

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

  1. Gordon D. Plotkin

Papers from Paul Caspi's perspective

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

  1. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  2. The unified modeling language reference manual
  3. Giotto: a time-triggered language for embedded programming (Proceedings of the IEEE)
  4. Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems (International Journal in Computer Simulation)
  5. The foundations of Esterel (Proof, Language, and Interaction)
  6. Algebraic Operations and Generic Effects (Applied Categorical Structures)
  7. Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
  8. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
  9. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  10. Interface Theories for Component-Based Design (International Conference on Embedded Software)

Their papers