Einar Broch Johnsen

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 Einar Broch Johnsen trusts overall

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

  1. Benjamin C. Pierce
  2. Atsushi Igarashi
  3. Gordon D. Plotkin

Who trusts Einar Broch Johnsen overall

  1. Thomas Thüm

Papers from Einar Broch Johnsen's perspective

Ordered by how strongly the researchers Einar Broch Johnsen 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. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  3. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  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. High Integrity Software - The SPARK Approach to Safety and Security
  10. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)

Their papers