( en | de | ru )

 

Disambiguation of "Overbeek, Roy"

Author of the publication

copydeleteadd this publication to your clipboard
A PBPO+ Graph Rewriting Tutorial.

, and . TERMGRAPH@FSCD, volume 377 of EPTCS, page 45-63. (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Roy Hornig

Beschreibung mikro-rheologischer Vorgänge und resultierender Verbundstrukturen beim Elastomermischprozeß im Innenmischer durch rheologische Untersuchungen. NA Halle-Wittenberg, (2009)

Trina Roy

Smritindu Roy

David Roy

Wolfgang Roy

 

Other publications of authors with the same name

Formalization of Concurrent Revisions.. Arch. Formal Proofs, (2018)Formalizing determinacy of concurrent revisions.. CPP, page 258-269. ACM, (2020)Termination of Graph Transformation Systems Using Weighted Subgraph Counting., and . ICGT, volume 13961 of Lecture Notes in Computer Science, page 81-101. Springer, (2023)From Linear Term Rewriting to Graph Rewriting with Preservation of Termination., and . GCM@STAF, volume 350 of EPTCS, page 19-34. (2021)Formalizing Determinacy of Concurrent Revisions.. CoRR, (2019)Generalized Weighted Type Graphs for Termination of Graph Transformation Systems., and . ICGT, volume 14774 of Lecture Notes in Computer Science, page 39-58. Springer, (2024)Graph Rewriting and Relabeling with PBPO+., , and . ICGT, volume 12741 of Lecture Notes in Computer Science, page 60-80. Springer, (2021)Patch Graph Rewriting., and . ICGT, volume 12150 of Lecture Notes in Computer Science, page 128-145. Springer, (2020)Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting., , and . CoRR, (2023)A PBPO+ Graph Rewriting Tutorial., and . TERMGRAPH@FSCD, volume 377 of EPTCS, page 45-63. (2022)