| Publication | Date of Publication | Type |
|---|
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 |
Directed branch-width: a directed analogue of tree-width
Discrete Mathematics | 2027-01-01 | Paper |
Towards a unified theory of time-varying data
Applied Categorical Structures | 2026-04-29 | Paper |
A Parameterized Algorithm for Testing whether the Limit of a Diagram is Empty
(available as arXiv preprint) | 2026-01-01 | Paper |
Decomposing time-varying data into simple pieces: structured decompositions of narratives
(available as arXiv preprint) | 2026-01-01 | Paper |
Time-Varying Data as Sheaves: an Invitation to Narratives
(available as arXiv preprint) | 2026-01-01 | Paper |
| 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 |
Failures of Compositionality: A Short Note on Cohomology, Sheafification and Lavish Presheaves
(available as arXiv preprint) | 2024-01-01 | Paper |
Pushing Tree Decompositions Forward Along Graph Homomorphisms
(available as arXiv preprint) | 2024-01-01 | 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 |
Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves
(available as arXiv preprint) | 2023-01-01 | 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 |
Structured Decompositions: Structural and Algorithmic Compositionality
(available as arXiv preprint) | 2022-01-01 | Paper |
| Treewidth via Spined Categories (extended abstract) | 2021-05-11 | Paper |
Treewidth via Spined Categories (extended abstract)
(available as arXiv preprint) | 2021-01-01 | Paper |
| Directed branch-width: A directed analogue of tree-width | 2020-09-18 | Paper |
Directed branch-width: A directed analogue of tree-width
(available as arXiv preprint) | 2020-01-01 | Paper |
