Robert F. Stärk

Journal of universal computer science (Online) · 2001

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

Whom Robert F. Stärk trusts overall

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

  1. Bernhard Beckert
  2. Vladimir Klebanov
  3. Steffen Schlager

Who trusts Robert F. Stärk overall

  1. Gerwin Klein
  2. Tobias Nipkow
  3. Stanislas Nanchen

Papers from Robert F. Stärk's perspective

Ordered by how strongly the researchers Robert F. Stärk trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Dynamic logic (SIGA)
  2. Java and the Java Virtual Machine: Definition, Verification, Validation
  3. A logical calculus of the ideas immanent in nervous activity
  4. Separation logic and abstraction (ACM-SIGACT Symposium on Principles of Programming Languages)
  5. The Java Language Specification, Java SE 8 Edition
  6. Model Checking
  7. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  8. Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (The KeY Approach)
  9. Dafny: An Automatic Program Verifier for Functional Correctness (Logic Programming and Automated Reasoning)
  10. Axiomatic Basis for Computer Programming

Their papers