Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems. - Jörg Endrullis; Jan Willem Klop; Roy Overbeek (FSCD, 2018)

Formalization of Concurrent Revisions. - Roy Overbeek (Arch. Formal Proofs, 2018)

Formalizing determinacy of concurrent revisions. - Roy Overbeek (CPP, 2020)

Patch Graph Rewriting. - Roy Overbeek; Jörg Endrullis (ICGT, 2020)

Graph Rewriting and Relabeling with PBPO+ (Extended Version). - Roy Overbeek; Jörg Endrullis (CoRR, 2020)

Decreasing Diagrams for Confluence and Commutation. - Jörg Endrullis; Jan Willem Klop; Roy Overbeek (Log. Methods Comput. Sci., 2020)

Graph Rewriting and Relabeling with PBPO+. - Roy Overbeek; Jörg Endrullis; Aloïs Rosset (ICGT, 2021)

From Linear Term Rewriting to Graph Rewriting with Preservation of Termination. - Roy Overbeek; Jörg Endrullis (GCM@STAF, 2021)

Star Games and Hydras. - Jörg Endrullis; Jan Willem Klop; Roy Overbeek (Log. Methods Comput. Sci., 2021)

Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes. - Roy Overbeek; Jörg Endrullis; Aloïs Rosset (CoRR, 2022)

A PBPO+ Graph Rewriting Tutorial. - Roy Overbeek; Jörg Endrullis (TERMGRAPH@FSCD, 2022)

Fuzzy Presheaves are Quasitoposes. - Aloïs Rosset; Roy Overbeek; Jörg Endrullis (ICGT, 2023)

Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting. - Aloïs Rosset; Roy Overbeek; Jörg Endrullis (CoRR, 2023)

Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes. - Roy Overbeek; Jörg Endrullis; Aloïs Rosset (J. Log. Algebraic Methods Program., 2023)

Generalized Weighted Type Graphs for Termination of Graph Transformation Systems. - Jörg Endrullis; Roy Overbeek (ICGT, 2024)

Termination of Graph Transformation Systems Using Weighted Subgraph Counting. - Roy Overbeek; Jörg Endrullis (Log. Methods Comput. Sci., 2024)