Henry Sinclair-Banks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Representing One Letter Weighted Automata over the Tropical Semiring. | Shaull Almagor, Ismal Jecker, Filip Mazowiecki, Lukasz Orlikowski, David Purser, Henry Sinclair-Banks |
| 2026 | FM | History-Constrained Systems. | Louwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke |
| 2026 | ICALP | Exploring VASS Parameterised by Geometric Dimension. | Wojciech Czerwinski, Roland Guttenberg, Lukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng |
| 2026 | LICS | Reachability in VASS Extended with Integer Counters. | Clotilde Bizire, Wojciech Czerwinski, Roland Guttenberg, Jrme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks |
| 2025 | LICS | A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter. | Yousef Shakiba, Henry Sinclair-Banks, Georg Zetzsche |
| 2024 | CONCUR | Invariants for One-Counter Automata with Disequality Tests. | Dmitry Chistikov, Jrme Leroux, Henry Sinclair-Banks, Nicolas Waldburger |
| 2024 | FOCS | 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 |
| 2024 | FOSSACS | Dimension-Minimality and Primality of Counter Nets. | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun |
| 2023 | FOSSACS | Coverability in 2-VASS with One Unary Counter is in NP. | Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki |
| 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 |