• Sign in
  • Sign up
conf.researchr.org / Berthold Hoffmann
  • 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
xMon 27 Oct 10:07
using conf.researchr.org (v1.72.1)
Support page
Sign Up