Berthold Hoffmann

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power2022-12-07Paper
Graph parsing as graph transformation. Correctness of predictive top-down parsers
Graph Transformation
2022-09-01Paper
Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars2022-03-21Paper
Extending predictive shift-reduce parsing to contextual hyperedge replacement grammars2020-02-06Paper
Generalized predictive shift-reduce parsing for hyperedge replacement graph grammars2019-12-04Paper
Predictive shift-reduce parsing for hyperedge replacement grammars
Graph Transformation
2019-11-22Paper
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement
Journal of Logical and Algebraic Methods in Programming
2019-06-20Paper
Predictive top-down parsing for hyperedge replacement grammars
Graph Transformation
2015-09-22Paper
Contextual hyperedge replacement
Acta Informatica
2015-09-11Paper
Transformation of shaped nested graphs and diagrams
Electronic Notes in Theoretical Computer Science
2013-07-24Paper
Specifying and implementing visual process modeling languages with \textsc{DiaGen}
Electronic Notes in Theoretical Computer Science
2013-05-24Paper
Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph).
Electronic Notes in Theoretical Computer Science
2013-05-10Paper
Adaptive star grammars and their languages
Theoretical Computer Science
2010-08-11Paper
Adaptive Star Grammars
Lecture Notes in Computer Science
2008-11-27Paper
Adaptive Star Grammars for Graph Models
Lecture Notes in Computer Science
2008-11-20Paper
Graph Transformations
Lecture Notes in Computer Science
2007-06-21Paper
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science
2005-12-02Paper
scientific article; zbMATH DE number 2097775 (Why is no real title available?)2004-09-07Paper
scientific article; zbMATH DE number 2016075 (Why is no real title available?)2003-12-10Paper
Hierarchical graph transformation
Journal of Computer and System Sciences
2002-08-04Paper
scientific article; zbMATH DE number 1629840 (Why is no real title available?)2001-11-06Paper
scientific article; zbMATH DE number 1512612 (Why is no real title available?)2000-10-03Paper
Graph transformation for specification and programming
Science of Computer Programming
1999-12-20Paper
scientific article; zbMATH DE number 176535 (Why is no real title available?)1993-05-18Paper
Implementing term rewriting by jungle evaluation
RAIRO - Theoretical Informatics and Applications
1991-01-01Paper
scientific article; zbMATH DE number 3827233 (Why is no real title available?)1983-01-01Paper
scientific article; zbMATH DE number 3856437 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3700264 (Why is no real title available?)1980-01-01Paper
scientific article; zbMATH DE number 3642742 (Why is no real title available?)1979-01-01Paper


Research outcomes over time


This page was built for person: Berthold Hoffmann