Search Results - Dawar, Anuj

Refine Results
  1. 1
    Game Comonads & Generalised Quantifiers

    Game Comonads & Generalised Quantifiers by Conghaile, Adam Ó, Dawar, Anuj

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Corrigendum to “Homomorphism preservation on quasi-wide classes” [J. Comput. Syst. Sci. 76 (5) (2010) 324–332]

    Corrigendum to “Homomorphism preservation on quasi-wide classes” [J. Comput. Syst. Sci. 76 (5) (2010) 324–332] by Dawar, Anuj

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    International Colloquium on Automata, Languages and Programming (ICALP 2020)

    International Colloquium on Automata, Languages and Programming (ICALP 2020) by Dawar, Anuj

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Logical properties of random graphs from small addable classes

    Logical properties of random graphs from small addable classes by Anuj Dawar, Eryk Kopczyński

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Bounded degree and planar spectra

    Bounded degree and planar spectra by Anuj Dawar, Eryk Kopczyński

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    MSO undecidability for hereditary classes of unbounded clique-width

    MSO undecidability for hereditary classes of unbounded clique-width by Dawar, Anuj, Sankaran, Abhisekh

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Fixed-Parameter Tractable Distances to Sparse Graph Classes

    Fixed-Parameter Tractable Distances to Sparse Graph Classes by Bulian, Jannis, Dawar, Anuj

    Published in Algorithmica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree

    Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree by Bulian, Jannis, Dawar, Anuj

    Published in Algorithmica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Symmetric Circuits for Rank Logic

    Symmetric Circuits for Rank Logic by Dawar, Anuj, Wilsenach, Gregory

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Definable inapproximability: new challenges for duplicator

    Definable inapproximability: new challenges for duplicator by Atserias, Albert, Dawar, Anuj

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    On the Power of Symmetric Linear Programs

    On the Power of Symmetric Linear Programs by Atserias, Albert, Dawar, Anuj, Ochremiak, Joanna

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    On Symmetric Circuits and Fixed-Point Logics

    On Symmetric Circuits and Fixed-Point Logics by Anderson, Matthew, Dawar, Anuj

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Constructing Hard Examples for Graph Isomorphism

    Constructing Hard Examples for Graph Isomorphism by Dawar, Anuj, Khan, Kashif

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Homomorphism preservation on quasi-wide classes

    Homomorphism preservation on quasi-wide classes by Dawar, Anuj

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Definability of linear equation systems over groups and rings

    Definability of linear equation systems over groups and rings by Dawar, Anuj, Kopczynski, Eryk, Holm, Bjarki, Grädel, Erich, Pakusa, Wied

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Limitations of the invertible-map equivalences

    Limitations of the invertible-map equivalences by Dawar, Anuj, Grädel, Erich, Lichter, Moritz

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Solving Linear Programs without Breaking Abstractions

    Solving Linear Programs without Breaking Abstractions by Anderson, Matthew, Dawar, Anuj, Holm, Bjarki

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Descriptive complexity of controllable graphs

    Descriptive complexity of controllable graphs by Abiad, Aida, Dawar, Anuj, Zapata, Octavio

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Modal characterisation theorems over special classes of frames

    Modal characterisation theorems over special classes of frames by Dawar, Anuj, Otto, Martin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Affine systems of equations and counting infinitary logic

    Affine systems of equations and counting infinitary logic by Atserias, Albert, Bulatov, Andrei, Dawar, Anuj

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: