Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frank Drewes
conf.researchr.org general profile
STAF 2023 profile
STAF 2025 profile
Not registered as user
Name:
Frank Drewes
Country:
Sweden
Affiliation:
Umeå universitet
Contributions
2025
GCM
Author of Systems of Graph Formulas and their Equivalence to Alternating Graph Automata within the GCM 2025-track
ICGT
Author of Graph Formulas and their Translation to Alternating Graph Automata within the ICGT Research Papers-track
Author of Specifying and Checking Graph Properties with Alternating Graph Automata within the ICGT Research Papers-track
2023
GCM
Author of Finite Automata for Efficient Graph Recognition within the GCM 2023-track
Share
x
Sun 26 Oct 21:27