Benjamin Merlin Bumpus

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
Fixed-parameter tractable certified algorithms for covering and dominating in planar graphs and beyond	2025-12-02	Paper
Additive invariants of open Petri nets Compositionality	2025-08-28	Paper
Degree of satisfiability in Heyting algebras The Journal of Symbolic Logic	2025-07-24	Paper
Search-space reduction via essential vertices	2025-06-19	Paper
Search-space reduction via essential vertices SIAM Journal on Discrete Mathematics	2024-09-17	Paper
Spined categories: generalizing tree-width beyond graphs European Journal of Combinatorics	2023-10-02	Paper
Edge exploration of temporal graphs Algorithmica	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 Lecture Notes in Computer Science	2022-03-22	Paper
Edge exploration of temporal graphs Lecture Notes in Computer Science	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 (available as arXiv preprint)	N/A	Paper
Additive Invariants of Open Petri Nets (available as arXiv preprint)	N/A	Paper
Towards a Unified Theory of Time-Varying Data (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Benjamin Merlin Bumpus