Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Berthold Hoffmann
conf.researchr.org general profile
STAF 2023 profile
STAF 2025 profile
STAF 2026 profile
Registered user since Mon 15 Jun 2026
Name:
Berthold Hoffmann
Contributions
2026
ICGT
Author of Conditional Borrowing Hyperedge Replacement within the ICGT Research Papers-track
GCM
Author of Parsing with Graph Grammars based on Conditional Borrowing Hyperedge Replacement within the GCM 2026-track
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
Sat 15 Aug 09:43