M. Wenzel

Artificial Intelligence · with Nipkow · 2002–2008

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

Subfields

Whom M. Wenzel trusts overall

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

  1. A. Oxley
  2. Hubert Garavel
  3. Christian Urban
  4. Lawrence Charles Paulson
  5. Tobias Nipkow
  6. Donald Ervin Knuth
  7. Gerwin Klein

Who trusts M. Wenzel overall

  1. Sean Welleck
  2. Kshitij Bansal
  3. The mathlib Community
  4. Yuhuai Wu
  5. Zhihong Shao
  6. Gerwin Klein
  7. Christian Szegedy
  8. Rahul Saha
  9. Michael Färber
  10. Aitor Lewkowycz

Papers from M. Wenzel's perspective

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

  1. Logic in Computer Science: Modelling and Reasoning about Systems
  2. Discrete Mathematics and its applications
  3. Nominal Techniques in Isabelle/HOL (Journal of automated reasoning)
  4. Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
  5. Isabelle: The Next 700 Theorem Provers (arXiv.org)
  6. The Art of Computer Programming: Volume 3: Sorting and Searching
  7. A machine-checked model for a Java-like language, virtual machine, and compiler (TOPL)
  8. Isabelle/HOL: A Proof Assistant for Higher-Order Logic
  9. Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
  10. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

Their papers