Emmett Rayes -

Registered user since Mon 15 Jun 2026

Name:Emmett Rayes

Affiliation:RWTH Aachen University

Contributions

2026

ICGT

Author of Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars within the ICGT Research Papers-track