Anuj Dawar

Cited by

	All	Since 2019
Citations	3343	1187
h-index	34	20
i10-index	69	41

280

140

210

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 59 28 65 46 54 27 34 33 26 36 36 35 135 108 112 123 98 144 124 121 131 128 209 130 157 158 173 180 266 251

Public access

View all

20 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
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.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	175	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	162	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	131	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	121	2012
Modal characterisation theorems over special classes of frames A Dawar, M Otto Annals of Pure and Applied Logic 161 (1), 1-42, 2009	115	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	97	2006
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	90	2017
A restricted second order logic for finite structures A Dawar Information and Computation 143 (2), 154-174, 1998	90	1998
Domination problems in nowhere-dense classes of graphs A Dawar, S Kreutzer arXiv preprint arXiv:0907.4283, 2009	83	2009
Generalized quantifiers and logical reducibilities A Dawar Journal of Logic and Computation 5 (2), 213-226, 1995	83	1995
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	70	2007
Fixed point logics A Dawar, Y Gurevich Bulletin of Symbolic Logic 8 (1), 65-88, 2002	64	2002
Inflationary fixed points in modal logic A Dawar, E Grädel, S Kreutzer ACM Transactions on Computational Logic (TOCL) 5 (2), 282-315, 2004	63	2004
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	60	2006
Complexity bounds for regular games P Hunter, A Dawar International Symposium on Mathematical Foundations of Computer Science, 495-506, 2005	59	2005
Quantum computing A Dawar Np, nd Web 24, 2012	56	2012

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