Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Berthold Hoffmann
conf.researchr.org general profile
STAF 2023 profile
STAF 2025 profile
Not registered as user
Name:
Berthold Hoffmann
Contributions
2025
GCM
Author of Systems of Graph Formulas and their Equivalence to Alternating Graph Automata within the GCM 2025-track
ICGT
Author of Specifying and Checking Graph Properties with Alternating Graph Automata within the ICGT Research Papers-track
Author of Graph Formulas and their Translation to Alternating Graph Automata within the ICGT Research Papers-track
2023
GCM
PC Member in Program Committee within the GCM 2023-track
Author of Finite Automata for Efficient Graph Recognition within the GCM 2023-track
Share
x
Mon 27 Oct 10:07