Jan Schäfer

Artificial Intelligence · 2010

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

Subfields

Whom Jan Schäfer trusts

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

  1. Benjamin C. Pierce (in Artificial Intelligence)

Papers from Jan Schäfer's perspective

Ordered by how strongly the researchers Jan Schäfer trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
  2. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  3. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  4. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  5. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
  6. Domain-specific language design requires feature descriptions
  7. Communicating and Mobile Systems: the π-calculus,
  8. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
  9. Z3: An Efficient SMT Solver
  10. MetaML and multi-stage programming with explicit annotations (Theoretical Computer Science)

Their papers