Get started
Author

Lia Schütze

Observed name: Schütze, Lia
ORCID: 0000-0003-4002-5491
Observed ORCID: 0000-0003-4002-5491
OpenAlex ID: A5049169897
Unboundedness Problems for Machines with Reversal-Bounded Counters
2023 · Pascal Baumann, Flavio D’Alessandro, et al. · Lecture notes in computer science · 17
PDF
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
2023 · Künnemann, Marvin, Mazowiecki, Filip, et al. · arXiv (Cornell University) · 14
PDF
Reachability in Bidirected Pushdown VASS
2022 · Ganardi, Moses, Majumdar, Rupak, et al. · arXiv (Cornell University) · 13
PDF
Verifying Unboundedness via Amalgamation
2024 · Ashwani Anand, Sylvain Schmitz, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 12
Coverability in VASS Revisited: Improving Rackoff’s Bounds to Obtain Conditional Optimality
2025 · Marvin Künnemann, Filip Mazowiecki, et al. · Journal of the ACM · 6
PDF
On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$
2023 · Schmitz, Sylvain, Schütze, Lia · HAL · 5
PDF
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures
2026 · C. Aiswarya, Pascal Baumann, et al. · Proceedings of the ACM on Programming Languages · 1
Well-quasi-orderings on word languages
2026 · Nathan Lhote, Aliaume Lopez, et al. · Lecture notes in computer science
PDF
Works count: 9
Citation count: 68
H-index: 5
I10-index: 4
Year
Topic
Type