Anuj Dawar

2007
44	EE	Anuj Dawar: Model-Checking First-Order Logic: Automata and Locality. CSL 2007: 6
43	EE	Anuj Dawar, David Richerby: The Power of Counting Logics on Restricted Classes of Finite Structures. CSL 2007: 84-98
42	EE	Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine Systems of Equations and Counting Infinitary Logic. ICALP 2007: 558-570
41	EE	Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: Model Theory Makes Formulas Large. ICALP 2007: 913-924
40	EE	Anuj Dawar, Martin Grohe, Stephan Kreutzer: Locally Excluding a Minor. LICS 2007: 270-279
39	EE	Anuj Dawar: Finite Model Theory on Tame Classes of Structures. MFCS 2007: 2-12
38	EE	Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Expressiveness and complexity of graph logic. Inf. Comput. 205(3): 263-310 (2007)
37	EE	Anuj Dawar, David Janin: The monadic theory of finite representations of infinite words. Inf. Process. Lett. 103(3): 94-101 (2007)
36	EE	Anuj Dawar, Stephan Kreutzer: Generalising automaticity to modal properties of finite structures. Theor. Comput. Sci. 379(1-2): 266-285 (2007)
2006
35	EE	Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: Approximation Schemes for First-Order Definable Optimisation Problems. LICS 2006: 411-420
34	EE	Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer: DAG-Width and Parity Games. STACS 2006: 524-536
33	EE	Anuj Dawar, David Richerby, Benjamin Rossman: Choiceless Polynomial Time, Counting and the Cai-Fürer-Immerman Graphs: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 143: 13-26 (2006)
32	EE	Albert Atserias, Anuj Dawar, Phokion G. Kolaitis: On preservation under homomorphisms and unions of conjunctive queries. J. ACM 53(2): 208-237 (2006)
31	EE	Anuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking games and inflationary fixed points. Theor. Comput. Sci. 350(2-3): 174-187 (2006)
2005
30	EE	Albert Atserias, Anuj Dawar, Martin Grohe: Preservation Under Extensions on Well-Behaved Finite Structures. ICALP 2005: 1437-1449
29	EE	Anuj Dawar, Martin Otto: Modal Characterisation Theorems over Special Classes of Frames. LICS 2005: 21-30
28	EE	Paul Hunter, Anuj Dawar: Complexity Bounds for Regular Games. MFCS 2005: 495-506
27		Anuj Dawar: How Many First-order Variables are Needed on Finite Ordered Structures? We Will Show Them! (1) 2005: 489-520
2004
26	EE	Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS 2004: 211-223
25	EE	Anuj Dawar, David Janin: On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. FSTTCS 2004: 224-236
24	EE	Anuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking Games and Inflationary Fixed Points. ICALP 2004: 420-432
23	EE	Albert Atserias, Anuj Dawar, Phokion G. Kolaitis: On Preservation under Homomorphisms and Unions of Conjunctive Queries. PODS 2004: 319-329
22	EE	Anuj Dawar, Erich Grädel, Stephan Kreutzer: Inflationary fixed points in modal logic. ACM Trans. Comput. Log. 5(2): 282-315 (2004)
2003
21	EE	Anuj Dawar, David Richerby: A Fixed-Point Logic with Symmetric Choice. CSL 2003: 169-182
20	EE	Anuj Dawar: Preface. Electr. Notes Theor. Comput. Sci. 90(1): (2003)
19	EE	Anuj Dawar, Daniel Leivant: Guest editorial. Inf. Comput. 183(1): 1 (2003)
18	EE	Anuj Dawar, David Richerby: Fixed-point Logics with Nondeterministic Choice. J. Log. Comput. 13(4): 503-530 (2003)
2002
17	EE	Anuj Dawar, Stephan Kreutzer: Generalising Automaticity to Modal Properties of Finite Structures. FSTTCS 2002: 109-120
16	EE	Anuj Dawar, Yuri Gurevich: Fixed point logics. Bulletin of Symbolic Logic 8(1): 65-88 (2002)
2001
15	EE	Anuj Dawar, Erich Grädel, Stephan Kreutzer: Inflationary Fixed Points in Modal Logic. CSL 2001: 277-291
1998
14		Anuj Dawar, Lauri Hella, Anil Seth: Ordering Finite Variable Types with Generalized Quantifiers. LICS 1998: 28-43
13		Anuj Dawar: A Restricted Second Order Logic for Finite Structures. Inf. Comput. 143(2): 154-174 (1998)
12		Anuj Dawar, Georg Gottlob, Lauri Hella: Capturing Relativized Complexity Classes without Order. Math. Log. Q. 44: 109-122 (1998)
11		Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein: Elementary Properties of the Finite Ranks. Math. Log. Q. 44: 349-353 (1998)
1995
10		Anuj Dawar, Steven Lindell, Scott Weinstein: First Order Logic, Fixed Point Logic and Linear Order. CSL 1995: 161-177
9		Anuj Dawar, Lauri Hella, Phokion G. Kolaitis: Implicit Definability and Infinitary Logic in Finite Model Theory. ICALP 1995: 624-635
8		Anuj Dawar, Erich Grädel: Generalized Quantifiers and 0-1 Laws LICS 1995: 54-64
7		Anuj Dawar, Steven Lindell, Scott Weinstein: Infinitary Logic and Inductive Definability over Finite Structures Inf. Comput. 119(2): 160-175 (1995)
6		Anuj Dawar, Lauri Hella: The expressive Power of Finitely Many Generalized Quantifiers. Inf. Comput. 123(2): 172-184 (1995)
5		Anuj Dawar: Generalized Quantifiers and Logical Reducibilities. J. Log. Comput. 5(2): 213-226 (1995)
1994
4		Anuj Dawar: A Restricted Second Order Logic for Finite Structures. LCC 1994: 393-413
3		Anuj Dawar, Lauri Hella: The Expressive Power of Finitely Many Generalized Quantifiers LICS 1994: 20-29
1990
2		Anuj Dawar, K. Vijay-Shanker: An Interpretation of Negation in Feature Structure Descriptions. Computational Linguistics 16(1): 11-21 (1990)
1989
1		Anuj Dawar, K. Vijay-Shanker: A Three-Valued Interpretation of Negation in Feature Structure Descriptions. ACL 1989: 18-24

Coauthor Index

1	Albert Atserias	[23] [30] [32] [42]
2	Dietmar Berwanger	[34]
3	Andrei A. Bulatov	[42]
4	Kees Doets	[11]
5	Philippa Gardner	[26] [38]
6	Giorgio Ghelli	[26] [38]
7	Georg Gottlob	[12]
8	Erich Grädel	[8] [15] [22] [24] [31]
9	Martin Grohe	[30] [35] [40] [41]
10	Yuri Gurevich	[16]
11	Lauri Hella	[3] [6] [9] [12] [14]
12	Paul Hunter	[28] [34]
13	David Janin	[25] [37]
14	Phokion G. Kolaitis	[9] [23] [32]
15	Stephan Kreutzer	[15] [17] [22] [24] [31] [34] [35] [36] [40] [41]
16	Daniel Leivant	[19]
17	Steven Lindell	[7] [10] [11]
18	Martin Otto	[29]
19	David Richerby	[18] [21] [33] [43]
20	Benjamin Rossman	[33]
21	Nicole Schweikardt	[35] [41]
22	Anil Seth	[14]
23	K. Vijay-Shanker	[1] [2]
24	Scott Weinstein	[7] [10] [11]

Colors in the list of coauthors