Berthold Hoffmann
According to our database1,
Berthold Hoffmann
authored at least 51 papers
between 1979 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at orcid.org
On csauthors.net:
Bibliography
2019
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement.
J. Log. Algebr. Meth. Program., 2019
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars.
Proceedings of the Language and Automata Theory and Applications, 2019
2018
Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement.
CoRR, 2018
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. Software and Informatics, 2015
Contextual hyperedge replacement.
Acta Inf., 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.
ECEASST, 2014
2013
Graph Rewriting with Contextual Refinement.
ECEASST, 2013
2011
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars.
ECEASST, 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.
STTT, 2010
Defining Models - Meta Models versus Graph Grammars.
ECEASST, 2010
Conditional Adaptive Star Grammars.
ECEASST, 2010
Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday.
ECEASST, 2010
2008
An Example of Cloning Graph Transformation Rules for Programming.
Electr. Notes Theor. Comput. Sci., 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
Cloning and Expanding Graph Transformation Rules for Refactoring.
Electr. Notes Theor. Comput. Sci., 2006
Adaptive Star Grammars.
Proceedings of the Graph Transformations, Third International Conference, 2006
2005
Rule-Based Programming with Diaplan.
Electr. Notes Theor. Comput. Sci., 2005
Graph Transformation with Variables.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
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. Inform., 2003
2002
Hierarchical Graph Transformation.
J. Comput. Syst. Sci., 2002
Abstraction and Control for Shapely Nested Graph Transformation.
Proceedings of the Graph Transformation, First International Conference, 2002
2001
Transformation of Shaped Nested Graphs and Diagrams.
Electr. Notes Theor. Comput. Sci., 2001
Specifying and Implementing Visual Process Modeling Languages with DiaGen.
Electr. Notes Theor. Comput. Sci., 2001
Comparing Notions of Hierarchical Graph Transformation.
Electr. Notes Theor. Comput. Sci., 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
Hierarchical Graph Transformation.
Proceedings of the Foundations of Software Science and Computation Structures, 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.
ITA, 1991
The PROSPECTRA System.
Proceedings of the STACS 91, 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