Berthold Hoffmann

Orcid: 0000-0002-5608-996X

Affiliations:
  • University of Bremen, Germany


According to our database1, Berthold Hoffmann authored at least 51 papers between 1979 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power.
Proceedings of the Graph Transformation - 15th International Conference, 2022

2021
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 14th International Conference, 2021

2020
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers.
Proceedings of the Graph Transformation - 13th International Conference, 2020

2019
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement.
J. Log. Algebraic Methods Program., 2019

Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars.
Proceedings of the Language and Automata Theory and Applications, 2019

Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 12th International Conference, 2019

2017
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 10th International Conference, 2017

2016
Approximating Parikh Images for Generating Deterministic Graph Parsers.
Proceedings of the Software Technologies: Applications and Foundations, 2016

2015
Preface.
Int. J. Softw. Informatics, 2015

Contextual hyperedge replacement.
Acta Informatica, 2015

Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Predictive Top-Down Parsing for Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
More on Graph Rewriting With Contextual Refinement.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

2013
Graph Rewriting with Contextual Refinement.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2011
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Contextual Hyperedge Replacement.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
Adaptive star grammars and their languages.
Theor. Comput. Sci., 2010

A case study to evaluate the suitability of graph transformation tools for program refactoring.
Int. J. Softw. Tools Technol. Transf., 2010

Defining Models - Meta Models versus Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Conditional Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

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., 2010

2008
Adaptive Star Grammars for Graph Models.
Proceedings of the Graph Transformations, 4th International Conference, 2008

2007
Shaped Generic Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
An Example of Cloning Graph Transformation Rules for Programming.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Adaptive Star Grammars.
Proceedings of the Graph Transformations, Third International Conference, 2006

2005
Cloning and Expanding Graph Transformation Rules for Refactoring.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

Graph Transformation with Variables.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
Rule-Based Programming with Diaplan.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

Parallel Independence in Hierarchical Graph Transformation.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
Abstraction and Control for Shapely Nested Graph Transformation.
Fundam. Informaticae, 2003

2002
Hierarchical Graph Transformation.
J. Comput. Syst. Sci., 2002

2001
Transformation of Shaped Nested Graphs and Diagrams.
Proceedings of the Second International Workshop on Rule-Based Programming, 2001

Specifying and Implementing Visual Process Modeling Languages with DiaGen.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Comparing Notions of Hierarchical Graph Transformation.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Shapely Hierarchical Graph Transformation.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

2000
Towards rule-based visual programming of generic visual systems
CoRR, 2000

Towards Generic Rule-Based Visual Programming.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

A Generic Model for Diagram Syntax and Semantics.
Proceedings of the ICALP Workshops 2000, 2000

1999
Graph Transformation for Specification and Programming.
Sci. Comput. Program., 1999

From Graph Transformation to Rule-Based Programming with Diagrams.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Simple Modules for GRACE.
Proceedings of the Theory and Application of Graph Transformations, 1998

1992
Term Rewriting with Sharing and Memoïzation.
Proceedings of the Algebraic and Logic Programming, 1992

1991
Implementing term rewriting by jungle evaluation.
RAIRO Theor. Informatics Appl., 1991

The PROSPECTRA System.
Proceedings of the VDM '91, 1991

1988
Jungle Evaluation for Efficient Term Rewriting.
Proceedings of the Algebraic and Logic Programming, 1988

1983
Compiler generation: from language definitions to abstract compilers.
PhD thesis, 1983

1982
Modelling compiler generation by graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

1981
A Graph-Theoretical Model for Multi-Pass Parsing.
Proceedings of the 7th Conference Graphtheoretic Concepts in Computer Science (WG '81), 1981

1980
A Mathematical Approach to Multi-Pass Parsing.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979
Automatic Determination of Data Flow in Extended Affix Grammars.
Proceedings of the GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, 1979


  Loading...