Berthold Hoffmann

From MaRDI portal
(Redirected from Person:493119)



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
Finite automata for efficient graph recognition2025-09-03Paper
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