Publications

Go to year:  to appear   2009   2008   2006   2005   2004   2003   2002   2001   2000   1999   1994   1992   1991   1988   1987   1983   1982   1981   1980   1979   1977   1976 

to appear     Back to top

	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark. Adaptive Star Grammars and Their Languages. In Theoretical Computer Science, (p. 41). . Accepted for publication.
	Pérez, Javier, Crespo, Yania, Hoffmann, Berthold, Mens, Tom. A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring. In International Journal on Software Tools for Technology Transfer. Accepted for publication..

2009     Back to top

	Berthold Hoffmann (2009). Program Graph Transformation. In Hoffmann, Berthold, Lüth, Christoph, Mossakowski, Till, Schröder, Lutz (Eds.), Specification, Transformation, Navigation -- Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday, pp. 152–167. Sichere Kognitive Systeme, DFKI Bremen.
	Drewes, Frank, Habel, Annegret, Hoffmann, Berthold, Plump, Detlef (Eds.) (2009). Manipulation of Graphs, Algebras and Pictures. Universität Bremen.
	Hoffmann, Berthold (2009). Conditional Adaptive Star Grammars. In Manipulation of Graphs, Algebras, Pictures (Eds.), Manipulation of Graphs, Algebras and Pictures, pp. 171–189.

