Roy Overbeek

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
Termination of graph transformation systems via generalized weighted type graphs Logical Methods in Computer Science	2026-03-23	Paper
Termination of graph transformation systems using weighted subgraph counting Logical Methods in Computer Science	2025-01-31	Paper
From linear term rewriting to graph rewriting with preservation of termination	2024-12-06	Paper
scientific article; zbMATH DE number 7809761 (Why is no real title available?) (available as arXiv preprint)	2024-02-27	Paper
scientific article; zbMATH DE number 7809761 (Why is no real title available?)	2024-02-27	Paper
Termination of graph transformation systems using weighted subgraph counting	2024-01-12	Paper
Fuzzy presheaves are quasitoposes	2024-01-12	Paper
Graph rewriting and relabeling with PBPO^+: a unifying theory for quasitoposes Journal of Logical and Algebraic Methods in Programming	2023-06-19	Paper
Patch graph rewriting Graph Transformation	2022-09-01	Paper
Graph rewriting and relabeling with PBPO\textsuperscript{+} (available as arXiv preprint)	2022-03-21	Paper
scientific article; zbMATH DE number 7379291 (Why is no real title available?) (available as arXiv preprint)	2021-08-05	Paper
Decreasing diagrams with two labels are complete for confluence of countable systems	2021-06-15	Paper
Decreasing diagrams for confluence and commutation (available as arXiv preprint)	2020-05-12	Paper
Decreasing diagrams for confluence and commutation	2020-05-12	Paper

Research outcomes over time

This page was built for person: Roy Overbeek