• Sign in
  • Sign up
conf.researchr.org / Roy Overbeek
  • POPL 2020 profile
  • STAF 2023 profile
  • STAF 2024 profile
No Photo

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
xWed 21 May 22:50
using conf.researchr.org (v1.69.0)
Support page
Sign Up