| 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 |
