Berthold Hoffmann

dblp:95/3187 · DBLP profile ↗
← Back
23ranked-venue papers
5as first author
4since 2021 · last 2025
0000-0002-5608-996XORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 21 · 5 first-author · 4 since 2021Databases, data management, data science and information retrieval · 12 · 1 first-author · 4 since 2021Software engineering, systems software and programming languages · 3
YearPublicationVenuePosition
2025 Specifying and Checking Graph Properties with Alternating Graph Automata
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2025 Graph Formulas and Their Translation to Alternating Graph Automata
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2022 Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2021 Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2020 Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2019 Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2019 Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars
Berthold Hoffmann, Mark Minas
LATA1
2017 Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2015 Predictive Top-Down Parsing for Hyperedge Replacement Grammars
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2015 Contextual hyperedge replacement
Frank Drewes, Berthold Hoffmann
Acta Informatica2
2010 A case study to evaluate the suitability of graph transformation tools for program refactoring
Francisco Javier Pérez García, Yania Crespo, Berthold Hoffmann, Tom Mens
Int. J. Softw. Tools Technol. Transf.3
2010 Adaptive star grammars and their languages
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas
Theor. Comput. Sci.2
2008 Adaptive Star Grammars for Graph Models
Frank Drewes, Berthold Hoffmann, Mark Minas
ICGT2
2006 Adaptive Star Grammars
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
ICGT2
2004 Parallel Independence in Hierarchical Graph Transformation
Annegret Habel, Berthold Hoffmann
ICGT2
2003 Abstraction and Control for Shapely Nested Graph Transformation
Berthold Hoffmann
Fundam. Informaticae1
2002 Abstraction and Control for Shapely Nested Graph Transformation
Berthold Hoffmann
ICGT1
2002 Hierarchical Graph Transformation
Frank Drewes, Berthold Hoffmann, Detlef Plump
J. Comput. Syst. Sci.2
2000 Hierarchical Graph Transformation
Frank Drewes, Berthold Hoffmann, Detlef Plump
FoSSaCS2
1999 Graph Transformation for Specification and Programming
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer
Sci. Comput. Program.4
1991 The PROSPECTRA System
Berthold Hoffmann, Bernd Krieg-Brückner
STACS1
1981 A Graph-Theoretical Model for Multi-Pass Parsing
Hartmut Ehrig, Berthold Hoffmann, Ilse Schmiedecke
WG2
1980 A Mathematical Approach to Multi-Pass Parsing
Berthold Hoffmann, Ilse Schmiedecke
MFCS1