Frank Drewes, Berthold Hoffmann, Mark Minas: Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. In Fabio Gadducci, Timo Kehrer, editors, Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, volume 12741 of Lecture Notes in Computer Science, pages 164-184. Springer, 2021.
Frank Drewes, Berthold Hoffmann, Mark Minas: Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. In Fabio Gadducci, Timo Kehrer, editors, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, volume 12150 of Lecture Notes in Computer Science, pages 221-238. Springer, 2020.
Frank Drewes, Berthold Hoffmann, Mark Minas: Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. J. Log. Algebraic Methods Program. 104:303-341, 2019.
Frank Drewes, Berthold Hoffmann, Mark Minas: Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars. In Esther Guerra, Fernando Orejas, editors, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, volume 11629 of Lecture Notes in Computer Science, pages 55-72. Springer, 2019.
Berthold Hoffmann, Mark Minas: Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars. In Carlos Mart&{acute;n-Vide, Alexander Okhotin, Dana Shapira, editors, Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, volume 11417 of Lecture Notes in Computer Science, pages 233-245. Springer, 2019.
Frank Drewes, Berthold Hoffmann, Mark Minas: Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement. CoRR abs/1812.11927, 2018.
Frank Drewes, Berthold Hoffmann, Mark Minas: Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. In Juan de Lara, Detlef Plump, editors, Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, volume 10373 of Lecture Notes in Computer Science, pages 106-122. Springer, 2017.
Berthold Hoffmann, Mark Minas: Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars. In Martina Seidl, Steffen Zschaler, editors, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers, volume 10748 of Lecture Notes in Computer Science, pages 76-91. Springer, 2017.
Frank Drewes, Berthold Hoffmann, Mark Minas: Approximating Parikh Images for Generating Deterministic Graph Parsers. In Paolo Milazzo, D&{acute;aniel Varr&{acute;o, Manuel Wimmer, editors, Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, volume 9946 of Lecture Notes in Computer Science, pages 112-128. Springer, 2016.
Frank Drewes, Berthold Hoffmann: Contextual hyperedge replacement. Acta Informatica 52:497-524, 2015.
Berthold Hoffmann, Dieter Hutter, Hui Shi: Preface. Int. J. Softw. Informatics 9:113-115, 2015.
Frank Drewes, Berthold Hoffmann, Mark Minas: Predictive Top-Down Parsing for Hyperedge Replacement Grammars. In Francesco Parisi-Presicce, Bernhard Westfechtel, editors, Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, volume 9151 of Lecture Notes in Computer Science, pages 19-34. Springer, 2015.
Marcus Ermler, Berthold Hoffmann, Christian John, Christopher Nottrodt, Carsten Pfeffer: Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut. In Wolf Zimmermann, Wolfgang Böhm, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Tranc&{acute;on y Widemann, Thorsten Weyer, editors, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015, volume 1337 of CEUR Workshop Proceedings, pages 164-170. CEUR-WS.org, 2015.
Berthold Hoffmann: More on Graph Rewriting With Contextual Refinement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71, 2014.
Berthold Hoffmann: Graph Rewriting with Contextual Refinement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61, 2013.
Berthold Hoffmann, Mark Minas: Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39, 2011.
Frank Drewes, Berthold Hoffmann, Mark Minas: Contextual Hyperedge Replacement. In Andy Schürr, D&{acute;aniel Varr&{acute;o, Gergely Varr&{acute;o, editors, Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers, volume 7233 of Lecture Notes in Computer Science, pages 182-197. Springer, 2011.
Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump: Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26, 2010.
Berthold Hoffmann: Conditional Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26, 2010.
Berthold Hoffmann, Mark Minas: Defining Models - Meta Models versus Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29, 2010.
Francisco Javier P&{acute;erez, Yania Crespo, Berthold Hoffmann, Tom Mens: A case study to evaluate the suitability of graph transformation tools for program refactoring. Int. J. Softw. Tools Technol. Transf. 12:183-199, 2010.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas: Adaptive star grammars and their languages. Theor. Comput. Sci. 411:3090-3109, 2010.
Mark Minas, Berthold Hoffmann: An Example of Cloning Graph Transformation Rules for Programming. Electron. Notes Theor. Comput. Sci. 211:241-250, 2008.
Frank Drewes, Berthold Hoffmann, Mark Minas: Adaptive Star Grammars for Graph Models. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, volume 5214 of Lecture Notes in Computer Science, pages 442-457. Springer, 2008.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde: Shaped Generic Graph Transformation. In Andy Schürr, Manfred Nagl, Albert Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, volume 5088 of Lecture Notes in Computer Science, pages 201-216. Springer, 2007.
Berthold Hoffmann, Dirk Janssens, Niels Van Eetvelde: Cloning and Expanding Graph Transformation Rules for Refactoring. Electron. Notes Theor. Comput. Sci. 152:53-67, 2006.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde: Adaptive Star Grammars. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, editors, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, volume 4178 of Lecture Notes in Computer Science, pages 77-91. Springer, 2006.
Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas: Rule-Based Programming with Diaplan. Electron. Notes Theor. Comput. Sci. 127:15-26, 2005.
Berthold Hoffmann: Graph Transformation with Variables. In Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, volume 3393 of Lecture Notes in Computer Science, pages 101-115. Springer, 2005.
Annegret Habel, Berthold Hoffmann: Parallel Independence in Hierarchical Graph Transformation. In Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg, editors, Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, volume 3256 of Lecture Notes in Computer Science, pages 178-193. Springer, 2004.
Berthold Hoffmann: Abstraction and Control for Shapely Nested Graph Transformation. Fundam. Inform. 58:39-65, 2003.
Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. J. Comput. Syst. Sci. 64:249-283, 2002.
Berthold Hoffmann: Abstraction and Control for Shapely Nested Graph Transformation. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, volume 2505 of Lecture Notes in Computer Science, pages 177-191. Springer, 2002.
Mark Minas, Berthold Hoffmann: Specifying and Implementing Visual Process Modeling Languages with DiaGen. Electron. Notes Theor. Comput. Sci. 44:67-79, 2001.
Giorgio Busatto, Berthold Hoffmann: Comparing Notions of Hierarchical Graph Transformation. Electron. Notes Theor. Comput. Sci. 50:310-317, 2001.
Berthold Hoffmann, Mark Minas: Transformation of Shaped Nested Graphs and Diagrams. Electron. Notes Theor. Comput. Sci. 59:305-319, 2001.
Berthold Hoffmann: Shapely Hierarchical Graph Transformation. In 2002 IEEECS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pages 30-37. IEEE Computer Society, 2001.
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple modules for GRACE. In H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, editors, Theory and Application of Graph Transformation: 6th International Workshop, Paderborn, Germany, November 1998, Selected Papers, volume 1764 of Lecture Notes in Computer Science. Springer, 2000.
Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. Informatik-Bericht 1/2000, Fachbereich Mathematik und Informatik, Universität Bremen, 2000. 33 pages.
Frank Drewes, Berthold Hoffmann, Detlef Plump: Hierarchical Graph Transformation. In Jerzy Tiuryn, editor, Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, volume 1784 of Lecture Notes in Computer Science, pages 98-113. Springer, 2000.
Berthold Hoffmann, Mark Minas: A Generic Model for Diagram Syntax and Semantics. In Jos&{acute;e D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells, editors, ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000, pages 443-450. Carleton Scientific, Waterloo, Ontario, Canada, 2000.
Berthold Hoffmann, Mark Minas: Towards Generic Rule-Based Visual Programming. In 2000 IEEE International Symposium on Visual Languages, VL 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings, pages 65-66. IEEE Computer Society, 2000.
Berthold Hoffmann, Mark Minas: Towards rule-based visual programming of generic visual systems. CoRR cs.PL/0010016, 2000.
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. Science of Computer Programming 34:1-54, 1999.
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-54, 1999.
Berthold Hoffmann: From Graph Transformation to Rule-Based Programming with Diagrams. In Manfred Nagl, Andy Schürr, Manfred Münch, editors, Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings, volume 1779 of Lecture Notes in Computer Science, pages 165-180. Springer, 1999.
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske: Simple Modules for GRACE. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, volume 1764 of Lecture Notes in Computer Science, pages 383-395. Springer, 1998.
Berthold Hoffmann: Term Rewriting with Sharing and Memo&\uml;ization. In H&{acute;el&{grave;ene Kirchner, Giorgio Levi, editors, Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, volume 632 of Lecture Notes in Computer Science, pages 128-142. Springer, 1992.
Berthold Hoffmann, Detlef Plump: Implementing term rewriting by jungle evaluation. RAIRO Theor. Informatics Appl. 25:445-472, 1991.
Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. In Sren Prehn, W. J. Toetenel, editors, VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, volume 551 of Lecture Notes in Computer Science, pages 668-669. Springer, 1991.
Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, volume 480 of Lecture Notes in Computer Science, pages 539-540. Springer, 1991.
Berthold Hoffmann, Detlef Plump: Jungle Evaluation for Efficient Term Rewriting. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings, volume 343 of Lecture Notes in Computer Science, pages 191-203. Springer, 1988.
Berthold Hoffmann: Compiler generation: from language definitions to abstract compilers. Technische Universit??t Berlin, Germany, 1983.
Berthold Hoffmann: Modelling compiler generation by graph grammars. In Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, editors, Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982, volume 153 of Lecture Notes in Computer Science, pages 159-171. Springer, 1982.
Hartmut Ehrig, Berthold Hoffmann, Ilse Schmiedecke: A Graph-Theoretical Model for Multi-Pass Parsing. In Jörg R. Mühlbacher, editor, Proceedings of the 7th Conference Graphtheoretic Concepts in Computer Science (WG '81), Linz, Austria, June 15-17, 1981, pages 19-32. Hanser, Munich, 1981.
Berthold Hoffmann, Ilse-Renate Schmiedecke: A Mathematical Approach to Multi-Pass Parsing. In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980, volume 88 of Lecture Notes in Computer Science, pages 275-290. Springer, 1980.
Helmut Franzen, Berthold Hoffmann: Automatic Determination of Data Flow in Extended Affix Grammars. In Karl-Heinz Böhling, Peter Paul Spies, editors, GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, volume 19 of Informatik-Fachberichte, pages 176-193. Springer, 1979.