2008     Back to top

	Drewes, Frank, Hoffmann, Berthold, Janssens, Dirk, Minas, Mark (2008). Adaptive Star Grammars and Their Languages. No. 2008-01. Departement Wiskunde-Informatica, Universiteit Antwerpen. Technical Report.
	Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2008). Shaped Generic Graph Transformation. In Andy Schürr, Manfred Nagl, Albert Zündorf (Eds.), Applications of Graph Transformation with Industrial Relevance (AGTIVE'07) Selected Papers, Vol. 5088, pp. 201–216, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Mark Minas, Berthold Hoffmann (2008). An Example of Cloning Graph Transformation Rules for Programming. In Electronic Notes in Theoretical Computer Science, Vol. 211, pp. 241–250.
	Drewes, Frank, Hoffmann, Berthold, Minas, Mark (2008). Adaptive Star Grammars for Graph Models. In Hartmut Ehrig, others (Eds.), 4th International Conference on Graph Transformation (ICGT'08), Vol. 5214, pp. 442–457, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.
	Hoffmann, Berthold, Pérez, Javier, Mens, Tom (2008). A Case Study for Refactoring. In Arend Rensink, Pieter Van Gorp (Eds.), Proc. of the GraBaTS Tool Context 2008.
	Hoffmann, Berthold, Jakumeit, Edgar, Geiß, Rubino (2008). Graph Rewrite Rules with Structural Recursion. In Mosbah, Mohamed, Habel, Annegret (Eds.), 2nd Intl. Workshop on Graph Computational Models (GCM 2008), pp. 5–16.

2006     Back to top

	Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde (2006). Adaptive Star Grammars. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari,, Leila Ribeiro , Grzegorz Rozenberg (Eds.), 3rd International Conference on Graph Transformation (ICGT'06), Vol. 4178, pp. 77–91, Lecture Notes in Computer Science. Springer.
	Berthold Hoffmann, Dirk Janssens, Van Eetvelde, Niels (2006). Cloning and Expanding Graph Transformation Rules for Refactoring. In Electronic Notes in Theoretical Computer Science, Vol. 152, pp. 53–67.

2005     Back to top

	Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas (2005). Rule-Based Programming with Diaplan. In Electronic Notes in Theoretical Computer Science, 117 (1).
	Berthold Hoffmann (2005). Graph Transformation with Variables. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.), Formal Methods in Software and System Modeling (Festschrift for Hartmut Ehrig on the Occasion of his 60th Birthday), Vol. 3393, pp. 101–115, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.

2004     Back to top

Annegret Habel, Berthold Hoffmann (2004). Parallel Independence in Hierarchical Graph Transformation. In International Conference on Graph Transformation, No. 3256, pp. 178–193, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.

2003     Back to top

	Frank Drewes, Berthold Hoffmann, Mark Minas (2003). Context-Exploiting Shapes for Diagram Transformation. In Machine Graphics and Vision, 12 (1), pp. 117–132.
	Berthold Hoffmann (2003). Abstraction and Control for Shapely Nested Graph Transformation. In Fundamenta Informaticae, 58 (1), pp. 39–65.

2002     Back to top

	Frank Drewes, Berthold Hoffmann, Mark Minas (2002). Context-Exploiting Shapes for Diagram Transformation. In Ewa Grabska, Zenon Kulpa (Eds.), Proc. European Workshop on Diagrammatics snd Design (EWDD'02). Bielsko College of Business and Computer Science.
	Frank Drewes, Berthold Hoffmann, Mark Minas (2002). Constructing Shapely Nested Graph Transformations. In Peter Knirsch, Hans-Jörg Kreowski (Eds.), Proc. Int'l Workshop on Applied Graph Transformation (AGT'02). Universite de Grenoble.
	Frank Drewes, Berthold Hoffmann, Detlef Plump (2002). Hierarchical Graph Transformation. In Journal of Computer and System Science, 64 (2), pp. 249–283.
	Berthold Hoffmann (2002). Abstraction and Control for Shapely Nested Graph Transformation. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski (Eds.), 1st Int'l Conference on Graph Transformation (ICGT'02), Barcelona, No. 2505, pp. 177–191, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

2001     Back to top

	Giorgio Busatto, Berthold Hoffmann (2001). Comparing Notions of Hierarchical Graph Transformation. In Electronic Notes in Theoretical Computer Science, 50 (3).
	Berthold Hoffmann (2001). Shapely Hierarchical Graph Transformation. In Proc. IEEE Symposia on Human-Centric Computing Languages and Environments, pp. 30–37. IEEE Computer Press.
	Berthold Hoffmann, Mark Minas (2001). Transformation of Shaped Nested Graphs and Diagrams. In Electronic Notes in Theoretical Computer Science, 59 (4).
	Mark Minas , Berthold Hoffmann (2001). Specifying and Implementing Visual Process Modeling Languages with DIAGEN. In Electronic Notes in Theoretical Computer Science, 44 (4).

2000     Back to top

	Frank Drewes, Berthold Hoffmann, Detlef Plump (2000). Hierarchical Graph Transformation. In Tiuryn, Jerzy (Eds.), Foundations of Software Science and Computation Structures (FOSSACS 2000), No. 1784, pp. 98–113, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske (2000). Simple Modules for GRACE. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski (Eds.), Theory and Application of Graph Transformation (TAGT'98), Selected Papers, No. 1764, pp. 383–395, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Berthold Hoffmann (2000). From Graph Transformation to Rule-Based Programming with Diagrams. In Manfred Nagl, Andy Schürr (Eds.), Int'l Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Selected Papers, No. 1779, pp. 165–180, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.
	Berthold Hoffmann, Mark Minas (2000). Über generisches Visuelles Programmieren. In Stephan Diehl, Andreas Kerren (Eds.), Proc. GI-Workshop Software-Visualisierung, pp. 41–52, Technical Report A/01/2000. Universität des Saarlandes.
	Berthold Hoffmann, Mark Minas (2000). A Generic Model for Diagram Syntax and Semantics. In J. D. P. Polim, others (Eds.), ICALP Workshops — Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming, No. 8, pp. 443–450, Proceedings in Informatics. Carleton Scientific.
	Berthold Hoffmann, Mark Minas (2000). Towards Generic Rule-Based Visual Programming. In Margaret M. Burnett, others (Eds.), Proc. VL'2000. IEEE Press.
	Berthold Hoffmann, Mark Minas (2000). Towards Rule-Based Visual Programming of Generic Visual Systems. In Nachum Dershowitz, Claude Kirchner (Eds.), Proc. Workshop on Rule-Based Languages.

1999     Back to top

Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer (1999). Graph Transformation for Specification and Programming. In Science of Computer Programming, Vol. 34, pp. 1–54.

1994     Back to top

Berthold Hoffmann (1994). Memoization for Term (Hypergraph) Rewriting. In Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg (Eds.), Preliminary Proceedings of the 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg, VA, pp. 195–200.

1992     Back to top

Berthold Hoffmann (1992). Term Rewriting with Sharing and Memoization. In Helene Kirchner, Giorgio Levi (Eds.), Proc. Algebraic and Logic Programming, No. 632, pp. 128–142, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1991     Back to top

Berthold Hoffmann, Detlef Plump (1991). Implementing Term Rewriting by Jungle Evaluation. In RAIRO Theoretical Informatics and Applications, 25 (5), pp. 445–472.

1988     Back to top

Berthold Hoffmann, Detlef Plump (1988). Jungle Evaluation for Efficient Term Rewriting. In Algebraic and Logic Programming, No. 343, pp. 191–203, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1987     Back to top

B. Krieg-Brückner, B. Hoffmann, H. Ganzinger, M. Broy, R. Wilhelm, U. Möncke, B. Weisgerber, A.D. McGettrick, I.G. Campbell and G. Winterstein (1987). PROgram Development by SPECification and TRAnsformation. In Proc. of the ESPRIT Conference 1986 (Results and Achievements), pp. 301–312. North Holland.

1983     Back to top

Berthold Hoffmann (1983). Compiler Generation: From Language Descriptions to Abstract Compilers. TU Berlin. Dissertation.

1982     Back to top

	Hartmut Ehrig, Berthold Hoffmann, Ilse-Renate Schmiedecke (1982). A Graph-Theoretical Model for Multi-Pass Parsing. In J.R. Mühlbacher (Ed.), Proc. 7th Conf. on Graph-Theoretical Concepts in Comp. Sci. (WG'81), pp. 19–32. Hanser Verlag.
	Berthold Hoffmann (1982). Using Abstract Data Types in Two-Level Grammars: A Case Study. In Proc. 3rd Compiler-Compiler Workshop, 7th GI Conf. on Programming Languages and Program Development, pp. 105–119.

1981     Back to top

Berthold Hoffmann, Ilse-Renate Schmiedecke (1981). A Parsing-Oriented Derivation Model for Two-Level Grammars based on Affix-Decorated Parse Trees. No. 81-2. Fachbereich Informatik, Technische Universität Berlin. Technical Report.

1980     Back to top

Berthold Hoffmann, Ilse-Renate Schmiedecke (1980). Multi-Pass Parsing for Two-Level Grammars: A Mathematical Approach. In P. Dembinski (Ed.), Mathematical Foundations of Computer Science (MFCS), No. 88, pp. 275–290, Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.

1979     Back to top

	Helmut Franzen, Berthold Hoffmann (1979). Automatic Determination of Data Flow in Extended Affixgrammars. In K.H. Böhling, P.P. Spies (Eds.), 9. GI-Jahrestagung, Bonn, No. 19, pp. 176–193, Informatik Fachberichte. Springer-Verlag, D-69121 Heidelberg, Germany.
	Helmut Franzen, Berthold Hoffmann, Ilse-Renate Schmiedecke (1979). Using Two-Level Language Description for Compiler Generation. In W. Henhapl (Ed.), 2nd Compiler-Compiler Workshop. Technical Report 76-24, Fachbereich Informatik, TH Darmstadt.

1977     Back to top

Helmut Franzen, Berthold Hoffmann, Bernhard Pohl, Ilse-Renate Schmiedecke (1977). The EAGLE Parser Generator: An Experimental Step towards a Practical Compiler Compiler Using Two-Level Grammars. In Informal Algol Implementors Interchange (5th III), pp. 397–420.

1976     Back to top

	Helmut Franzen, Berthold Hoffmann, Ilse-Renate Petersen (1976). Ein Parser-Generator für erweiterte Affixgrammatiken. No. 76-24. Fachbereich Informatik, TU Berlin.
Show selected entries in BibTex Format