Berthold Hoffmann

According to our database1, Berthold Hoffmann
  • authored at least 47 papers between 1979 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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.
ICALP Satellite Workshops, 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


  Loading...