Ian David Bede Stark

Computational Theory and Mathematics · 2005–2008

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

Subfields

Whom Ian David Bede Stark trusts overall

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

  1. Gordon D. Plotkin
  2. Murdoch James Gabbay
  3. John Power
  4. Andrew M. Pitts
  5. Andreas Wagner
  6. Aviv Regev
  7. Marcelo P. Fiore
  8. Hiroaki Kitano
  9. William Silverman

Papers from Ian David Bede Stark's perspective

Ordered by how strongly the researchers Ian David Bede Stark trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
  2. A New Approach to Abstract Syntax with Variable Binding (Formal Aspects of Computing)
  3. Abstract syntax and variable binding
  4. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  5. Algebraic Operations and Generic Effects (Applied Categorical Structures)
  6. Application of a stochastic name-passing calculus to representation and simulation of molecular processes (Information Processing Letters)
  7. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra (Pacific Symposium on Biocomputing)
  8. Communicating and Mobile Systems: the π-calculus,
  9. Robustness and Evolvability in Living Systems
  10. BioAmbients: an abstraction for biological compartments (Theoretical Computer Science)

Their papers