Lia Schütze

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Transitive Closure

Formal Specification Language

Top Venues

Publications

Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche
Verifying Unboundedness via Amalgamation. LICS (2024)
Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche
Verifying Unboundedness via Amalgamation. CoRR (2024)
Sylvain Schmitz, Lia Schütze
On the Length of Strongly Monotone Descending Chains over ℕ^d. ICALP (2024)
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
Unboundedness problems for machines with reversal-bounded counters. CoRR (2023)
Sylvain Schmitz, Lia Schütze
. CoRR (2023)
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality. ICALP (2023)
Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
Unboundedness Problems for Machines with Reversal-Bounded Counters. FoSSaCS (2023)
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality. CoRR (2023)
Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
Reachability in Bidirected Pushdown VASS. ICALP (2022)
Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
Reachability in Bidirected Pushdown VASS. CoRR (2022)