No. Title Author Year
1 Lower Bounds for Symmetric Circuits for the Determinant Dawar, Anuj et al. 2022
2 MSO Undecidability for Hereditary Classes of Unbounded Clique Width Dawar, Anuj et al. 2022
3 Extension Preservation in the Finite and Prefix Classes of First Order Logic Dawar, Anuj et al. 2021
4 Game Comonads & Generalised Quantifiers Conghaile, Adam Ó et al. 2021
5 On the Relative Power of Linear Algebraic Approximations of Graph Isomorphism Dawar, Anuj et al. 2021
6 Front Matter, Table of Contents, Preface, Conference Organization Czumaj, Artur et al. 2020
7 LIPIcs, Volume 168, ICALP 2020, Complete Volume Czumaj, Artur et al. 2020
8 Symmetric Arithmetic Circuits Dawar, Anuj et al. 2020
9 Symmetric Computation (Invited Talk) Dawar, Anuj 2020
10 Approximations of Isomorphism and Logics with Linear-Algebraic Operators Dawar, Anuj et al. 2019
11 Definable Inapproximability: New Challenges for Duplicator Atserias, Albert et al. 2018
12 Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361) Dawar, Anuj et al. 2018
13 Symmetric Circuits for Rank Logic Dawar, Anuj et al. 2018
14 The Ackermann Award 2017 Dawar, Anuj et al. 2017
15 The Ackermann Award 2016 Coquand, Thierry et al. 2016
16 The Graph Isomorphism Problem (Dagstuhl Seminar 15511) Babai, László et al. 2016
17 A Definability Dichotomy for Finite Valued CSPs Dawar, Anuj et al. 2015
18 Fixed-parameter Tractable Distances to Sparse Graph Classes Bulian, Jannis et al. 2015
19 The Ackermann Award 2015 Dawar, Anuj et al. 2015
20 On Symmetric Circuits and Fixed-Point Logics Anderson, Matthew et al. 2014
21 The Ackermann Award 2013 Dawar, Anuj et al. 2013
22 Definability of linear equation systems over groups and rings Dawar, Anuj et al. 2012
23 The Ackermann Award 2012 Coquand, Thierry et al. 2012
24 Domination Problems in Nowhere-Dense Classes Dawar, Anuj et al. 2009
25 Structure and Specification as Sources of Complexity Dawar, Anuj 2009
Current Page :
Number of result pages: 1
Number of documents: 25

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI