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.