×
Compute Distance To:
Author ID: dawar.anuj Recent zbMATH articles by "Dawar, Anuj"
Published as: Dawar, Anuj; Dawar, A.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 348 times in 270 Documents Cited by Year
DAG-width and parity games. Zbl 1136.68447
Berwanger, Dietmar; Dawar, Anuj; Hunter, Paul; Kreutzer, Stephan
44
2006
Domination problems in nowhere-dense classes of graphs. Zbl 1248.68241
Dawar, Anuj; Kreutzer, Stephan
29
2009
Infinitary logic and inductive definability over finite structures. Zbl 0834.68029
Dawar, Anuj; Lindell, Steven; Weinstein, Scott
24
1995
The dag-width of directed graphs. Zbl 1246.05065
Berwanger, Dietmar; Dawar, Anuj; Hunter, Paul; Kreutzer, Stephan; Obdržálek, Jan
24
2012
Modal characterisation theorems over special classes of frames. Zbl 1185.03027
Dawar, Anuj; Otto, Martin
20
2009
A restricted second order logic for finite structures. Zbl 0909.68078
Dawar, Anuj
15
1998
Generalized quantifiers and logical reducibilities. Zbl 0815.03021
Dawar, Anuj
13
1995
On preservation under homomorphisms and unions of conjunctive queries. Zbl 1326.68117
Atserias, Albert; Dawar, Anuj; Kolaitis, Phokion G.
12
2006
Affine systems of equations and counting infinitary logic. Zbl 1168.68040
Atserias, Albert; Bulatov, Andrei; Dawar, Anuj
11
2009
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
10
2002
Finite model theory on tame classes of structures. Zbl 1147.03311
Dawar, Anuj
9
2007
Expressiveness and complexity of graph logic. Zbl 1114.03028
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio
8
2007
Homomorphism preservation on quasi-wide classes. Zbl 1206.68140
Dawar, Anuj
8
2010
Model theory makes formulas large. Zbl 1171.03324
Dawar, Anuj; Grohe, Martin; Kreutzer, Stephan; Schweikardt, Nicole
8
2007
Complexity bounds for regular games. Zbl 1156.68392
Hunter, Paul; Dawar, Anuj
8
2005
Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs. Zbl 1136.03024
Dawar, Anuj; Richerby, David; Rossman, Benjamin
8
2008
The descriptive complexity of parity games. Zbl 1157.68032
Dawar, Anuj; Grädel, Erich
7
2008
Inflationary fixed points in modal logic. Zbl 1407.03031
Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan
6
2004
Adjunct elimination through games in static ambient logic (extended abstract). Zbl 1117.03338
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio
6
2004
Separating graph logic from MSO. Zbl 1234.03022
Antonopoulos, Timos; Dawar, Anuj
4
2009
Preservation under extensions on well-behaved finite structures. Zbl 1169.03025
Atserias, Albert; Dawar, Anuj; Grohe, Martin
4
2008
Elementary properties of the finite ranks. Zbl 0904.03019
Dawar, Anuj; Doets, Kees; Lindell, Steven; Weinstein, Scott
4
1998
Affine systems of equations and counting infinitary logic. Zbl 1171.68721
Atserias, Albert; Bulatov, Andrei; Dawar, Anuj
4
2007
On tractable parameterizations of graph isomorphism. Zbl 1350.68130
Bouland, Adam; Dawar, Anuj; Kopczyński, Eryk
4
2012
Fixed-parameter tractable distances to sparse graph classes. Zbl 1379.68160
Bulian, Jannis; Dawar, Anuj
3
2017
The power of counting logics on restricted classes of finite structures. Zbl 1179.68061
Dawar, Anuj; Richerby, David
3
2007
Graph isomorphism parameterized by elimination distance to bounded degree. Zbl 1350.68132
Bulian, Jannis; Dawar, Anuj
3
2016
The expressive power of finitely many generalized quantifiers. Zbl 0849.68034
Dawar, Anuj; Hella, Lauri
3
1995
Implicit definability and infinitary logic in finite model theory (extended abstract). Zbl 1415.03041
Dawar, Anuj; Hella, Lauri; Kolaitis, Phokion G.
3
1995
How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Zbl 1243.68017
2
2012
Maximum matching and linear programming in fixed-point logic with counting. Zbl 1433.03069
Anderson, Matthew; Dawar, Anuj; Holm, Bjarki
2
2013
Properties of almost all graphs and generalized quantifiers. Zbl 1197.03037
Dawar, Anuj; Grädel, Erich
2
2010
Types and indiscernibles in finite models. Zbl 0899.03023
Dawar, Anuj
2
1998
Fixed-point logics with nondeterministic choice. Zbl 1045.03033
Dawar, Anuj; Richerby, David
2
2003
Descriptive complexity of graph spectra. Zbl 1430.68118
Dawar, Anuj; Severini, Simone; Zapata, Octavio
2
2016
On the bisimulation invariant fragment of monadic \(\Sigma_{1}\) in the finite. Zbl 1117.03339
Dawar, Anuj; Janin, David
2
2004
Preservation under extensions on well-behaved finite structures. Zbl 1081.03025
Atserias, Albert; Dawar, Anuj; Grohe, Martin
2
2005
A fixed-point logic with symmetric choice. Zbl 1116.03316
Dawar, Anuj; Richerby, David
2
2003
On symmetric circuits and fixed-point logics. Zbl 1359.68067
Anderson, Matthew; Dawar, Anuj
2
2014
The pebbling comonad in finite model theory. Zbl 1452.03083
Abramsky, Samson; Dawar, Anuj; Wang, Pengming
2
2017
On the descriptive complexity of linear algebra. Zbl 1155.68401
Dawar, Anuj
2
2008
On Datalog vs. LFP. Zbl 1155.68402
Dawar, Anuj; Kreutzer, Stephan
2
2008
Pebble games and cospectral graphs. Zbl 1378.05130
Dawar, Anuj; Severini, Simone; Zapata, Octavio
1
2017
On symmetric circuits and fixed-point logics. Zbl 1366.68047
Anderson, Matthew; Dawar, Anuj
1
2017
Decidable fragments of the simple theory of types with infinity and NF. Zbl 1417.03271
Dawar, Anuj; Forster, Thomas; McKenzie, Zachiri
1
2017
A definability dichotomy for finite valued CSPs. Zbl 1373.68264
Dawar, Anuj; Wang, Pengming
1
2015
Graph isomorphism parameterized by elimination distance to bounded degree. Zbl 1341.68058
Bulian, Jannis; Dawar, Anuj
1
2014
How many first-order variables are needed on finite ordered structures? Zbl 1268.03037
Dawar, Anuj
1
2005
Pebble games with algebraic rules. Zbl 1380.68206
Dawar, Anuj; Holm, Bjarki
1
2017
Inflationary fixed points in modal logic. Zbl 0999.03019
Dawar, A.; Grädel, E.; Kreutzer, S.
1
2001
Generalising automaticity to modal properties of finite structures. Zbl 1027.68081
Dawar, A.; Kreutzer, S.
1
2002
Constructing hard examples for graph isomorphism. Zbl 1411.05185
Dawar, Anuj; Khan, Kashif
1
2019
Finite models and finitely many variables. Zbl 0936.03032
Dawar, Anuj
1
1999
Backtracking games and inflationary fixed points. Zbl 1098.68622
Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan
1
2004
Model-checking first-order logic: Automata and locality. Zbl 1179.68081
Dawar, Anuj
1
2007
Descriptive complexity of graph spectra. Zbl 1430.68119
Dawar, Anuj; Severini, Simone; Zapata, Octavio
1
2019
Logical properties of random graphs from small addable classes. Zbl 1475.03085
Dawar, Anuj; Kopczyński, Eryk
1
2019
Definability of linear equation systems over groups and rings. Zbl 1252.03083
Dawar, Anuj; Grädel, Erich; Holm, Bjarki; Kopczynski, Eryk; Pakusa, Wied
1
2012
Solving linear programs without breaking abstractions. Zbl 1426.68111
Anderson, Matthew; Dawar, Anuj; Holm, Bjarki
1
2015
Constructing hard examples for graph isomorphism. Zbl 1411.05185
Dawar, Anuj; Khan, Kashif
1
2019
Descriptive complexity of graph spectra. Zbl 1430.68119
Dawar, Anuj; Severini, Simone; Zapata, Octavio
1
2019
Logical properties of random graphs from small addable classes. Zbl 1475.03085
Dawar, Anuj; Kopczyński, Eryk
1
2019
Fixed-parameter tractable distances to sparse graph classes. Zbl 1379.68160
Bulian, Jannis; Dawar, Anuj
3
2017
The pebbling comonad in finite model theory. Zbl 1452.03083
Abramsky, Samson; Dawar, Anuj; Wang, Pengming
2
2017
Pebble games and cospectral graphs. Zbl 1378.05130
Dawar, Anuj; Severini, Simone; Zapata, Octavio
1
2017
On symmetric circuits and fixed-point logics. Zbl 1366.68047
Anderson, Matthew; Dawar, Anuj
1
2017
Decidable fragments of the simple theory of types with infinity and NF. Zbl 1417.03271
Dawar, Anuj; Forster, Thomas; McKenzie, Zachiri
1
2017
Pebble games with algebraic rules. Zbl 1380.68206
Dawar, Anuj; Holm, Bjarki
1
2017
Graph isomorphism parameterized by elimination distance to bounded degree. Zbl 1350.68132
Bulian, Jannis; Dawar, Anuj
3
2016
Descriptive complexity of graph spectra. Zbl 1430.68118
Dawar, Anuj; Severini, Simone; Zapata, Octavio
2
2016
A definability dichotomy for finite valued CSPs. Zbl 1373.68264
Dawar, Anuj; Wang, Pengming
1
2015
Solving linear programs without breaking abstractions. Zbl 1426.68111
Anderson, Matthew; Dawar, Anuj; Holm, Bjarki
1
2015
On symmetric circuits and fixed-point logics. Zbl 1359.68067
Anderson, Matthew; Dawar, Anuj
2
2014
Graph isomorphism parameterized by elimination distance to bounded degree. Zbl 1341.68058
Bulian, Jannis; Dawar, Anuj
1
2014
Maximum matching and linear programming in fixed-point logic with counting. Zbl 1433.03069
Anderson, Matthew; Dawar, Anuj; Holm, Bjarki
2
2013
The dag-width of directed graphs. Zbl 1246.05065
Berwanger, Dietmar; Dawar, Anuj; Hunter, Paul; Kreutzer, Stephan; Obdržálek, Jan
24
2012
On tractable parameterizations of graph isomorphism. Zbl 1350.68130
Bouland, Adam; Dawar, Anuj; Kopczyński, Eryk
4
2012
How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Zbl 1243.68017
2
2012
Definability of linear equation systems over groups and rings. Zbl 1252.03083
Dawar, Anuj; Grädel, Erich; Holm, Bjarki; Kopczynski, Eryk; Pakusa, Wied
1
2012
Homomorphism preservation on quasi-wide classes. Zbl 1206.68140
Dawar, Anuj
8
2010
Properties of almost all graphs and generalized quantifiers. Zbl 1197.03037
Dawar, Anuj; Grädel, Erich
2
2010
Domination problems in nowhere-dense classes of graphs. Zbl 1248.68241
Dawar, Anuj; Kreutzer, Stephan
29
2009
Modal characterisation theorems over special classes of frames. Zbl 1185.03027
Dawar, Anuj; Otto, Martin
20
2009
Affine systems of equations and counting infinitary logic. Zbl 1168.68040
Atserias, Albert; Bulatov, Andrei; Dawar, Anuj
11
2009
Separating graph logic from MSO. Zbl 1234.03022
Antonopoulos, Timos; Dawar, Anuj
4
2009
Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs. Zbl 1136.03024
Dawar, Anuj; Richerby, David; Rossman, Benjamin
8
2008
The descriptive complexity of parity games. Zbl 1157.68032
Dawar, Anuj; Grädel, Erich
7
2008
Preservation under extensions on well-behaved finite structures. Zbl 1169.03025
Atserias, Albert; Dawar, Anuj; Grohe, Martin
4
2008
On the descriptive complexity of linear algebra. Zbl 1155.68401
Dawar, Anuj
2
2008
On Datalog vs. LFP. Zbl 1155.68402
Dawar, Anuj; Kreutzer, Stephan
2
2008
Finite model theory on tame classes of structures. Zbl 1147.03311
Dawar, Anuj
9
2007
Expressiveness and complexity of graph logic. Zbl 1114.03028
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio
8
2007
Model theory makes formulas large. Zbl 1171.03324
Dawar, Anuj; Grohe, Martin; Kreutzer, Stephan; Schweikardt, Nicole
8
2007
Affine systems of equations and counting infinitary logic. Zbl 1171.68721
Atserias, Albert; Bulatov, Andrei; Dawar, Anuj
4
2007
The power of counting logics on restricted classes of finite structures. Zbl 1179.68061
Dawar, Anuj; Richerby, David
3
2007
Model-checking first-order logic: Automata and locality. Zbl 1179.68081
Dawar, Anuj
1
2007
DAG-width and parity games. Zbl 1136.68447
Berwanger, Dietmar; Dawar, Anuj; Hunter, Paul; Kreutzer, Stephan
44
2006
On preservation under homomorphisms and unions of conjunctive queries. Zbl 1326.68117
Atserias, Albert; Dawar, Anuj; Kolaitis, Phokion G.
12
2006
Complexity bounds for regular games. Zbl 1156.68392
Hunter, Paul; Dawar, Anuj
8
2005
Preservation under extensions on well-behaved finite structures. Zbl 1081.03025
Atserias, Albert; Dawar, Anuj; Grohe, Martin
2
2005
How many first-order variables are needed on finite ordered structures? Zbl 1268.03037
Dawar, Anuj
1
2005
Inflationary fixed points in modal logic. Zbl 1407.03031
Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan
6
2004
Adjunct elimination through games in static ambient logic (extended abstract). Zbl 1117.03338
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio
6
2004
On the bisimulation invariant fragment of monadic \(\Sigma_{1}\) in the finite. Zbl 1117.03339
Dawar, Anuj; Janin, David
2
2004
Backtracking games and inflationary fixed points. Zbl 1098.68622
Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan
1
2004
Fixed-point logics with nondeterministic choice. Zbl 1045.03033
Dawar, Anuj; Richerby, David
2
2003
A fixed-point logic with symmetric choice. Zbl 1116.03316
Dawar, Anuj; Richerby, David
2
2003
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri
10
2002
Generalising automaticity to modal properties of finite structures. Zbl 1027.68081
Dawar, A.; Kreutzer, S.
1
2002
Inflationary fixed points in modal logic. Zbl 0999.03019
Dawar, A.; Grädel, E.; Kreutzer, S.
1
2001
Finite models and finitely many variables. Zbl 0936.03032
Dawar, Anuj
1
1999
A restricted second order logic for finite structures. Zbl 0909.68078
Dawar, Anuj
15
1998
Elementary properties of the finite ranks. Zbl 0904.03019
Dawar, Anuj; Doets, Kees; Lindell, Steven; Weinstein, Scott
4
1998
Types and indiscernibles in finite models. Zbl 0899.03023
Dawar, Anuj
2
1998
Infinitary logic and inductive definability over finite structures. Zbl 0834.68029
Dawar, Anuj; Lindell, Steven; Weinstein, Scott
24
1995
Generalized quantifiers and logical reducibilities. Zbl 0815.03021
Dawar, Anuj
13
1995
The expressive power of finitely many generalized quantifiers. Zbl 0849.68034
Dawar, Anuj; Hella, Lauri
3
1995
Implicit definability and infinitary logic in finite model theory (extended abstract). Zbl 1415.03041
Dawar, Anuj; Hella, Lauri; Kolaitis, Phokion G.
3
1995
all top 5

