`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: Dawar:Anuj

### Facilitated 1 volumes:

### Contributed to:

### 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.
- LICS-2007-DawarGK
- 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.
- CSL-2016-CoquandD
- The Ackermann Award 2016 (TC, AD), p. 4.
- CSL-2017-DawarL
- 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.