Anuj Dawar

	2012
67		Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa: Definability of linear equation systems over groups and rings CoRR abs/1204.3022: (2012)
66		Albert Atserias, Anuj Dawar: Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers. Electronic Colloquium on Computational Complexity (ECCC) 19: 15 (2012)
	2010
65		Anuj Dawar, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings Springer 2010
64		Anuj Dawar, Helmut Veith: Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings Springer 2010
63		Anuj Dawar: On Complete Problems, Relativizations and Logics for Complexity Classes. Fields of Logic and Computation 2010: 201-207
62		Anuj Dawar: The Complexity of Satisfaction on Sparse Graphs. IPEC 2010: 1-2
61		Anuj Dawar, Erich Grädel: Properties of Almost All Graphs and Generalized Quantifiers. Fundam. Inform. 98(4): 351-372 (2010)
60		Anuj Dawar: Homomorphism preservation on quasi-wide classes. J. Comput. Syst. Sci. 76(5): 324-332 (2010)
	2009
59		Timos Antonopoulos, Anuj Dawar: Separating Graph Logic from MSO. FOSSACS 2009: 63-77
58		Anuj Dawar, Stephan Kreutzer: Domination Problems in Nowhere-Dense Classes. FSTTCS 2009: 157-168
57		Anuj Dawar: Structure and Specification as Sources of Complexity. FSTTCS 2009: 407-416
56		Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner: Logics with Rank Operators. LICS 2009: 113-122
55		Anuj Dawar, Yuguo He: Parameterized Complexity Classes under Logical Reductions. MFCS 2009: 258-269
54		Anuj Dawar, Martin Otto: Modal characterisation theorems over special classes of frames. Ann. Pure Appl. Logic 161(1): 1-42 (2009)
53		Anuj Dawar, Stephan Kreutzer: Domination Problems in Nowhere-Dense Classes of Graphs CoRR abs/0907.4283: (2009)
52		Stephan Kreutzer, Anuj Dawar: Parameterized Complexity of First-Order Logic. Electronic Colloquium on Computational Complexity (ECCC) 16: 131 (2009)
51		Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18): 1666-1683 (2009)
	2008
50		Anuj Dawar, Erich Grädel: The Descriptive Complexity of Parity Games. CSL 2008: 354-368
49		Anuj Dawar, Stephan Kreutzer: On Datalog vs. LFP. ICALP (2) 2008: 160-171
48		Anuj Dawar: On the Descriptive Complexity of Linear Algebra. WoLLIC 2008: 17-25
47		Anuj Dawar, David Richerby, Benjamin Rossman: Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs. Ann. Pure Appl. Logic 152(1-3): 31-50 (2008)
46		Anuj Dawar: Homomorphism Preservation on Quasi-Wide Classes CoRR abs/0811.4497: (2008)
45		Albert Atserias, Anuj Dawar, Martin Grohe: Preservation under Extensions on Well-Behaved Finite Structures. SIAM J. Comput. 38(4): 1364-1381 (2008)
	2007
44		Anuj Dawar: Model-Checking First-Order Logic: Automata and Locality. CSL 2007: 6
43		Anuj Dawar, David Richerby: The Power of Counting Logics on Restricted Classes of Finite Structures. CSL 2007: 84-98
42		Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine Systems of Equations and Counting Infinitary Logic. ICALP 2007: 558-570
41		Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: Model Theory Makes Formulas Large. ICALP 2007: 913-924
40		Anuj Dawar, Martin Grohe, Stephan Kreutzer: Locally Excluding a Minor. LICS 2007: 270-279
39		Anuj Dawar: Finite Model Theory on Tame Classes of Structures. MFCS 2007: 2-12
38		Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Expressiveness and complexity of graph logic. Inf. Comput. 205(3): 263-310 (2007)
37		Anuj Dawar, David Janin: The monadic theory of finite representations of infinite words. Inf. Process. Lett. 103(3): 94-101 (2007)
36		Anuj Dawar, Stephan Kreutzer: Generalising automaticity to modal properties of finite structures. Theor. Comput. Sci. 379(1-2): 266-285 (2007)
	2006
