Jos C. M. Baeten

Artificial Intelligence · 2005

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

Subfields

Whom Jos C. M. Baeten trusts overall

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

  1. Gordon D. Plotkin
  2. Robin Milner

Who trusts Jos C. M. Baeten overall

  1. Alexandre Mouradian
  2. Jose D. Fernández
  3. Sabrina Sicari
  4. William S. Hlavacek

Papers from Jos C. M. Baeten's perspective

Ordered by how strongly the researchers Jos C. M. Baeten trusts endorse each paper. Same corpus, a different order for every researcher.

  1. CHAPTER 1 – The Linear Time - Branching Time Spectrum I.* The Semantics of Concrete, Sequential Processes
  2. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra (Pacific Symposium on Biocomputing)
  3. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  4. Algebraic Operations and Generic Effects (Applied Categorical Structures)
  5. Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
  6. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
  7. Experiences of developing and deploying a context-aware tourist guide: the GUIDE project (ACM/IEEE International Conference on Mobile Computing and Networking)
  8. The π-Calculus: A theory of mobile processes (Scalable Computing : Practice and Experience)
  9. Pict: a programming language based on the Pi-Calculus (Proof, Language, and Interaction)
  10. Introduction to Automata Theory, Languages and Computation

Their papers