Reachability in Bidirected Pushdown VASS. - Moses Ganardi; Rupak Majumdar; Andreas Pavlogiannis; Lia Schütze; Georg Zetzsche (ICALP, 2022)

Unboundedness Problems for Machines with Reversal-Bounded Counters. - Pascal Baumann 001; Flavio D'Alessandro; Moses Ganardi; Oscar H. Ibarra; Ian McQuillan; Lia Schütze; Georg Zetzsche (FoSSaCS, 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)

On the Length of Strongly Monotone Descending Chains over Nd. - Sylvain Schmitz; Lia Schütze (CoRR, 2023)

On the Length of Strongly Monotone Descending Chains over ℕ^d. - Sylvain Schmitz; Lia Schütze (ICALP, 2024)

Verifying Unboundedness via Amalgamation. - Ashwani Anand; Sylvain Schmitz; Lia Schütze; Georg Zetzsche (LICS, 2024)

Well-Quasi-Orderings on Word Languages. - Nathan Lhote; Aliaume Lopez; Lia Schütze (CoRR, 2025)