Publikacje

Henry Sinclair-Banks

2025

• Michał Pilipczuk , Sylvain Schmitz, Henry Sinclair-Banks , A Note on the Parameterised Complexity of Coverability in Vector Addition Systems, 20th International Symposium on Parameterized and Exact Computation (IPEC 2025), Warszawa, Poland, 17 września 2025 - 19 września 2025. Zobacz w PBN
• Marvin Künnemann, Filip Mazowiecki , Lia Schütze, Henry Sinclair-Banks , Karol Węgrzycki, Coverability in VASS Revisited: Improving Rackoff’s Bounds to Obtain Conditional Optimality, JOURNAL OF THE ACM, 2025. Zobacz w PBN

2024

• Dmitry Chistikov, Wojciech Czerwiński , Filip Mazowiecki , Łukasz Orlikowski , Henry Sinclair-Banks , Karol Węgrzycki, The Tractability Border of Reachability in Simple Vector Addition Systems with States, 65th IEEE Symposium on Foundations of Computer Science, Chicago, the United States of America, 27 października 2024 - 30 października 2024. Zobacz w PBN