Henry Sinclair-Banks

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

Collaborative distances:

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

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

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