Coverability in 2-VASS with One Unary Counter is in NP. - Filip Mazowiecki; Henry Sinclair-Banks; Karol Wegrzycki (FoSSaCS, 2023)

Acyclic Petri and Workflow Nets with Resets. - Dmitry Chistikov 001; Wojciech Czerwinski; Piotr Hofman; Filip Mazowiecki; Henry Sinclair-Banks (FSTTCS, 2023)

Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality. - Marvin Künnemann; Filip Mazowiecki; Lia Schütze; Henry Sinclair-Banks; Karol Wegrzycki (ICALP, 2023)

Invariants for One-Counter Automata with Disequality Tests. - Dmitry Chistikov 001; Jérôme Leroux; Henry Sinclair-Banks; Nicolas Waldburger (CONCUR, 2024)

The Tractability Border of Reachability in Simple Vector Addition Systems with States. - Dmitry Chistikov 001; Wojciech Czerwinski; Filip Mazowiecki; Lukasz Orlikowski; Henry Sinclair-Banks; Karol Wegrzycki (FOCS, 2024)

Dimension-Minimality and Primality of Counter Nets. - Shaull Almagor; Guy Avni; Henry Sinclair-Banks; Asaf Yeshurun (FoSSaCS (2), 2024)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter. - Yousef Shakiba; Henry Sinclair-Banks; Georg Zetzsche (CoRR, 2025)