BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Neil Immerman
SearchCollections
Map detail
Neil Immerman9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNeil ImmermanANeil ImmermanResearcherComplexity and Information in Invariant InferenceWComplexity and Informat...preprint / 2020Structure Theorem and Strict Alternation Hierarchy for FO^2 on WordsWStructure Theorem and S...preprint / 2009Simulating reachability using first-order logic with applications to verification of linked data structuresWSimulating reachability...preprint / 2009McColm conjectureWMcColm conjecturepreprint / 1994New Results for the Complexity of Resilience for Binary Conjunctive Queries with Self-JoinsWNew Results for the Com...preprint / 2020The Complexity of Decentralized Control of Markov Decision ProcessesWThe Complexity of Decen...preprint / 2013A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive QueriesWA Characterization of t...preprint / 2015First-Order and Temporal Logics for Nested WordsWFirst-Order and Tempora...preprint / 2011
Person8 links

Neil Immerman

Researcher

PaperComplexity and Information in Invariant InferenceAuthorship / preprint / 2020PaperStructure Theorem and Strict Alternation Hierarchy for FO^2 on WordsAuthorship / preprint / 2009PaperSimulating reachability using first-order logic with applications to verification of linked data structuresAuthorship / preprint / 2009PaperMcColm conjectureAuthorship / preprint / 1994PaperNew Results for the Complexity of Resilience for Binary Conjunctive Queries with Self-JoinsAuthorship / preprint / 2020PaperThe Complexity of Decentralized Control of Markov Decision ProcessesAuthorship / preprint / 2013PaperA Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive QueriesAuthorship / preprint / 2015PaperFirst-Order and Temporal Logics for Nested WordsAuthorship / preprint / 2011

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)