Berthold Hoffmann

ORCID

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 11

Top Venues

ICGT

CoRR

STAF Workshops

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Frank Drewes, Berthold Hoffmann, Mark Minas
Finite Automata for Efficient Graph Recognition. CoRR (2024)
Frank Drewes, Berthold Hoffmann, Mark Minas
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power. ICGT (2022)
Frank Drewes, Berthold Hoffmann, Mark Minas
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. ICGT (2021)
Frank Drewes, Berthold Hoffmann, Mark Minas
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. ICGT (2020)
Frank Drewes, Berthold Hoffmann, Mark Minas
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars. ICGT (2019)
Frank Drewes, Berthold Hoffmann, Mark Minas
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. J. Log. Algebraic Methods Program. 104 (2019)
Berthold Hoffmann, Mark Minas
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars. LATA (2019)
Frank Drewes, Berthold Hoffmann, Mark Minas
Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement. CoRR (2018)
Berthold Hoffmann, Mark Minas
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars. STAF Workshops (2017)
Frank Drewes, Berthold Hoffmann, Mark Minas
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. ICGT (2017)
Frank Drewes, Berthold Hoffmann, Mark Minas
Approximating Parikh Images for Generating Deterministic Graph Parsers. STAF Workshops (2016)
Frank Drewes, Berthold Hoffmann
Contextual hyperedge replacement. Acta Informatica 52 (6) (2015)
Marcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer
Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut. Software Engineering (Workshops) (2015)
Frank Drewes, Berthold Hoffmann, Mark Minas
Predictive Top-Down Parsing for Hyperedge Replacement Grammars. ICGT (2015)
Berthold Hoffmann, Dieter Hutter, Hui Shi
Preface. Int. J. Softw. Informatics 9 (2) (2015)
Berthold Hoffmann
More on Graph Rewriting With Contextual Refinement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014)
Berthold Hoffmann
Graph Rewriting with Contextual Refinement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
Frank Drewes, Berthold Hoffmann, Mark Minas
Contextual Hyperedge Replacement. AGTIVE (2011)
Berthold Hoffmann, Mark Minas
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Francisco Javier Pérez, Yania Crespo, Berthold Hoffmann, Tom Mens
A case study to evaluate the suitability of graph transformation tools for program refactoring. Int. J. Softw. Tools Technol. Transf. 12 (3-4) (2010)
Berthold Hoffmann, Mark Minas
Defining Models - Meta Models versus Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Berthold Hoffmann
Conditional Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas
Adaptive star grammars and their languages. Theor. Comput. Sci. 411 (34-36) (2010)
Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Frank Drewes, Berthold Hoffmann, Mark Minas
Adaptive Star Grammars for Graph Models. ICGT (2008)
Mark Minas, Berthold Hoffmann
An Example of Cloning Graph Transformation Rules for Programming. Electron. Notes Theor. Comput. Sci. 211 (2008)
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
Shaped Generic Graph Transformation. AGTIVE (2007)
Berthold Hoffmann, Dirk Janssens, Niels Van Eetvelde
Cloning and Expanding Graph Transformation Rules for Refactoring. Electron. Notes Theor. Comput. Sci. 152 (2006)
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
Adaptive Star Grammars. ICGT (2006)
Berthold Hoffmann
Graph Transformation with Variables. Formal Methods in Software and Systems Modeling (2005)
Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas
Rule-Based Programming with Diaplan. Electron. Notes Theor. Comput. Sci. 127 (1) (2005)
Annegret Habel, Berthold Hoffmann
Parallel Independence in Hierarchical Graph Transformation. ICGT (2004)
Berthold Hoffmann
Abstraction and Control for Shapely Nested Graph Transformation. Fundam. Informaticae 58 (1) (2003)
Berthold Hoffmann
Abstraction and Control for Shapely Nested Graph Transformation. ICGT (2002)
Frank Drewes, Berthold Hoffmann, Detlef Plump
Hierarchical Graph Transformation. J. Comput. Syst. Sci. 64 (2) (2002)
Mark Minas, Berthold Hoffmann
Specifying and Implementing Visual Process Modeling Languages with DiaGen. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Berthold Hoffmann
Shapely Hierarchical Graph Transformation. HCC (2001)
Berthold Hoffmann, Mark Minas
Transformation of Shaped Nested Graphs and Diagrams. Electron. Notes Theor. Comput. Sci. 59 (4) (2001)
Giorgio Busatto, Berthold Hoffmann
Comparing Notions of Hierarchical Graph Transformation. Electron. Notes Theor. Comput. Sci. 50 (3) (2001)
Frank Drewes, Berthold Hoffmann, Detlef Plump
Hierarchical Graph Transformation. FoSSaCS (2000)
Berthold Hoffmann, Mark Minas
Towards rule-based visual programming of generic visual systems CoRR (2000)
Berthold Hoffmann, Mark Minas
Towards Generic Rule-Based Visual Programming. VL (2000)
Berthold Hoffmann, Mark Minas
A Generic Model for Diagram Syntax and Semantics. ICALP Satellite Workshops (2000)
Berthold Hoffmann
From Graph Transformation to Rule-Based Programming with Diagrams. AGTIVE (1999)
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer
Graph Transformation for Specification and Programming. Sci. Comput. Program. 34 (1) (1999)
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
Simple Modules for GRACE. TAGT (1998)
Berthold Hoffmann
Term Rewriting with Sharing and Memoïzation. ALP (1992)
Berthold Hoffmann, Detlef Plump
Implementing term rewriting by jungle evaluation. RAIRO Theor. Informatics Appl. 25 (1991)
Berthold Hoffmann, Bernd Krieg-Brückner
The PROSPECTRA System. STACS (1991)
Berthold Hoffmann, Bernd Krieg-Brückner
The PROSPECTRA System. VDM Europe (1) (1991)
Berthold Hoffmann, Detlef Plump
Jungle Evaluation for Efficient Term Rewriting. ALP (1988)
Berthold Hoffmann
Modelling compiler generation by graph grammars. Graph-Grammars and Their Application to Computer Science (1982)
Hartmut Ehrig, Berthold Hoffmann, Ilse Schmiedecke
A Graph-Theoretical Model for Multi-Pass Parsing. WG (1981)
Berthold Hoffmann, Ilse-Renate Schmiedecke
A Mathematical Approach to Multi-Pass Parsing. MFCS (1980)
Helmut Franzen, Berthold Hoffmann
Automatic Determination of Data Flow in Extended Affix Grammars. GI Jahrestagung (1979)

Berthold Hoffmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Berthold Hoffmann