Jeroen Ketema

2006

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 Jeroen Ketema trusts overall

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

  1. Jan J. M. M. Rutten
  2. Martijn Oostdijk

Papers from Jeroen Ketema's perspective

Ordered by how strongly the researchers Jeroen Ketema 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. Abstract syntax and variable binding
  3. A New Approach to Abstract Syntax with Variable Binding (Formal Aspects of Computing)
  4. Computer-attack graph generation tool (Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01)
  5. Secrets and Lies: Digital Security in a Networked World
  6. Secrets and Lies: Digital Security in a Networked World
  7. Bisimulation through Probabilistic Testing
  8. A spatial logic for concurrency (part I) (Information and Computation)

Their papers