Anuj Dawar

Cited by

	All	Since 2019
Citations	3281	1128
h-index	34	19
i10-index	67	39

280

140

210

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 59 28 65 46 54 27 34 33 26 36 36 35 135 108 112 122 98 144 124 121 131 128 209 130 157 165 179 185 265 176

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stephan KreutzerProfessor of Computer Science, Technical University BerlinVerified email at tu-berlin.de
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Albert AtseriasUniversitat Politècnica de Catalunya, BarcelonaVerified email at cs.upc.edu
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Paul HunterUniversity of New South WalesVerified email at unsw.edu.au
Bjarki HolmPostdoctoral Research Associate, University of CambridgeVerified email at cl.cam.ac.uk
Lauri HellaMatematiikan professori, Tampereen yliopistoVerified email at uta.fi
Phokion KolaitisDistinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM ResearchVerified email at ucsc.edu
David RicherbyUniversity of EssexVerified email at essex.ac.uk
Eryk Kopczyńskiassistant professor, University of WarsawVerified email at mimuw.edu.pl
Dietmar BerwangerCNRS, Université Paris-Saclay, FranceVerified email at lmf.cnrs.fr
Andrei BulatovSimon Fraser UniversityVerified email at sfu.ca
Giorgio GhelliVerified email at di.unipi.it
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Laszlo BabaiUniversity of ChicagoVerified email at cs.uchicago.edu
Nicole SchweikardtProfessor of Computer Science, Humboldt-University BerlinVerified email at informatik.hu-berlin.de
Octavio ZapataUniversidad Nacional Autónoma de MéxicoVerified email at ciencias.unam.mx
Wied PakusaHochschule des Bundes für Öffentliche Verwaltung BrühlVerified email at hsbund.de
Jannis BulianGoogle DeepMindVerified email at cl.cam.ac.uk

Anuj Dawar

University of Cambridge

Verified email at cl.cam.ac.uk - Homepage

Logic Complexity Theory Finite Model Theory Descriptive Complexity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
DAG-width and parity games D Berwanger, A Dawar, P Hunter, S Kreutzer STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006	169	2006
Locally excluding a minor A Dawar, M Grohe, S Kreutzer 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 270-279, 2007	159	2007
Infinitary logic and inductive definability over finite structures A Dawar, S Lindell, S Weinstein Information and Computation 119 (2), 160-175, 1995	138	1995
Affine systems of equations and counting infinitary logic A Atserias, A Bulatov, A Dawar Theoretical Computer Science 410 (18), 1666-1683, 2009	130	2009
The dag-width of directed graphs D Berwanger, A Dawar, P Hunter, S Kreutzer, J Obdržálek Journal of Combinatorial Theory, Series B 102 (4), 900-923, 2012	115	2012
Modal characterisation theorems over special classes of frames A Dawar, M Otto Annals of Pure and Applied Logic 161 (1), 1-42, 2009	112	2009
Feasible computation through model theory A Dawar University of Pennsylvania, 1993	100	1993
On preservation under homomorphisms and unions of conjunctive queries A Atserias, A Dawar, PG Kolaitis Journal of the ACM (JACM) 53 (2), 208-237, 2006	93	2006
A restricted second order logic for finite structures A Dawar Information and Computation 143 (2), 154-174, 1998	90	1998
The pebbling comonad in finite model theory S Abramsky, A Dawar, P Wang 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017	89	2017
Generalized quantifiers and logical reducibilities A Dawar Journal of Logic and Computation 5 (2), 213-226, 1995	83	1995
Domination problems in nowhere-dense classes of graphs A Dawar, S Kreutzer arXiv preprint arXiv:0907.4283, 2009	79	2009
Logics with rank operators A Dawar, M Grohe, B Holm, B Laubner 2009 24th Annual IEEE Symposium on Logic In Computer Science, 113-122, 2009	75	2009
Model theory makes formulas large A Dawar, M Grohe, S Kreutzer, N Schweikardt Automata, Languages and Programming: 34th International Colloquium, ICALP …, 2007	69	2007
Inflationary fixed points in modal logic A Dawar, E Grädel, S Kreutzer ACM Transactions on Computational Logic (TOCL) 5 (2), 282-315, 2004	62	2004
Fixed point logics A Dawar, Y Gurevich Bulletin of Symbolic Logic 8 (1), 65-88, 2002	62	2002
Expressiveness and complexity of graph logic A Dawar, P Gardner, G Ghelli Information and Computation 205 (3), 263-310, 2007	60	2007
Approximation schemes for first-order definable optimisation problems A Dawar, M Grohe, S Kreutzer, N Schweikardt 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 411-420, 2006	59	2006
Quantum computing A Dawar Np, nd Web 24, 2012	56	2012
Complexity bounds for regular games P Hunter, A Dawar International Symposium on Mathematical Foundations of Computer Science, 495-506, 2005	56	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors