Lia Schtze
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Well-quasi-orderings on word languages. | Nathan Lhote, Aliaume Lopez, Lia Schtze |
| 2024 | ICALP | On the Length of Strongly Monotone Descending Chains over ℕ^d. | Sylvain Schmitz, Lia Schtze |
| 2024 | LICS | Verifying Unboundedness via Amalgamation. | Ashwani Anand, Sylvain Schmitz, Lia Schtze, Georg Zetzsche |
| 2023 | FOSSACS | Unboundedness Problems for Machines with Reversal-Bounded Counters. | Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schtze, Georg Zetzsche |
| 2023 | ICALP | Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality. | Marvin Knnemann, Filip Mazowiecki, Lia Schtze, Henry Sinclair-Banks, Karol Wegrzycki |
| 2022 | ICALP | Reachability in Bidirected Pushdown VASS. | Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schtze, Georg Zetzsche |