Henry Sinclair-Banks

Orcid: 0000-0003-1653-4069

According to our database1, Henry Sinclair-Banks authored at least 6 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Dimension-Minimality and Primality of Counter Nets.
Proceedings of the Foundations of Software Science and Computation Structures, 2024

The Tractability Border of Reachability in Simple Vector Addition Systems with States.
Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

Invariants for One-Counter Automata with Disequality Tests.
Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Acyclic Petri and Workflow Nets with Resets.
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

Coverability in 2-VASS with One Unary Counter is in NP.
Proceedings of the Foundations of Software Science and Computation Structures, 2023


  Loading...