• Submitted or to be submitted
    1. On Rational Recursive Sequences [arxiv]
    2. with Lorenzo Clemente, Maria Donten-Bury and Michał Pilipczuk.

    The published papers below are grouped by topics. See also my dblp.

  • Vector addition systems
    1. Verifying generalised and structural soundness of workflow nets via relaxations [arxiv]
    2. with Michael Blondin and Philip Oftermatt, CAV 2022.
    3. The complexity of soundness in workflow nets [arxiv]
    4. with Michael Blondin and Philip Oftermatt, LICS 2022.
    5. Continuous One-Counter Automata [arxiv]
    6. with Michael Blondin, Tim Leys, Philip Oftermatt and Guillermo A. Pérez, LICS 2021.
      The journal version is in ACM TOCL.
    7. Reachability in fixed dimension vector addition systems with states [arxiv]
    8. with Wojciech Czerwiński, Sławomir Lasota, Ranko Lazić and Jérôme Leroux, CONCUR 2020.
    9. Reachability for Bounded Branching VASS [arxiv]
    10. with Michał Pilipczuk, CONCUR 2019.
    11. The Reachability Problem for Petri Nets is Not Elementary [arxiv]
    12. with Wojciech Czerwiński, Sławomir Lasota, Ranko Lazić and Jérôme Leroux, STOC 2019 (best paper award).
      The journal version is in JACM.
    13. Affine Extensions of Integer Vector Addition Systems with States [arxiv]
    14. with Michael Blondin and Christoph Haase, CONCUR 2018.
      The journal version is also with Mikhail Raskin and is in LMCS.
    15. Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One [pdf]
    16. with Diego Figueira, Ranko Lazić, Jérôme Leroux and Grégoire Sutre, ICALP 2017.
    17. Timed pushdown automata and branching vector addition systems [pdf]
    18. with Lorenzo Clemente, Sławomir Lasota and Ranko Lazić, LICS 2017.
      The journal version is in ACM TOCL.

  • Weighted automata
    1. The boundedness and zero isolation problems for weighted automata over nonnegative rationals [arxiv]
    2. with Wojciech Czerwiński, Engel Lefaucheux, David Purser and Markus A. Whiteland, LICS 2022.
    3. On polynomial recursive sequences [arxiv]
    4. with Michaël Cadilhac, Charles Paperman, Michał Pilipczuk and Géraud Sénizergues, ICALP 2020.
      The journal version is in TOCS.
    5. A Robust Class of Linear Recurrence Sequences [arxiv]
    6. with Corentin Barloy, Nathanaël Fijalkow and Nathan Lhote, CSL 2020.
      The journal version is in Information and Computation.
    7. Weak Cost Register Automata are Still Powerful [arxiv]
    8. with Shaull Almagor, Michaël Cadilhac and Guillermo A. Pérez, DLT 2018.
      The journal version is in IJFCS.
    9. When is Containment Decidable for Probabilistic Automata? [arxiv]
    10. with Laure Daviaud, Marcin Jurdziński, Ranko Lazić, Guillermo A. Pérez and James Worrell, ICALP 2018.
      The journal version is in JCSS.
    11. Pumping lemmas for weighted automata [pdf]
    12. with Cristian Riveros, STACS 2018.
      The journal version is also with Agnishom Chattopadhyay and Anca Muscholl and is in LMCS.
    13. Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties [pdf][arxiv]
    14. with Cristian Riveros, STACS 2016.
      The journal version is in JCSS.
    15. Maximal partition logic: towards a logical characterization of copyless cost register automata [pdf]
    16. with Cristian Riveros, CSL 2015.

  • Database related logics
    1. Eliminating recursion from monadic datalog programs on trees [arxiv]
    2. with Joanna Ochremiak and Adam Witkowski, MFCS 2015.
    3. Monadic Datalog and Regular Tree Pattern Queries [pdf]
    4. with Filip Murlak and Adam Witkowski, MFCS 2014.
      The journal version is in ACM TODS.
    5. Decidability of weak logics with deterministic transitive closure [pdf]
    6. with Witold Charatonik and Emanuel Kieroński, CSL-LICS 2014.
    7. Complexity of Two-Variable Logic on Finite Trees [pdf]
    8. with Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt and James Worrell, ICALP 2013.
      The journal version is in ACM TOCL.

  • Other
    1. Dynamic Data Structures for Timed Automata Acceptance [arxiv]
    2. with Alejandro Grez, Michał Pilipczuk, Gabriele Puppis and Cristian Riveros, IPEC 2021.
      The journal version is in Algorithmica.
    3. Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework [arxiv]
    4. with Floris Geerts and Guillermo A. Pérez, ICML 2021.