Roy Overbeek

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 22

Top Topics

Conjunctive Queries

Mutual Exclusion

Rewrite Systems

Top Venues

Log. Methods Comput. Sci.

Publications

Jörg Endrullis, Roy Overbeek
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems. ICGT (2024)
Roy Overbeek, Jörg Endrullis
A PBPO+ Graph Rewriting Tutorial. CoRR (2023)
Roy Overbeek, Jörg Endrullis
Termination of Graph Transformation Systems Using Weighted Subgraph Counting. ICGT (2023)
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting. CoRR (2023)
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
Fuzzy Presheaves are Quasitoposes. ICGT (2023)
Jörg Endrullis, Roy Overbeek
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems. CoRR (2023)
Roy Overbeek, Jörg Endrullis
Termination of Graph Transformation Systems using Weighted Subgraph Counting. CoRR (2023)
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
: A unifying theory for quasitoposes. J. Log. Algebraic Methods Program. 133 (2023)
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes. CoRR (2022)
Roy Overbeek, Jörg Endrullis
From Linear Term Rewriting to Graph Rewriting with Preservation of Termination. GCM@STAF (2021)
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
Star Games and Hydras. Log. Methods Comput. Sci. 17 (2) (2021)
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
. ICGT (2021)
Roy Overbeek, Jörg Endrullis
Patch Graph Rewriting. CoRR (2020)
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
Decreasing Diagrams for Confluence and Commutation. Log. Methods Comput. Sci. 16 (1) (2020)
Roy Overbeek
Formalizing determinacy of concurrent revisions. CPP (2020)
Roy Overbeek, Jörg Endrullis
Patch Graph Rewriting. ICGT (2020)
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
Star Games and Hydras. CoRR (2020)
Roy Overbeek, Jörg Endrullis
Graph Rewriting and Relabeling with PBPO+ (Extended Version). CoRR (2020)
Roy Overbeek
Formalizing Determinacy of Concurrent Revisions. CoRR (2019)
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
Decreasing Diagrams for Confluence and Commutation. CoRR (2019)
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems. FSCD (2018)
Roy Overbeek
Formalization of Concurrent Revisions. Arch. Formal Proofs 2018 (2018)