Stephen Anthony Edwards

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 Stephen Anthony Edwards trusts overall

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

  1. Gordon D. Plotkin

Papers from Stephen Anthony Edwards's perspective

Ordered by how strongly the researchers Stephen Anthony Edwards 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