Henry Sinclair-Banks

According to our database, Henry Sinclair-Banks authored at least 12 papers between 2023 and 2026.

Collaborative distances:

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

2026

Reachability in VASS Extended with Integer Counters.

Clotilde Bizière, Wojciech Czerwinski, Roland Guttenberg, Jérôme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks

CoRR, March, 2026

Exploring VASS Parameterised by Geometric Dimension.

Wojciech Czerwinski, Roland Guttenberg, Lukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng

CoRR, February, 2026

History-Constrained Systems.

Louwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality.

Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki

J. ACM, October, 2025

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter.

Yousef Shakiba, Henry Sinclair-Banks, Georg Zetzsche

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

A Note on the Parameterised Complexity of Coverability in Vector Addition Systems.

Michal Pilipczuk, Sylvain Schmitz, Henry Sinclair-Banks

Proceedings of the 20th International Symposium on Parameterized and Exact Computation, 2025

2024

Dimension-Minimality and Primality of Counter Nets.

Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun

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

The Tractability Border of Reachability in Simple Vector Addition Systems with States.

Dmitry Chistikov, Wojciech Czerwinski, Filip Mazowiecki, Lukasz Orlikowski, Henry Sinclair-Banks, Karol Wegrzycki

Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

Invariants for One-Counter Automata with Disequality Tests.

Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger

Proceedings of the 35th International Conference on Concurrency Theory, 2024

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

Acyclic Petri and Workflow Nets with Resets.

Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Filip Mazowiecki, Henry Sinclair-Banks

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

Coverability in 2-VASS with One Unary Counter is in NP.

Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki

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