Henry Sinclair-Banks
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A note on the parameterised complexity of coverability in vector addition systems | 2026-09-23 | Paper |
| Invariants for one-counter automata with disequality tests | 2026-02-10 | Paper |
| Coverability in VASS revisited: improving Rackoff's bounds to obtain conditional optimality Journal of the ACM | 2025-11-27 | Paper |
| Acyclic Petri and workflow nets with resets | 2025-07-28 | Paper |
| Coverability in VASS revisited: improving Rackoff's bound to obtain conditional optimality | 2024-11-14 | Paper |
| Dimension-minimality and primality of counter nets | 2024-10-30 | Paper |
| Coverability in 2-VASS with one unary counter is in NP Lecture Notes in Computer Science | 2023-11-24 | Paper |
Research outcomes over time
This page was built for person: Henry Sinclair-Banks
