Luís Caires

Artificial Intelligence · with Cardelli · 2003

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

Subfields

Whom Luís Caires trusts overall

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

  1. Murdoch James Gabbay
  2. Luca Cardelli
  3. Andrew M. Pitts
  4. A. Gordon
  5. John C. Reynolds

Who trusts Luís Caires overall

  1. Andrew M. Pitts
  2. Ethan Buchman

Papers from Luís Caires's perspective

Ordered by how strongly the researchers Luís Caires trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Nominal Logic: A First Order Theory of Names and Binding (Theoretical Aspects of Computer Software)
  2. A New Approach to Abstract Syntax with Variable Binding (Formal Aspects of Computing)
  3. Anytime, anywhere: modal logics for mobile ambients (ACM-SIGACT Symposium on Principles of Programming Languages)
  4. Separation logic: a logic for shared mutable data structures
  5. Communicating and Mobile Systems: the π-calculus,
  6. Abstract syntax and variable binding
  7. Sniffers, buzzers, toggles and blinkers: dynamics of regulatory and signaling pathways in the cell. (Current Opinion in Cell Biology)
  8. Scaling Up Digital Circuit Computation with DNA Strand Displacement Cascades (Science)
  9. The TRANSFAC system on gene expression regulation (Nucleic Acids Res.)
  10. Programming biomolecular self-assembly pathways (Nature)

Their papers