| 2013 | MODELS | Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. | Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel |
| 2012 | CiE | Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. | Hartmut Ehrig, Claudia Ermel, Falk Hffner, Rolf Niedermeier, Olga Runge |
| 2012 | FASE | Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. | Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas |
| 2011 | FASE | A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. | Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer |
| 2011 | MODELS | From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas |
| 2011 | MODELS | Correctness of Model Synchronization Based on Triple Graph Grammars. | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong |
| 2010 | FASE | Formal Analysis and Verification of Self-Healing Systems. | Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione |
| 2010 | MODELS | Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. | Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas |
| 2009 | CALCO | Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
| 2009 | FASE | Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. | Frank Hermann, Hartmut Ehrig, Claudia Ermel |
| 2009 | MODELS | On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. | Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange |
| 2008 | FASE | Verification of Architectural Refactorings by Rule Extraction. | Dnes Bisztray, Reiko Heckel, Hartmut Ehrig |
| 2008 | FASE | Consistent Integration of Models Based on Views of Visual Languages. | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange |
| 2008 | FASE | A Formal Framework for Developing Adaptable Service-Based Applications. | Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezz |
| 2008 | FASE | A Logic of Graph Constraints. | Fernando Orejas, Hartmut Ehrig, Ulrike Prange |
| 2008 | FOSSACS | Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. | Guilherme Rangel, Barbara Knig, Hartmut Ehrig |
| 2008 | ICSE | Compositional Verification of Architectural Refactorings. | Dnes Bisztray, Reiko Heckel, Hartmut Ehrig |
| 2008 | ICSE | On the relationship of model transformations based on triple and plain graph grammars. | Hartmut Ehrig, Claudia Ermel, Frank Hermann |
| 2007 | CALCO | Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara Knig |
| 2007 | FASE | Information Preserving Bidirectional Model Transformations. | Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer |
| 2007 | FASE | Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. | Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel |
| 2005 | FASE | Termination Criteria for Model Transformation. | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dniel Varr, Szilvia Varr-Gyapay |
| 2004 | FASE | Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. | Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer |
| 2004 | FOSSACS | Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. | Hartmut Ehrig, Barbara Knig |
| 2002 | FASE | A Generic Component Framework for System Modeling. | Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen |
| 2001 | CONCUR | Compositional Modeling of Reactive Systems Using Open Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel |
| 2000 | ICALP | A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. | Hartmut Ehrig, Gabriele Taentzer |
| 1997 | CONCUR | Horizontal and Vertical Structuring Techniques for Statecharts. | Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg |
| 1997 | GI | DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation fr ingenieurwissenschaftliche Anwendungen". | Hartmut Ehrig |
| 1997 | MFCS | Integrating the Specification Techniques of Graph Transformation and Temporal Logic. | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini |
| 1995 | COMPASS | On the Role of Category Theory in the Area of Algebraic Specification. | Hartmut Ehrig, Martin Groe-Rhode, Uwe Wolter |
| 1994 | COMPASS | Dynamic Abstract Data Types Based on Algebraic Graph Transformations. | Hartmut Ehrig, Michael Lwe, Fernando Orejas |
| 1994 | MFCS | Algebraic Methods in the Compositional Analysis of Logic Programs. | Fernando Orejas, Elvira Pino, Hartmut Ehrig |
| 1993 | GI | Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. | Hartmut Ehrig |
| 1992 | COMPASS | Algebraic High-Level Nets: Petri Nets Revisited. | Hartmut Ehrig, Julia Padberg, Leila Ribeiro |
| 1991 | COMPASS | New Concepts of Amalgamation and Extension for a General Theory of Specifications. | Hartmut Ehrig, Michael Baldamus, Fernando Orejas |
| 1991 | COMPASS | Non-Equivalence of Categories for Equational Algebraic Specifications. | Hartmut Ehrig, Francesco Parisi-Presicce |
| 1990 | WG | Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. | Michael Lwe, Hartmut Ehrig |
| 1989 | ICALP | On Recent Trends in Algebraic Specification. | Hartmut Ehrig, Peter Pepper, Fernando Orejas |
| 1987 | WG | Distributed Parallelism of Graph Transformations. | Hartmut Ehrig |
| 1986 | MFCS | Algebraic Theory of Module Specification with Constraints. | Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum |
| 1983 | ICALP | Algebraic Specifications with Generating Constraints. | Hartmut Ehrig, Eric G. Wagner, James W. Thatcher |
| 1983 | WG | Concurrent Transformations of Graphs and Relational Structures. | Hartmut Ehrig, Annegret Habel |
| 1982 | WG | Concurrency of Node-Label-Controlled Graph Transformations. | Dirk Janssens, Hans-Jrg Kreowski, Grzegorz Rozenberg, Hartmut Ehrig |
| 1981 | FM | Parameter Passing in Algebraic Specification Languages. | Hartmut Ehrig, Hans-Jrg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1981 | FM | KWIC-index generation. | Jrgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jrg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Srensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen |
| 1981 | GI | Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. | Hartmut Ehrig, Werner Fey |
| 1981 | WG | A Graph-Theoretical Model for Multi-Pass Parsing. | Hartmut Ehrig, Berthold Hoffmann, Ilse Schmiedecke |
| 1980 | ICALP | Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. | Hartmut Ehrig, Hans-Jrg Kreowski, Peter Padawitz |
| 1980 | ICALP | Parameterized Data Types in Algebraic Specification Languages (Short Version). | Hartmut Ehrig, Hans-Jrg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1980 | MFCS | Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. | Hartmut Ehrig, Hans-Jrg Kreowski, Bernd Mahr, Peter Padawitz |
| 1980 | STOC | Complexity of Implementations on the Level of Algebraic Specifications | Hartmut Ehrig, Bernd Mahr |
| 1978 | ICALP | Stepwise Specification and Implementation of Abstract Data Types. | Hartmut Ehrig, Hans-Jrg Kreowski, Peter Padawitz |
| 1978 | MFCS | Deriving Structures from Structures. | Hartmut Ehrig, Hans-Jrg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jzef Winkowski |
| 1978 | MFCS | Concurrency of Manipulations in Multidimensional Information Structures. | Hartmut Ehrig, Barry K. Rosen |
| 1978 | VLDB | Algebraic Specification Schemes for Data Base Systems. | Hartmut Ehrig, Hans-Jrg Kreowski, Herbert Weber |
| 1977 | FCT | Embedding Theorem in the Algebraic Theory of Graph Grammars. | Hartmut Ehrig |
| 1977 | ICALP | The Mathematics of Record Handling. | Hartmut Ehrig, Barry K. Rosen |
| 1976 | MFCS | Parallelism of Manipulations in Multidimensional Information Structures. | Hartmut Ehrig, Hans-Jrg Kreowski |
| 1973 | FOCS | Graph-Grammars: An Algebraic Approach | Hartmut Ehrig, Michael Pfender, Hans Jrgen Schneider |