Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roy Overbeek
conf.researchr.org general profile
POPL 2020 profile
STAF 2023 profile
STAF 2024 profile
Registered user since Wed 11 Dec 2019
Name:
Roy Overbeek
Country:
Netherlands
Affiliation:
Vrije Universiteit Amsterdam
Contributions
2024
ICGT
Author of Generalized Weighted Type Graphs for Termination of Graph Transformation Systems within the ICGT Research Papers-track
2023
ICGT
Author of Fuzzy Presheaves are Quasitoposes within the Research Papers-track
Presenter of Termination of Graph Transformation Systems using Weighted Subgraph Counting within the Research Papers-track
2020
CPP
Author of Formalizing Determinacy of Concurrent Revisions within the CPP 2020-track
Share
x
Mon 2 Dec 17:46