Neil Immerman

Identifiers

• name variant Neil Immerman 0.60 · backfill

Papers (6)

1. The $k$-Dimensional Weisfeiler-Leman Algorithm cs.CC · 2019 · author #1
2. A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive Queries cs.DB · 2015 · author #3
3. The Complexity of Decentralized Control of Markov Decision Processes cs.AI · 2013 · author #3
4. Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words cs.LO · 2009 · author #2
5. Simulating reachability using first-order logic with applications to verification of linked data structures cs.LO · 2009 · author #2
6. McColm conjecture math.LO · 1994 · author #2

Mentions

• 0907.0616 #2 · backfill · confidence 0.70 Neil Immerman
• 0904.4902 #2 · backfill · confidence 0.70 Neil Immerman

Frequent Coauthors

• Alexandra Meliou 1 shared papers
• Cibele Freire 1 shared papers
• Daniel S Bernstein 1 shared papers
• Greta Yorsh 1 shared papers
• Mooly Sagiv 1 shared papers
• Philipp Weis 1 shared papers
• Rik Sengupta 1 shared papers
• Saharon Shelah 1 shared papers
• Shlomo Zilberstein 1 shared papers
• Siddharth Srivastava 1 shared papers
• Tal Lev-Ami 1 shared papers
• Thomas Reps 1 shared papers
• Wolfgang Gatterbauer 1 shared papers
• Yuri Gurevich 1 shared papers