Anuj Dawar
University of Cambridge(GB)Universitat Politècnica de Catalunya(ES)
Publications by Year
Research Areas
Advanced Graph Theory Research, Complexity and Algorithms in Graphs, semigroups and automata theory, Logic, Reasoning, and Knowledge, Formal Methods in Verification
Most-Cited Works
- → DAG-Width and Parity Games(2006)127 cited
- → Locally Excluding a Minor(2007)122 cited
- → Infinitary Logic and Inductive Definability over Finite Structures(1995)94 cited
- → International Colloquium on Automata, Languages and Programming (ICALP 2020)(2024)92 cited
- → FINITE MODEL THEORY (Perspectives in Mathematical Logic)(1997)88 cited
- → The dag-width of directed graphs(2012)86 cited
- → Affine systems of equations and counting infinitary logic(2009)76 cited