35		Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: Approximation Schemes for First-Order Definable Optimisation Problems. LICS 2006: 411-420
34		Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer: DAG-Width and Parity Games. STACS 2006: 524-536
33		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		Albert Atserias, Anuj Dawar, Phokion G. Kolaitis: On preservation under homomorphisms and unions of conjunctive queries. J. ACM 53(2): 208-237 (2006)
31		Anuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking games and inflationary fixed points. Theor. Comput. Sci. 350(2-3): 174-187 (2006)
	2005
30		Albert Atserias, Anuj Dawar, Martin Grohe: Preservation Under Extensions on Well-Behaved Finite Structures. ICALP 2005: 1437-1449
29		Anuj Dawar, Martin Otto: Modal Characterisation Theorems over Special Classes of Frames. LICS 2005: 21-30
28		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		Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS 2004: 211-223
25		Anuj Dawar, David Janin: On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. FSTTCS 2004: 224-236
24		Anuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking Games and Inflationary Fixed Points. ICALP 2004: 420-432
23		Albert Atserias, Anuj Dawar, Phokion G. Kolaitis: On Preservation under Homomorphisms and Unions of Conjunctive Queries. PODS 2004: 319-329
22		Anuj Dawar, Erich Grädel, Stephan Kreutzer: Inflationary fixed points in modal logic. ACM Trans. Comput. Log. 5(2): 282-315 (2004)
	2003
21		Anuj Dawar, David Richerby: A Fixed-Point Logic with Symmetric Choice. CSL 2003: 169-182
20		Anuj Dawar: Foreword. Electr. Notes Theor. Comput. Sci. 90: 1 (2003)
19		Anuj Dawar, Daniel Leivant: Guest editorial. Inf. Comput. 183(1): 1 (2003)
18		Anuj Dawar, David Richerby: Fixed-point Logics with Nondeterministic Choice. J. Log. Comput. 13(4): 503-530 (2003)
	2002
17		Anuj Dawar, Stephan Kreutzer: Generalising Automaticity to Modal Properties of Finite Structures. FSTTCS 2002: 109-120
16		Anuj Dawar, Yuri Gurevich: Fixed point logics. Bulletin of Symbolic Logic 8(1): 65-88 (2002)
	2001
15		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	Timos Antonopoulos	[59]
2	Albert Atserias	[23] [30] [32] [42] [45] [51] [66]
3	Dietmar Berwanger	[34]
4	Andrei A. Bulatov	[42] [51]
5	Kees Doets	[11]
6	Philippa Gardner	[26] [38]
7	Giorgio Ghelli	[26] [38]
8	Georg Gottlob	[12]
9	Erich Grädel	[8] [15] [22] [24] [31] [50] [61] [67]
10	Martin Grohe	[30] [35] [40] [41] [45] [56]
11	Yuri Gurevich	[16]
12	Yuguo He	[55]
13	Lauri Hella	[3] [6] [9] [12] [14]
14	Bjarki Holm	[56] [67]
15	Paul Hunter	[28] [34]
16	David Janin	[25] [37]
17	Phokion G. Kolaitis	[9] [23] [32]
18	Eryk Kopczynski	[67]
19	Stephan Kreutzer	[15] [17] [22] [24] [31] [34] [35] [36] [40] [41] [49] [52] [53] [58]
20	Bastian Laubner	[56]
21	Daniel Leivant	[19]
22	Steven Lindell	[7] [10] [11]
23	Martin Otto	[29] [54]
24	Wied Pakusa	[67]
25	Ruy J. G. B. de Queiroz	[65]
26	David Richerby	[18] [21] [33] [43] [47]
27	Benjamin Rossman	[33] [47]
28	Nicole Schweikardt	[35] [41]
29	Anil Seth	[14]
30	Helmut Veith	[64]
31	K. Vijay-Shanker	[1] [2]
32	Scott Weinstein	[7] [10] [11]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page