Roy Overbeek

24 papers B 7Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Termination of Graph Transformation Systems via Generalized Weighted Type Graphs.
Log. Methods Comput. Sci.
Jörg Endrullis, Roy Overbeek
2024 B conf
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
ICGT
Jörg Endrullis, Roy Overbeek
2024 J jnl
Termination of Graph Transformation Systems Using Weighted Subgraph Counting.
Log. Methods Comput. Sci.
Roy Overbeek, Jörg Endrullis
2023 J jnl
Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting.
CoRR
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
2023 B conf
Fuzzy Presheaves are Quasitoposes.
ICGT
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
2023 J jnl
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
CoRR
Jörg Endrullis, Roy Overbeek
2023 J jnl
Graph rewriting and relabeling with PBPO
J. Log. Algebraic Methods Program.
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2023 B conf
Termination of Graph Transformation Systems Using Weighted Subgraph Counting.
ICGT
Roy Overbeek, Jörg Endrullis
2023 J jnl
Termination of Graph Transformation Systems using Weighted Subgraph Counting.
CoRR
Roy Overbeek, Jörg Endrullis
2022 — conf
A PBPO+ Graph Rewriting Tutorial.
TERMGRAPH@FSCD
Roy Overbeek, Jörg Endrullis
2022 J jnl
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes.
CoRR
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2021 — conf
From Linear Term Rewriting to Graph Rewriting with Preservation of Termination.
GCM@STAF
Roy Overbeek, Jörg Endrullis
2021 B conf
Graph Rewriting and Relabeling with PBPO
ICGT
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2021 J jnl
Star Games and Hydras.
Log. Methods Comput. Sci.
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2020 J jnl
Decreasing Diagrams for Confluence and Commutation.
Log. Methods Comput. Sci.
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2020 B conf
Formalizing determinacy of concurrent revisions.
CPP
Roy Overbeek
2020 J jnl
Graph Rewriting and Relabeling with PBPO+ (Extended Version).
CoRR
Roy Overbeek, Jörg Endrullis
2020 B conf
Patch Graph Rewriting.
ICGT
Roy Overbeek, Jörg Endrullis
2020 J jnl
Patch Graph Rewriting.
CoRR
Roy Overbeek, Jörg Endrullis
2020 J jnl
Star Games and Hydras.
CoRR
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2019 J jnl
Decreasing Diagrams for Confluence and Commutation.
CoRR
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2019 J jnl
Formalizing Determinacy of Concurrent Revisions.
CoRR
Roy Overbeek
2018 B conf
Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems.
FSCD
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
2018 J jnl
Formalization of Concurrent Revisions.
Arch. Formal Proofs
Roy Overbeek