Jean-Louis Krivine

Molecular Biology · 2004–2009

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

Subfields

Whom Jean-Louis Krivine trusts overall

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

  1. Aviv Regev
  2. Vincent Danos
  3. William Silverman
  4. Ehud Y. Shapiro
  5. Robin Milner

Who trusts Jean-Louis Krivine overall

  1. Vincent Danos

Papers from Jean-Louis Krivine's perspective

Ordered by how strongly the researchers Jean-Louis Krivine trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Communicating and Mobile Systems: the π-calculus,
  2. Bigraphical Reactive Systems (International Conference on Concurrency Theory)
  3. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors (Nature Biotechnology)
  4. A survey of rollback-recovery protocols in message-passing systems (CSUR)
  5. Reversible Communicating Systems (International Conference on Concurrency Theory)
  6. Pict: a programming language based on the Pi-Calculus (Proof, Language, and Interaction)
  7. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra (Pacific Symposium on Biocomputing)
  8. Application of a stochastic name-passing calculus to representation and simulation of molecular processes (Information Processing Letters)
  9. BIND: the Biomolecular Interaction Network Database (Nucleic Acids Res.)
  10. Central nervous system control of food intake (Nature)

Their papers