Neil Immerman

Algorithms & Complexity · 1989–2011

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

Subfields

Whom Neil Immerman trusts overall

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

  1. Eugene M. Luks
  2. László Babai
  3. Andreas Podelski
  4. Blai Bonet
  5. Byron Cook
  6. Andrey Rybalchenko
  7. Thomas A. Henzinger
  8. Derek Gordon Corneil
  9. Peter J. Cameron

Who trusts Neil Immerman overall

  1. Christopher Morris
  2. Frans Adriaan Oliehoek
  3. Matthijs T. J. Spaan
  4. Zhengdao Chen
  5. Sandra Kiefer
  6. B. Douglas
  7. Keyulu Xu
  8. Hector Geffner
  9. Blai Bonet
  10. Martin Grohe

Papers from Neil Immerman's perspective

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

  1. Lazy abstraction
  2. Random Graph Isomorphism
  3. Planning with Incomplete Information as Heuristic Search in Belief Space (International Conference on Artificial Intelligence Planning Systems)
  4. Termination proofs for systems code (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Query Processing, Approximation, and Resource Management in a Data Stream Management System (Conference on Innovative Data Systems Research)
  6. TelegraphCQ: Continuous Dataflow Processing for an Uncertain World (Conference on Innovative Data Systems Research)
  7. A Complete Method for the Synthesis of Linear Ranking Functions (International Conference on Verification, Model Checking and Abstract Interpretation)
  8. I Computational Complexity
  9. Introduction to Automata Theory, Languages and Computation
  10. Scalable Distributed Stream Processing (Conference on Innovative Data Systems Research)

Their papers