Cited by 355 Authors

22 Dawar, Anuj
14 Kreutzer, Stephan
11 Grohe, Martin
11 Nešetřil, Jaroslav
8 Ossona de Mendez, Patrice
8 Saurabh, Saket
7 Lokshtanov, Daniel
7 Thilikos, Dimitrios M.
6 Grädel, Erich
6 Otto, Martin
6 Siebertz, Sebastian
5 Demri, Stéphane P.
5 Fomin, Fedor V.
5 Panolan, Fahad
5 Pilipczuk, Michał
5 Rabinovich, Roman
5 Schewe, Sven
4 Atserias, Albert
4 Bulatov, Andrei A.
4 Fernández Duque, David
4 Ganian, Robert
4 Hodkinson, Ian Martin
4 Hunter, Paul
4 Kolaitis, Phokion G.
4 Meister, Daniel
4 Mouawad, Amer E.
4 Obdržálek, Jan
4 Segoufin, Luc
4 Turull Torres, Jose Maria
4 Verbitsky, Oleg
3 Adler, Isolde
3 Berwanger, Dietmar
3 D’Agostino, Giovanna
3 Deters, Morgan
3 Hella, Lauri T.
3 Hliněný, Petr
3 Huth, Michael R. A.
3 Khoussainov, Bakhadyr M.
3 Kintali, Shiva
3 Kneis, Joachim
3 Lenzi, Giacomo
3 Luosto, Kerkko
3 Nisse, Nicolas
3 Ordyniak, Sebastian
3 Rossman, Benjamin
3 Rossmanith, Peter
3 Stavropoulos, Konstantinos S.
3 ten Cate, Balder David
3 Vardi, Moshe Ya’akov
3 Vianu, Victor
2 Abiteboul, Serge
2 Bang-Jensen, Jørgen
2 Benedikt, Michael A.
2 Bulian, Jannis
2 Cao, Yi
2 Chatterjee, Krishnendu
2 Ciardelli, Ivano A.
2 De Oliveira Oliveira, Mateus
2 Eiben, Eduard
2 Felscher, Ingo
2 Ferrarotti, Flavio Antonio
2 Figueira, Santiago
2 Fuhlbrück, Frank
2 Gardner, Philippa Anne
2 Goldblatt, Robert Ian
2 Gottlob, Georg
2 Grosso, Alejandro L.
2 Gurski, Frank
2 Hanaka, Tesshu
2 Hu, Shuai
2 Jiang, Minghui
2 Köbler, Johannes
2 Kolliopoulos, Stavros G.
2 Kopczyński, Eryk
2 Krause, Philipp Klaus
2 Krokhin, Andrei A.
2 Kwon, Ojoung
2 Lange, Martin
2 Larose, Benoit
2 Lehtinen, Karoliina
2 Li, Wenjun
2 Liu, Jiamou
2 Lozes, Etienne
2 Martins Ferreira, Francicleber
2 Martins, Ana Teresa
2 Neuen, Daniel
2 Nishimura, Naomi
2 Ono, Hirotaka
2 Pakusa, Wied
2 Philip, Geevarghese
2 Pichler, Reinhard
2 Pilipczuk, Marcin L.
2 Raman, Venkatesh
2 Ramanujan, M. S.
2 Raskin, Jean-François
2 Rönnholm, Raine
2 Rubin, Sasha
2 Schröder, Lutz
2 Schwentick, Thomas
2 Severini, Simone
...and 255 more Authors
all top 5

