Lia Schütze

According to our database, Lia Schütze authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On the Length of Strongly Monotone Descending Chains over N^d.

Sylvain Schmitz, Lia Schütze

CoRR, 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

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Unboundedness Problems for Machines with Reversal-Bounded Counters.

Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Reachability in Bidirected Pushdown VASS.

Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022