| 2026 | CSL | Compactness in Semiring Semantics. | Sophie Brinke, Anuj Dawar, Erich Grdel, Lovro Mrkonjic, Matthias Naaf |
| 2026 | CSL | Arity Hierarchies for Quantifiers Closed Under Partial Polymorphisms. | Anuj Dawar, Lauri Hella, Benedikt Pago |
| 2026 | ICALP | Preservation Theorems in Semiring Semantics. | Sophie Brinke, Anuj Dawar, Erich Grdel, Benedikt Pago |
| 2026 | LICS | Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras. | Anuj Dawar, Nihil Shah |
| 2025 | CSL | Undefinability of Approximation of 2-To-2 Games. | Anuj Dawar, Blint Molnr |
| 2025 | MFCS | Symmetric Proofs in the Ideal Proof System. | Anuj Dawar, Erich Grdel, Leon Kullmann, Benedikt Pago |
| 2024 | CSL | Quantifiers Closed Under Partial Polymorphisms. | Anuj Dawar, Lauri Hella |
| 2024 | ICALP | Limits of Symmetric Computation (Invited Talk). | Anuj Dawar |
| 2024 | MFCS | Preservation Theorems on Sparse Classes Revisited. | Anuj Dawar, Ioannis Eleftheriadis |
| 2023 | ICALP | Monadic NIP in Monotone Classes of Relational Structures. | Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis, Aris Papadopoulos |
| 2023 | LAGOS | Descriptive complexity of controllable graphs. | Aida Abiad, Anuj Dawar, Octavio Zapata |
| 2022 | CSL | MSO Undecidability for Hereditary Classes of Unbounded Clique Width. | Anuj Dawar, Abhisekh Sankaran |
| 2022 | LICS | Separating LREC from LFP. | Anuj Dawar, Felipe Ferreira Santos |
| 2021 | CSL | Game Comonads & Generalised Quantifiers. | Adam Conghaile, Anuj Dawar |
| 2021 | CSL | Extension Preservation in the Finite and Prefix Classes of First Order Logic. | Anuj Dawar, Abhisekh Sankaran |
| 2021 | LICS | Lovsz-Type Theorems and Game Comonads. | Anuj Dawar, Tomas Jakl, Luca Reggio |
| 2021 | MFCS | On the Relative Power of Linear Algebraic Approximations of Graph Isomorphism. | Anuj Dawar, Danny Vagnozzi |
| 2020 | CSL | Symmetric Computation (Invited Talk). | Anuj Dawar |
| 2020 | ICALP | Symmetric Arithmetic Circuits. | Anuj Dawar, Gregory Wilsenach |
| 2019 | ICALP | Approximations of Isomorphism and Logics with Linear-Algebraic Operators. | Anuj Dawar, Erich Grdel, Wied Pakusa |
| 2019 | LICS | On the Power of Symmetric Linear Programs. | Albert Atserias, Anuj Dawar, Joanna Ochremiak |
| 2018 | CSL | Definable Inapproximability: New Challenges for Duplicator. | Albert Atserias, Anuj Dawar |
| 2018 | CSL | Symmetric Circuits for Rank Logic. | Anuj Dawar, Gregory Wilsenach |
| 2017 | CSL | The Ackermann Award 2017. | Anuj Dawar, Daniel Leivant |
| 2017 | LICS | The pebbling comonad in Finite Model Theory. | Samson Abramsky, Anuj Dawar, Pengming Wang |
| 2017 | LICS | Definability of semidefinite programming and lasserre lower bounds for CSPs. | Anuj Dawar, Pengming Wang |
| 2017 | LICS | Definability of summation problems for Abelian groups and semigroups. | Faried Abu Zaid, Anuj Dawar, Erich Grdel, Wied Pakusa |
| 2016 | CSL | The Ackermann Award 2016. | Thierry Coquand, Anuj Dawar |
| 2016 | WoLLIC | Descriptive Complexity of Graph Spectra. | Anuj Dawar, Simone Severini, Octavio Zapata |
| 2015 | CSL | The Ackermann Award 2015. | Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca |
| 2015 | CSL | A Definability Dichotomy for Finite Valued CSPs. | Anuj Dawar, Pengming Wang |
| 2014 | CSL | The Ackermann award 2014. | Anuj Dawar |
| 2014 | STACS | On Symmetric Circuits and Fixed-Point Logics. | Matthew Anderson, Anuj Dawar |
| 2013 | CSL | The Ackermann Award 2013. | Anuj Dawar, Thomas A. Henzinger, Damian Niwinski |
| 2013 | LICS | Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. | Matthew Anderson, Anuj Dawar, Bjarki Holm |
| 2012 | CSL | The Ackermann Award 2012. | Thierry Coquand, Anuj Dawar, Damian Niwinski |
| 2012 | CSL | Definability of linear equation systems over groups and rings. | Anuj Dawar, Erich Grdel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa |
| 2012 | ICALP | Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers. | Albert Atserias, Anuj Dawar |
| 2012 | ICALP | Pebble Games with Algebraic Rules. | Anuj Dawar, Bjarki Holm |
| 2009 | FOSSACS | Separating Graph Logic from MSO. | Timos Antonopoulos, Anuj Dawar |
| 2009 | LICS | Logics with Rank Operators. | Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner |
| 2009 | MFCS | Parameterized Complexity Classes under Logical Reductions. | Anuj Dawar, Yuguo He |
| 2008 | CSL | The Descriptive Complexity of Parity Games. | Anuj Dawar, Erich Grdel |
| 2008 | ICALP | On Datalog vs. LFP. | Anuj Dawar, Stephan Kreutzer |
| 2008 | WoLLIC | On the Descriptive Complexity of Linear Algebra. | Anuj Dawar |
| 2007 | CSL | Model-Checking First-Order Logic: Automata and Locality. | Anuj Dawar |
| 2007 | CSL | The Power of Counting Logics on Restricted Classes of Finite Structures. | Anuj Dawar, David Richerby |
| 2007 | ICALP | Affine Systems of Equations and Counting Infinitary Logic. | Albert Atserias, Andrei A. Bulatov, Anuj Dawar |
| 2007 | ICALP | Model Theory Makes Formulas Large. | Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
| 2007 | LICS | Locally Excluding a Minor. | Anuj Dawar, Martin Grohe, Stephan Kreutzer |
| 2007 | MFCS | Finite Model Theory on Tame Classes of Structures. | Anuj Dawar |
| 2006 | LICS | Approximation Schemes for First-Order Definable Optimisation Problems. | Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
| 2006 | STACS | DAG-Width and Parity Games. | Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer |
| 2005 | ICALP | Preservation Under Extensions on Well-Behaved Finite Structures. | Albert Atserias, Anuj Dawar, Martin Grohe |
| 2005 | LICS | Modal Characterisation Theorems over Special Classes of Frames. | Anuj Dawar, Martin Otto |
| 2005 | MFCS | Complexity Bounds for Regular Games. | Paul Hunter, Anuj Dawar |
| 2004 | ICALP | Backtracking Games and Inflationary Fixed Points. | Anuj Dawar, Erich Grdel, Stephan Kreutzer |
| 2004 | PODS | On Preservation under Homomorphisms and Unions of Conjunctive Queries. | Albert Atserias, Anuj Dawar, Phokion G. Kolaitis |
| 2003 | CSL | A Fixed-Point Logic with Symmetric Choice. | Anuj Dawar, David Richerby |
| 2001 | CSL | Inflationary Fixed Points in Modal Logic. | Anuj Dawar, Erich Grdel, Stephan Kreutzer |
| 1998 | LICS | Ordering Finite Variable Types with Generalized Quantifiers. | Anuj Dawar, Lauri Hella, Anil Seth |
| 1995 | CSL | First Order Logic, Fixed Point Logic and Linear Order. | Anuj Dawar, Steven Lindell, Scott Weinstein |
| 1995 | ICALP | Implicit Definability and Infinitary Logic in Finite Model Theory. | Anuj Dawar, Lauri Hella, Phokion G. Kolaitis |
| 1995 | LICS | Generalized Quantifiers and 0-1 Laws | Anuj Dawar, Erich Grdel |
| 1994 | LICS | The Expressive Power of Finitely Many Generalized Quantifiers | Anuj Dawar, Lauri Hella |
| 1989 | ACL | A Three-Valued Interpretation of Negation in Feature Structure Descriptions. | Anuj Dawar, K. Vijay-Shanker |