Martin Steffen

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 Martin Steffen trusts

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

  1. Benjamin C. Pierce (in Artificial Intelligence)

Papers from Martin Steffen's perspective

Ordered by how strongly the researchers Martin Steffen 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. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
  5. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  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