Lia Schütze

15 papers A* 4B 2Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures.
Proc. ACM Program. Lang.
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
2026 B conf
Well-quasi-orderings on word languages.
FoSSaCS
Nathan Lhote, Aliaume Lopez, Lia Schütze
2025 J jnl
Bounded treewidth, multiple context-free grammars, and downward closures.
CoRR
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
2025 J jnl
Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality.
J. ACM
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
2025 J jnl
Well-Quasi-Orderings on Word Languages.
CoRR
Nathan Lhote, Aliaume Lopez, Lia Schütze
2024 A* conf
On the Length of Strongly Monotone Descending Chains over ℕ^d.
ICALP
Sylvain Schmitz, Lia Schütze
2024 A* conf
Verifying Unboundedness via Amalgamation.
LICS
Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche
2024 J jnl
Verifying Unboundedness via Amalgamation.
CoRR
Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche
2023 A* conf
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality.
ICALP
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
2023 J jnl
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality.
CoRR
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
2023 J jnl
On the Length of Strongly Monotone Descending Chains over N
CoRR
Sylvain Schmitz, Lia Schütze
2023 B conf
Unboundedness Problems for Machines with Reversal-Bounded Counters.
FoSSaCS
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
2023 J jnl
Unboundedness problems for machines with reversal-bounded counters.
CoRR
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
2022 A* conf
Reachability in Bidirected Pushdown VASS.
ICALP
Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
2022 J jnl
Reachability in Bidirected Pushdown VASS.
CoRR
Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche