bibliographer - Henry Sinclair-Banks

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On the complexity of reachability problems in counter systems Henry Sinclair-Banks [github]

Reachability in VASS Extended with Integer Counters Clotilde Bizière Wojciech Czerwiński Roland Guttenberg Jérôme Leroux Vincent Michielini Łukasz Orlikowski Antoni Puch Henry Sinclair-Banks [github]

History-Constrained Systems Louwe B. Kuijer David Purser Henry Sinclair-Banks Patrick Totzke [github]

Exploring VASS Parameterised by Geometric Dimension Wojciech Czerwiński Roland Guttenberg Łukasz Orlikowski Henry Sinclair-Banks Yangluo Zheng [github]

Acyclic Petri and Workflow Nets with Resets Dmitry Chistikov Wojciech Czerwiński Piotr Hofman Filip Mazowiecki Henry Sinclair-Banks [github]

Dimension-Minimality and Primality of Counter Nets Shaull Almagor Guy Avni Henry Sinclair-Banks Asaf Yeshurun [github]

Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality Marvin Kunnemann Filip Mazowiecki Lia Schutze Henry Sinclair-Banks Karol Węgrzycki [github]

Coverability in 2-VASS with One Unary Counter is in NP Filip Mazowiecki Henry Sinclair-Banks Karol Węgrzycki [github]

Library Size: 13G (8 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]