Roy Overbeek

J. Log. Algebraic Methods Program., June, 2023

Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting.

[BibT_eX]

[DOI]

CoRR, 2023

Fuzzy Presheaves are Quasitoposes.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 16th International Conference, 2023

Termination of Graph Transformation Systems Using Weighted Subgraph Counting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

A PBPO+ Graph Rewriting Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on Computing with Terms and Graphs, 2022

Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Star Games and Hydras.

[BibT_eX]

[DOI]

Jan Willem Klop

Log. Methods Comput. Sci., 2021

From Linear Term Rewriting to Graph Rewriting with Preservation of Termination.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

Graph Rewriting and Relabeling with PBPO<sup>+</sup>.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

Decreasing Diagrams for Confluence and Commutation.

[BibT_eX]

[DOI]

Jan Willem Klop

Log. Methods Comput. Sci., 2020

Graph Rewriting and Relabeling with PBPO+ (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2020

Patch Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 13th International Conference, 2020

Formalizing determinacy of concurrent revisions.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2018

Formalization of Concurrent Revisions.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems.

[BibT_eX]

[DOI]

Jan Willem Klop