2008 |
30 | EE | Frank Drewes,
Berthold Hoffmann,
Mark Minas:
Adaptive Star Grammars for Graph Models.
ICGT 2008: 442-457 |
29 | EE | Mark Minas,
Berthold Hoffmann:
An Example of Cloning Graph Transformation Rules for Programming.
Electr. Notes Theor. Comput. Sci. 211: 241-250 (2008) |
2007 |
28 | EE | Frank Drewes,
Berthold Hoffmann,
Dirk Janssens,
Mark Minas,
Niels Van Eetvelde:
Shaped Generic Graph Transformation.
AGTIVE 2007: 201-216 |
2006 |
27 | EE | Frank Drewes,
Berthold Hoffmann,
Dirk Janssens,
Mark Minas,
Niels Van Eetvelde:
Adaptive Star Grammars.
ICGT 2006: 77-91 |
26 | EE | Berthold Hoffmann,
Dirk Janssens,
Niels Van Eetvelde:
Cloning and Expanding Graph Transformation Rules for Refactoring.
Electr. Notes Theor. Comput. Sci. 152: 53-67 (2006) |
2005 |
25 | EE | Berthold Hoffmann:
Graph Transformation with Variables.
Formal Methods in Software and Systems Modeling 2005: 101-115 |
2004 |
24 | EE | Annegret Habel,
Berthold Hoffmann:
Parallel Independence in Hierarchical Graph Transformation.
ICGT 2004: 178-193 |
2003 |
23 | EE | Berthold Hoffmann:
Abstraction and Control for Shapely Nested Graph Transformation.
Fundam. Inform. 58(1): 39-65 (2003) |
2002 |
22 | EE | Berthold Hoffmann:
Abstraction and Control for Shapely Nested Graph Transformation.
ICGT 2002: 177-191 |
21 | EE | Frank Drewes,
Berthold Hoffmann,
Detlef Plump:
Hierarchical Graph Transformation.
J. Comput. Syst. Sci. 64(2): 249-283 (2002) |
2001 |
20 | EE | Berthold Hoffmann:
Shapely Hierarchical Graph Transformation.
HCC 2001: 30-37 |
19 | EE | Mark Minas,
Berthold Hoffmann:
Specifying and Implementing Visual Process Modeling Languages with DiaGen.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
18 | EE | Giorgio Busatto,
Berthold Hoffmann:
Comparing Notions of Hierarchical Graph Transformation.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
17 | EE | Berthold Hoffmann,
Mark Minas:
Transformation of Shaped Nested Graphs and Diagrams.
Electr. Notes Theor. Comput. Sci. 59(4): (2001) |
2000 |
16 | EE | Frank Drewes,
Berthold Hoffmann,
Detlef Plump:
Hierarchical Graph Transformation.
FoSSaCS 2000: 98-113 |
15 | | Berthold Hoffmann,
Mark Minas:
A Generic Model for Diagram Syntax and Semantics.
ICALP Satellite Workshops 2000: 443-450 |
14 | EE | Berthold Hoffmann,
Mark Minas:
Towards Generic Rule-Based Visual Programming.
VL 2000: 65-66 |
13 | EE | Berthold Hoffmann,
Mark Minas:
Towards rule-based visual programming of generic visual systems
CoRR cs.PL/0010016: (2000) |
1999 |
12 | EE | Berthold Hoffmann:
From Graph Transformation to Rule-Based Programming with Diagrams.
AGTIVE 1999: 165-180 |
11 | | Marc Andries,
Gregor Engels,
Annegret Habel,
Berthold Hoffmann,
Hans-Jörg Kreowski,
Sabine Kuske,
Detlef Plump,
Andy Schürr,
Gabriele Taentzer:
Graph Transformation for Specification and Programming.
Sci. Comput. Program. 34(1): 1-54 (1999) |
1998 |
10 | | Reiko Heckel,
Berthold Hoffmann,
Peter Knirsch,
Sabine Kuske:
Simple Modules for GRACE.
TAGT 1998: 383-395 |
1993 |
9 | | Berthold Hoffmann,
Bernd Krieg-Brückner:
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System
Springer 1993 |
1992 |
8 | | Berthold Hoffmann:
Term Rewriting with Sharing and Memoïzation.
ALP 1992: 128-142 |
1991 |
7 | | Berthold Hoffmann,
Bernd Krieg-Brückner:
The PROSPECTRA System.
STACS 1991: 539-540 |
6 | | Berthold Hoffmann,
Bernd Krieg-Brückner:
The PROSPECTRA System.
VDM Europe (1) 1991: 668-669 |
5 | | Berthold Hoffmann,
Detlef Plump:
Implementing term rewriting by jungle evaluation.
ITA 25: 445-472 (1991) |
1988 |
4 | | Berthold Hoffmann,
Detlef Plump:
Jungle Evaluation for Efficient Term Rewriting.
ALP 1988: 191-203 |
1982 |
3 | | Berthold Hoffmann:
Modelling compiler generation by graph grammars.
Graph-Grammars and Their Application to Computer Science 1982: 159-171 |
1980 |
2 | | Berthold Hoffmann,
Ilse-R. Schiedecke:
A Mathematical Approach to Multi-Pass Parsing.
MFCS 1980: 275-290 |
1979 |
1 | | Helmut Franzen,
Berthold Hoffmann:
Automatic Determination of Data Flow in Extended Affix Grammars.
GI Jahrestagung 1979: 176-193 |