Benjamin Merlin Bumpus

Available identifiers

Publication	Date of Publication	Type
Search-space reduction via essential vertices	2024-09-17	Paper
Spined categories: generalizing tree-width beyond graphs	2023-10-02	Paper
Edge exploration of temporal graphs	2023-03-09	Paper
Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves	2023-02-10	Paper
Structured Decompositions: Structural and Algorithmic Compositionality	2022-07-13	Paper
Edge exploration of temporal graphs	2022-03-22	Paper
Treewidth via Spined Categories (extended abstract)	2021-05-11	Paper
Directed branch-width: A directed analogue of tree-width	2020-09-18	Paper
Degree of Satisfiability in Heyting Algebras	N/A	Paper
Additive Invariants of Open Petri Nets	N/A	Paper
Towards a Unified Theory of Time-Varying Data	N/A	Paper

This page was built for person: Benjamin Merlin Bumpus