• Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One [pdf]
  • with Diego Figueira, Ranko Lazić, Jérôme Leroux, Grégoire Sutre, ICALP 2017.

  • Timed pushdown automata and branching vector addition systems [pdf]
  • with Lorenzo Clemente, Sławomir Lasota and Ranko Lazić, LICS 2017.

  • Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties [pdf]
  • with Cristian Riveros, STACS 2016.

  • Maximal partition logic: towards a logical characterization of copyless cost register automata [pdf]
  • with Cristian Riveros, CSL 2015.

  • Eliminating recursion from monadic datalog programs on trees [arxiv]
  • with Joanna Ochremiak and Adam Witkowski, MFCS 2015.

  • Monadic Datalog and Regular Tree Pattern Queries [pdf]
  • with Filip Murlak and Adam Witkowski, MFCS 2014.
    The journal version is in ACM TODS.

  • Decidability of weak logics with deterministic transitive closure [pdf]
  • with Witold Charatonik and Emanuel Kieroński, CSL-LICS 2014.

  • Complexity of Two-Variable Logic on Finite Trees [pdf]
  • with Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt and James Worrell, ICALP 2013.
    The journal version is in ACM TOCL.