dblp.uni-trier.dewww.uni-trier.de

Anuj Dawar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
52EETimos Antonopoulos, Anuj Dawar: Separating Graph Logic from MSO. FOSSACS 2009: 63-77
51EEAlbert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18): 1666-1683 (2009)
2008
50EEAnuj Dawar, Erich Grädel: The Descriptive Complexity of Parity Games. CSL 2008: 354-368
49EEAnuj Dawar, Stephan Kreutzer: On Datalog vs. LFP. ICALP (2) 2008: 160-171
48EEAnuj Dawar: On the Descriptive Complexity of Linear Algebra. WoLLIC 2008: 17-25
47EEAnuj 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)
46EEAnuj Dawar: Homomorphism Preservation on Quasi-Wide Classes CoRR abs/0811.4497: (2008)
45EEAlbert Atserias, Anuj Dawar, Martin Grohe: Preservation under Extensions on Well-Behaved Finite Structures. SIAM J. Comput. 38(4): 1364-1381 (2008)
2007
44EEAnuj Dawar: Model-Checking First-Order Logic: Automata and Locality. CSL 2007: 6
43EEAnuj Dawar, David Richerby: The Power of Counting Logics on Restricted Classes of Finite Structures. CSL 2007: 84-98
42EEAlbert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine Systems of Equations and Counting Infinitary Logic. ICALP 2007: 558-570
41EEAnuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: Model Theory Makes Formulas Large. ICALP 2007: 913-924
40EEAnuj Dawar, Martin Grohe, Stephan Kreutzer: Locally Excluding a Minor. LICS 2007: 270-279
39EEAnuj Dawar: Finite Model Theory on Tame Classes of Structures. MFCS 2007: 2-12
38EEAnuj Dawar, Philippa Gardner, Giorgio Ghelli: Expressiveness and complexity of graph logic. Inf. Comput. 205(3): 263-310 (2007)
37EEAnuj Dawar, David Janin: The monadic theory of finite representations of infinite words. Inf. Process. Lett. 103(3): 94-101 (2007)
36EEAnuj Dawar, Stephan Kreutzer: Generalising automaticity to modal properties of finite structures. Theor. Comput. Sci. 379(1-2): 266-285 (2007)
2006
35EEAnuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt: Approximation Schemes for First-Order Definable Optimisation Problems. LICS 2006: 411-420
34EEDietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer: DAG-Width and Parity Games. STACS 2006: 524-536
33EEAnuj 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)
32EEAlbert Atserias, Anuj Dawar, Phokion G. Kolaitis: On preservation under homomorphisms and unions of conjunctive queries. J. ACM 53(2): 208-237 (2006)
31EEAnuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking games and inflationary fixed points. Theor. Comput. Sci. 350(2-3): 174-187 (2006)
2005
30EEAlbert Atserias, Anuj Dawar, Martin Grohe: Preservation Under Extensions on Well-Behaved Finite Structures. ICALP 2005: 1437-1449
29EEAnuj Dawar, Martin Otto: Modal Characterisation Theorems over Special Classes of Frames. LICS 2005: 21-30
28EEPaul 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
26EEAnuj Dawar, Philippa Gardner, Giorgio Ghelli: Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS 2004: 211-223
25EEAnuj Dawar, David Janin: On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. FSTTCS 2004: 224-236
24EEAnuj Dawar, Erich Grädel, Stephan Kreutzer: Backtracking Games and Inflationary Fixed Points. ICALP 2004: 420-432
23EEAlbert Atserias, Anuj Dawar, Phokion G. Kolaitis: On Preservation under Homomorphisms and Unions of Conjunctive Queries. PODS 2004: 319-329
22EEAnuj Dawar, Erich Grädel, Stephan Kreutzer: Inflationary fixed points in modal logic. ACM Trans. Comput. Log. 5(2): 282-315 (2004)
2003
21EEAnuj Dawar, David Richerby: A Fixed-Point Logic with Symmetric Choice. CSL 2003: 169-182
20EEAnuj Dawar: Preface. Electr. Notes Theor. Comput. Sci. 90(1): (2003)
19EEAnuj Dawar, Daniel Leivant: Guest editorial. Inf. Comput. 183(1): 1 (2003)
18EEAnuj Dawar, David Richerby: Fixed-point Logics with Nondeterministic Choice. J. Log. Comput. 13(4): 503-530 (2003)
2002
17EEAnuj Dawar, Stephan Kreutzer: Generalising Automaticity to Modal Properties of Finite Structures. FSTTCS 2002: 109-120
16EEAnuj Dawar, Yuri Gurevich: Fixed point logics. Bulletin of Symbolic Logic 8(1): 65-88 (2002)
2001
15EEAnuj 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)