Jan-David Quesel

Artificial Intelligence · 2008

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

Subfields

Whom Jan-David Quesel trusts overall

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

  1. André Platzer
  2. Bernhard Beckert

Who trusts Jan-David Quesel overall

  1. Jean-Baptiste Jeannin

Papers from Jan-David Quesel's perspective

Ordered by how strongly the researchers Jan-David Quesel trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Dynamic logic (SIGA)
  2. Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (The KeY Approach)
  3. PHAVer: algorithmic verification of hybrid systems past HyTech (International Journal on Software Tools for Technology Transfer (STTT))
  4. Differential Dynamic Logic for Hybrid Systems (Journal of automated reasoning)
  5. Model Checking
  6. Formal verification of distributed aircraft controllers
  7. Separation logic and abstraction (ACM-SIGACT Symposium on Principles of Programming Languages)
  8. The Java Language Specification, Java SE 8 Edition
  9. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  10. Dafny: An Automatic Program Verifier for Functional Correctness (Logic Programming and Automated Reasoning)

Their papers