Cited in 47 Serials

42 Theoretical Computer Science
17 Annals of Pure and Applied Logic
14 Discrete Applied Mathematics
14 Information and Computation
10 Journal of Computer and System Sciences
9 ACM Transactions on Computational Logic
8 The Journal of Symbolic Logic
8 European Journal of Combinatorics
7 Logical Methods in Computer Science
6 SIAM Journal on Discrete Mathematics
5 Journal of Combinatorial Theory. Series B
5 Theory of Computing Systems
4 Information Processing Letters
4 Studia Logica
4 Algorithmica
4 Journal of Applied Logic
3 SIAM Journal on Computing
3 The Electronic Journal of Combinatorics
3 The Bulletin of Symbolic Logic
2 Artificial Intelligence
2 International Journal of Foundations of Computer Science
2 Archive for Mathematical Logic
2 Journal of Applied Non-Classical Logics
2 International Game Theory Review
1 Acta Informatica
1 Discrete Mathematics
1 Journal of Graph Theory
1 Journal of Philosophical Logic
1 Transactions of the American Mathematical Society
1 Graphs and Combinatorics
1 European Journal of Applied Mathematics
1 Formal Methods in System Design
1 Mathematical Logic Quarterly (MLQ)
1 Soft Computing
1 Journal of Combinatorial Optimization
1 Journal of Graph Algorithms and Applications
1 Journal of the ACM
1 RAIRO. Theoretical Informatics and Applications
1 Fundamenta Informaticae
1 Central European Journal of Mathematics
1 ACM Journal of Experimental Algorithmics
1 Discrete Optimization
1 Logica Universalis
1 Discrete Mathematics, Algorithms and Applications
1 Frontiers of Computer Science
1 Computer Science Review
1 Journal of Applied and Computational Topology

Citations by Year