Rudolf Schlatte

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 Rudolf Schlatte trusts

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

  1. Benjamin C. Pierce (in Artificial Intelligence)

Papers from Rudolf Schlatte's perspective

Ordered by how strongly the researchers Rudolf Schlatte 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. MetaML and multi-stage programming with explicit annotations (Theoretical Computer Science)
  10. BotHunter: Detecting Malware Infection Through IDS-Driven Dialog Correlation (USENIX Security Symposium)

Their papers