Christian Urban

Journal of automated reasoning · 2005

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

Whom Christian Urban trusts overall

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

  1. Murdoch James Gabbay
  2. Andrew M. Pitts

Who trusts Christian Urban overall

  1. M. Wenzel
  2. John Harrison

Papers from Christian Urban's perspective

Ordered by how strongly the researchers Christian Urban 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. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
  4. Abstract syntax and variable binding
  5. A spatial logic for concurrency (part I) (Information and Computation)
  6. The verifying compiler: A grand challenge for computing research (JACM)
  7. HOL Light: A Tutorial Introduction
  8. Foundational proof-carrying code (Proceedings 16th Annual IEEE Symposium on Logic in Computer Science)
  9. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  10. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)

Their papers