All Stories

  1. Separating LREC from LFP

    Article • August 2022, ACM (Association for Computing Machinery)

    Anuj Dawar, Felipe Ferreira Santos

  2. Symmetric Circuits for Rank Logic

    Article • ACM Transactions on Computational Logic, January 2022, ACM (Association for Computing Machinery)

    Anuj Dawar

  3. Lovász-Type Theorems and Game Comonads

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Anuj Dawar

  4. Pebble Games with Algebraic Rules*

    Article • Fundamenta Informaticae, March 2017, IOS Press

    Anuj Dawar

  5. Solving Linear Programs without Breaking Abstractions

    Article • Journal of the ACM, December 2015, ACM (Association for Computing Machinery)

    Anuj Dawar