Roy Overbeek

According to our database, Roy Overbeek authored at least 16 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.

Jörg Endrullis, Roy Overbeek

Proceedings of the Graph Transformation - 17th International Conference, 2024

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., June, 2023

Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting.

Aloïs Rosset, Roy Overbeek, Jörg Endrullis

CoRR, 2023

Fuzzy Presheaves are Quasitoposes.

Aloïs Rosset, Roy Overbeek, Jörg Endrullis

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

Termination of Graph Transformation Systems Using Weighted Subgraph Counting.

Roy Overbeek, Jörg Endrullis

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

2022

A PBPO+ Graph Rewriting Tutorial.

Roy Overbeek, Jörg Endrullis

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.

Roy Overbeek, Jörg Endrullis, Aloïs Rosset

CoRR, 2022

2021

Star Games and Hydras.

Jörg Endrullis, Jan Willem Klop, Roy Overbeek

Log. Methods Comput. Sci., 2021

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

Roy Overbeek, Jörg Endrullis

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

Graph Rewriting and Relabeling with PBPO⁺.

Roy Overbeek, Jörg Endrullis, Aloïs Rosset

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

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+ (Extended Version).

Roy Overbeek, Jörg Endrullis

CoRR, 2020

Patch Graph Rewriting.

Roy Overbeek, Jörg Endrullis

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

Formalizing determinacy of concurrent revisions.

Roy Overbeek

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

2018

Formalization of Concurrent Revisions.

Roy Overbeek

Arch. Formal Proofs, 2018

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

Jörg Endrullis, Jan Willem Klop, Roy Overbeek

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018