Tobias Nipkow

Artificial Intelligence · 2002–2015

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

Subfields

Whom Tobias Nipkow trusts overall

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

  1. A. Oxley
  2. Daniel Jackson
  3. Donald Ervin Knuth
  4. Emina Torlak
  5. Atsushi Igarashi
  6. Robert F. Stärk
  7. Hubert Garavel
  8. M. Wenzel

Who trusts Tobias Nipkow overall

  1. Xavier Leroy
  2. The mathlib Community
  3. Gerwin Klein
  4. Huashan Chen
  5. Tai D. Nguyen
  6. José Carlos Bacelar Almeida
  7. Haniel Barbosa
  8. M. Wenzel
  9. Marcus Pendleton
  10. Sean Welleck

Papers from Tobias Nipkow's perspective

Ordered by how strongly the researchers Tobias Nipkow trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  2. Java and the Java Virtual Machine: Definition, Verification, Validation
  3. seL4: formal verification of an OS kernel
  4. Logic in Computer Science: Modelling and Reasoning about Systems
  5. Discrete Mathematics and its applications
  6. Nominal Techniques in Isabelle/HOL (Journal of automated reasoning)
  7. Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
  8. Isabelle: The Next 700 Theorem Provers (arXiv.org)
  9. The Art of Computer Programming: Volume 3: Sorting and Searching
  10. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)

Their papers