Nicolas Halbwachs

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 Nicolas Halbwachs trusts

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

  1. Gordon D. Plotkin (in Artificial Intelligence)

Papers from Nicolas Halbwachs's perspective

Ordered by how strongly the researchers Nicolas Halbwachs 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. On hardware-in-the-loop simulation (Proceedings of the 44th IEEE Conference on Decision and Control)
  10. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION

Their papers