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.

Anuj Dawar
SearchCollections
Map detail
Anuj Dawar13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAnuj DawarAAnuj DawarResearcherLovász-Type Theorems and Game ComonadsWLovász-Type Theorems an...preprint / 2021Symmetric Circuits for Rank LogicWSymmetric Circuits for ...preprint / 2020Pebble games with algebraic rulesWPebble games with algeb...preprint / 2012A Definability Dichotomy for Finite Valued CSPsWA Definability Dichotom...preprint / 2015Definability of linear equation systems over groups and ringsWDefinability of linear ...preprint / 2013Descriptive complexity of graph spectraWDescriptive complexity ...preprint / 2016Lasserre Lower Bounds and Definability of Semidefinite ProgrammingWLasserre Lower Bounds a...preprint / 2016Relativization of Gurevich's ConjecturesWRelativization of Gurev...preprint / 2020Maximum Matching and Linear Programming in Fixed-Point Logic with CountingWMaximum Matching and Li...preprint / 2013On Symmetric Circuits and Fixed-Point LogicsWOn Symmetric Circuits a...preprint / 2014On the dynamic width of the 3-colorability problemWOn the dynamic width of...preprint / 2014Graph Isomorphism Parameterized by Elimination Distance to Bounded DegreeWGraph Isomorphism Param...preprint / 2014
Person12 links

Anuj Dawar

Researcher

PaperLovász-Type Theorems and Game ComonadsAuthorship / preprint / 2021PaperSymmetric Circuits for Rank LogicAuthorship / preprint / 2020PaperPebble games with algebraic rulesAuthorship / preprint / 2012PaperA Definability Dichotomy for Finite Valued CSPsAuthorship / preprint / 2015PaperDefinability of linear equation systems over groups and ringsAuthorship / preprint / 2013PaperDescriptive complexity of graph spectraAuthorship / preprint / 2016PaperLasserre Lower Bounds and Definability of Semidefinite ProgrammingAuthorship / preprint / 2016PaperRelativization of Gurevich's ConjecturesAuthorship / preprint / 2020

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)