Follow
Anuj Dawar
Title
Cited by
Year
Corrigendum to “Homomorphism preservation on quasi-wide classes”[J. Comput. Syst. Sci. 76 (5)(2010) 324–332]
A Dawar
Journal of Computer and System Sciences 145, 103553, 2024
2024
Game comonads & generalised quantifiers
AÓ Conghaile, A Dawar
Logical Methods in Computer Science 20, 2024
262024
International Colloquium on Automata, Languages and Programming (ICALP 2020)
A Dawar
Theory of Computing Systems, 1-2, 2024
2024
Homomorphism Counts to Trees
A Dawar
arXiv preprint arXiv:2405.19147, 2024
2024
Preservation theorems on sparse classes revisited
A Dawar, I Eleftheriadis
arXiv preprint arXiv:2405.10887, 2024
22024
A Logic for P: Are we Nearly There Yet?
A Dawar, B Pago
ACM SIGLOG News 11 (2), 35-60, 2024
2024
Limits of Symmetric Computation (Invited Talk)
A Dawar
51st International Colloquium on Automata, Languages, and Programming (ICALP …, 2024
2024
Quantifiers closed under partial polymorphisms
A Dawar, L Hella
arXiv preprint arXiv:2308.03695, 2023
12023
Constraint Satisfaction, Graph Isomorphism, and the Pebbling Comonad
A Dawar
Samson Abramsky on Logic and Structure in Computer Science and Beyond, 671-699, 2023
2023
Limitations of the invertible-map equivalences
A Dawar, E Grädel, M Lichter
Journal of Logic and Computation 33 (5), 961-969, 2023
152023
MSO undecidability for hereditary classes of unbounded clique-width
A Dawar, A Sankaran
European Journal of Combinatorics, 103700, 2023
22023
Monadic NIP in monotone classes of relational structures
S Braunfeld, A Dawar, I Eleftheriadis, A Papadopoulos
arXiv preprint arXiv:2302.05695, 2023
42023
40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023): STACS 2023, March 7-9, 2023, Hamburg, Germany
P Berenbrink, P Bouyer, A Dawar, MM Kanté
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023
2023
Descriptive complexity of controllable graphs
A Abiad, A Dawar, O Zapata
Procedia Computer Science 223, 20-27, 2023
2023
LIPIcs, Volume 254, STACS 2023, Complete Volume
P Berenbrink, P Bouyer, A Dawar, MM Kanté
40th International Symposium on Theoretical Aspects of Computer Science …, 2023
2023
42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
A Dawar, V Guruswami
2022
Descriptive complexity of the generalized spectra of graphs
A Abiad, A Dawar, O Zapata
arXiv preprint arXiv:2210.05482, 2022
2022
Separating LREC from LFP
A Dawar, F Ferreira Santos
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
12022
A sheaf-theoretic approach to (P) CSPs an extended abstract
O Adam, S Abramsky, A Dawar
Structure Meets Power Workshop (Contributed Talks), 3, 2022
2022
A parallel between the descriptive complexities of finite groups and Latin square graphs
A Dawar, D Vagnozzi
Discrete Mathematics Days 2022 263, 110, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20