BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Finland
1 × Germany
1 × Hungary
1 × Iceland
1 × Italy
1 × Portugal
1 × Switzerland
2 × Poland
2 × United Kingdom
4 × France
6 × USA
Collaborated with:
A.Atserias S.Kreutzer E.Grädel M.Grohe B.Holm L.Hella D.Richerby P.G.Kolaitis P.Wang T.Antonopoulos N.Schweikardt M.Otto T.Coquand D.Leivant G.Wilsenach M.Anderson A.A.Bulatov A.Seth B.Laubner E.Kopczynski W.Pakusa
Talks about:
logic (10) finit (6) defin (5) quantifi (4) point (4) fix (4) symmetr (3) general (3) order (3) model (3)

Person: Anuj Dawar

DBLP DBLP: Dawar:Anuj

Facilitated 1 volumes:

CSL 2010Ed

Contributed to:

CSL 20152015
LICS 20132013
CSL 20122012
ICALP (2) 20122012
FOSSACS 20092009
LICS 20092009
CSL 20082008
ICALP (2) 20082008
CSL 20072007
ICALP 20072007
LICS 20072007
LICS 20062006
ICALP 20052005
LICS 20052005
ICALP 20042004
PODS 20042004
CSL 20032003
CSL 20012001
LICS 19981998
ICALP 19951995
LICS 19951995
LICS 19941994
CSL 20162016
CSL 20172017
CSL 20182018
CSL 20202020

Wrote 30 papers:

CSL-2015-DawarW #finite
A Definability Dichotomy for Finite Valued CSPs (AD, PW), pp. 60–77.
LICS-2013-AndersonDH #fixpoint #linear #logic #programming
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.
CSL-2012-DawarGHKP #equation #linear
Definability of linear equation systems over groups and rings (AD, EG, BH, EK, WP), pp. 213–227.
ICALP-v2-2012-AtseriasD #approximate #bound #quantifier
Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers (AA, AD), pp. 67–78.
ICALP-v2-2012-DawarH #algebra #game studies
Pebble Games with Algebraic Rules (AD, BH), pp. 251–262.
FoSSaCS-2009-AntonopoulosD #graph #logic
Separating Graph Logic from MSO (TA, AD), pp. 63–77.
LICS-2009-DawarGHL #logic #rank
Logics with Rank Operators (AD, MG, BH, BL), pp. 113–122.
CSL-2008-DawarG #complexity #game studies
The Descriptive Complexity of Parity Games (AD, EG), pp. 354–368.
ICALP-B-2008-DawarK #datalog #on the
On Datalog vs. LFP (AD, SK), pp. 160–171.
CSL-2007-Dawar #automaton #first-order #locality #logic #model checking
Model-Checking First-Order Logic: Automata and Locality (AD), p. 6.
CSL-2007-DawarR #finite #logic #power of #strict
The Power of Counting Logics on Restricted Classes of Finite Structures (AD, DR), pp. 84–98.
ICALP-2007-AtseriasBD07a #equation #logic
Affine Systems of Equations and Counting Infinitary Logic (AA, AAB, AD), pp. 558–570.
ICALP-2007-DawarGKS #scalability
Model Theory Makes Formulas Large (AD, MG, SK, NS), pp. 913–924.
Locally Excluding a Minor (AD, MG, SK), pp. 270–279.
LICS-2006-DawarGKS #approximate #first-order #optimisation #problem
Approximation Schemes for First-Order Definable Optimisation Problems (AD, MG, SK, NS), pp. 411–420.
ICALP-2005-AtseriasDG #finite
Preservation Under Extensions on Well-Behaved Finite Structures (AA, AD, MG), pp. 1437–1449.
LICS-2005-DawarO #theorem
Modal Characterisation Theorems over Special Classes of Frames (AD, MO), pp. 21–30.
ICALP-2004-DawarGK #backtracking #fixpoint #game studies
Backtracking Games and Inflationary Fixed Points (AD, EG, SK), pp. 420–432.
PODS-2004-AtseriasDK #morphism #on the #query
On Preservation under Homomorphisms and Unions of Conjunctive Queries (AA, AD, PGK), pp. 319–329.
CSL-2003-DawarR #fixpoint #logic #symmetry
A Fixed-Point Logic with Symmetric Choice (AD, DR), pp. 169–182.
CSL-2001-DawarGK #fixpoint #logic
Inflationary Fixed Points in Modal Logic (AD, EG, SK), pp. 277–291.
LICS-1998-DawarHS #finite #quantifier
Ordering Finite Variable Types with Generalized Quantifiers (AD, LH, AS), pp. 28–43.
ICALP-1995-DawarHK #finite #logic
Implicit Definability and Infinitary Logic in Finite Model Theory (AD, LH, PGK), pp. 624–635.
LICS-1995-DawarG #quantifier
Generalized Quantifiers and 0-1 Laws (AD, EG), pp. 54–64.
LICS-1994-DawarH #power of #quantifier
The Expressive Power of Finitely Many Generalized Quantifiers (AD, LH), pp. 20–29.
The Ackermann Award 2016 (TC, AD), p. 4.
The Ackermann Award 2017 (AD, DL), p. 4.
CSL-2018-AtseriasD #challenge
Definable Inapproximability: New Challenges for Duplicator (AA, AD), p. 21.
CSL-2018-DawarW #logic #rank #symmetry
Symmetric Circuits for Rank Logic (AD, GW), p. 16.
CSL-2020-Dawar #symmetry
Symmetric Computation (Invited Talk) (AD), p. 12.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.