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 |