BibSLEIGH — Anuj

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:

2015

2013

2012

2009

2008

2007

2006

2005

2004

2003

2001

1998

1995

1994

2016

2017

2018

2020

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.