Stanislas Nanchen

Journal of universal computer science (Online) · 2001

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

Whom Stanislas Nanchen trusts overall

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

  1. Bernhard Beckert
  2. Robert F. Stärk

Papers from Stanislas Nanchen's perspective

Ordered by how strongly the researchers Stanislas Nanchen 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