Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality M Künnemann, F Mazowiecki, L Schütze, H Sinclair-Banks, K Węgrzycki arXiv preprint arXiv:2305.01581, 2023 | 6 | 2023 |
Coverability in 2-VASS with One Unary Counter is in NP F Mazowiecki, H Sinclair-Banks, K Węgrzycki International Conference on Foundations of Software Science and Computation …, 2023 | 2 | 2023 |
Dimension-Minimality and Primality of Counter Nets S Almagor, G Avni, H Sinclair-Banks, A Yeshurun International Conference on Foundations of Software Science and Computation …, 2024 | | 2024 |
Acyclic Petri and Workflow Nets with Resets D Chistikov, W Czerwiński, P Hofman, F Mazowiecki, H Sinclair-Banks arXiv preprint arXiv:2310.01992, 2023 | | 2023 |