Henry Sinclair-Banks

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 9

Top Topics

Qualitative Temporal Reasoning

Double Exponential

Workflow Management Systems

Top Venues

Publications

Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
Dimension-Minimality and Primality of Counter Nets. FoSSaCS (2) (2024)
Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger
Invariants for One-Counter Automata with Disequality Tests. CONCUR (2024)
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality. ICALP (2023)
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
Dimension-Minimality and Primality of Counter Nets. CoRR (2023)
Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki
Coverability in 2-VASS with One Unary Counter is in NP. FoSSaCS (2023)
Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Filip Mazowiecki, Henry Sinclair-Banks
Acyclic Petri and Workflow Nets with Resets. FSTTCS (2023)
Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki
Coverability in 2-VASS with One Unary Counter is in NP. CoRR (2023)
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality. CoRR (2023)
Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Filip Mazowiecki, Henry Sinclair-Banks
Acyclic Petri and Workflow Nets with Resets. CoRR (2023)