Paul Le Guernic
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 Le Guernic trusts
Their strongest outbound trust, strongest first, inferred from their citations.
- Gordon D. Plotkin (in Artificial Intelligence)
Papers from Paul Le Guernic's perspective
Ordered by how strongly the researchers Paul Le Guernic trusts endorse each paper. Same corpus, a different order for every researcher.
- A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
- The unified modeling language reference manual
- Giotto: a time-triggered language for embedded programming (Proceedings of the IEEE)
- Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems (International Journal in Computer Simulation)
- The foundations of Esterel (Proof, Language, and Interaction)
- Algebraic Operations and Generic Effects (Applied Categorical Structures)
- Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
- BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
- Interface Theories for Component-Based Design (International Conference on Embedded Software)
- Distributed Algorithms
Their papers
- The synchronous languages 12 years later (2003) — 988 citations