Graph-Grammars: An Algebraic Approach - Hartmut Ehrig; Michael Pfender; Hans Jürgen Schneider (SWAT, 1973)

Universal theory of automata - a categorial approach. - Hartmut Ehrig; Klaus-Dieter Kiermeier; Hans-Jörg Kreowski; Wolfgang Kühnel (Teubner, 1974)

Power and initial automata in pseudoclosed categories. - Hartmut Ehrig; Hans-Jörg Kreowski (Category Theory Applied to Computation and Control, 1974)

Diagram characterization. - Hartmut Ehrig; Wolfgang Kühnel; Michael Pfender (Category Theory Applied to Computation and Control, 1974)

Topological automata. - Hartmut Ehrig; Wolfgang Kühnel (RAIRO Theor. Informatics Appl., 1974)

Parallel Graph Grammers. - Hartmut Ehrig; Hans-Jörg Kreowski (Automata, Languages, Development, 1975)

Some Definitional Suggestions for Parallel Graph Grammars. - Hartmut Ehrig; Grzegorz Rozenberg (Automata, Languages, Development, 1975)

Graph Grammars and Applications to Specialization and Evolution in Biology. - Hartmut Ehrig; Karl Wilhelm Tischer (J. Comput. Syst. Sci., 1975)

Parallelism of Manipulations in Multidimensional Information Structures. - Hartmut Ehrig; Hans-Jörg Kreowski (MFCS, 1976)

Grammars on Partial Graphs. - Hans Jürgen Schneider; Hartmut Ehrig (Acta Informatica, 1976)

Systematic Approach to Reduction and Minimization in Automata and System Theory. - Hartmut Ehrig; Hans-Jörg Kreowski (J. Comput. Syst. Sci., 1976)

Embedding Theorem in the Algebraic Theory of Graph Grammars. - Hartmut Ehrig (FCT, 1977)

Introduction to the Algebraic Theory of Graph Grammars (A Survey). - Hartmut Ehrig (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Locally Star Sluing Formulas for a Class of Parallel Graph Grammars. - Hartmut Ehrig; Axel Liedtke (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Decomposition of Graph Grammar Productions and Derivations. - Hartmut Ehrig; Barry K. Rosen (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Stepwise Specification and Implementation of Abstract Data Types. - Hartmut Ehrig; Hans-Jörg Kreowski; Peter Padawitz (ICALP, 1978)

Deriving Structures from Structures. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (MFCS, 1978)

Concurrency of Manipulations in Multidimensional Information Structures. - Hartmut Ehrig; Barry K. Rosen (MFCS, 1978)

Algebraic Specification Schemes for Data Base Systems. - Hartmut Ehrig; Hans-Jörg Kreowski; Herbert Weber (VLDB, 1978)

Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. - Hartmut Ehrig; Hans-Jörg Kreowski; Herbert Weber (Formale Modelle für Informationssysteme, 1979)

Categorial approach to nonlinear constant continuous-time systems. - Hartmut Ehrig; Wolfgang Kühnel (RAIRO Theor. Informatics Appl., 1979)

Algebraic implementation of abstract data types: an announcement. - Hartmut Ehrig; Hans-Jörg Kreowski; Peter Padawitz (SIGACT News, 1979)

Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. - Hartmut Ehrig; Hans-Jörg Kreowski; Peter Padawitz (ICALP, 1980)

Parameterized Data Types in Algebraic Specification Languages (Short Version). - Hartmut Ehrig; Hans-Jörg Kreowski; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (ICALP, 1980)

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. - Hartmut Ehrig; Hans-Jörg Kreowski; Bernd Mahr; Peter Padawitz (MFCS, 1980)

A Case Study of Abstract Implementations and Their Correctness. - Hartmut Ehrig; Hans-Jörg Kreowski; Peter Padawitz (Symposium on Programming, 1980)

Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. - Hartmut Ehrig; Werner Fey; Hans-Jörg Kreowski (Software Engineering, 1980)

Complexity of Implementations on the Level of Algebraic Specifications - Hartmut Ehrig; Bernd Mahr (STOC, 1980)

Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems. - Hartmut Ehrig; Hans-Jörg Kreowski (Inf. Syst., 1980)

On an equivalence of system-theoretical and categorical concepts. - Jirí Adámek; Hartmut Ehrig; Vera Trnková (Kybernetika, 1980)

The Mathematics of Record Handling. - Hartmut Ehrig; Barry K. Rosen (SIAM J. Comput., 1980)

Parallelism and Concurrency of Graph Manipulations. - Hartmut Ehrig; Barry K. Rosen (Theor. Comput. Sci., 1980)

Algebraic Theory of Parameterized Specifications with Requirements. - Hartmut Ehrig (CAAP, 1981)

KWIC-index generation. - Jørgen Steensgaard-Madsen; Jane W. Hughes; Malcolm S. Powell; Hartmut Ehrig; Hans-Jörg Kreowski; Leif Sandegaard Nielsen; Jean-Raymond Abrial; Ib Holm Sørensen; Robin M. Gallimore; Derek Coleman; Joseph A. Goguen (Program Specification, 1981)

Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. - Hartmut Ehrig; Werner Fey (GI Jahrestagung, 1981)

A Graph-Theoretical Model for Multi-Pass Parsing. - Hartmut Ehrig; Berthold Hoffmann; Ilse Schmiedecke (WG, 1981)

Complexity of Algebraic Implementations for Abstract Data Types. - Hartmut Ehrig; Bernd Mahr (J. Comput. Syst. Sci., 1981)

Transformations of Structures: an Algebraic Approach. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (Math. Syst. Theory, 1981)

ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. - Hartmut Ehrig (ADT, 1982)

Parameterized Data Types and Parameter Passing. - Hartmut Ehrig (ADT, 1982)

Aspects of concurrency in graph grammars. - Hartmut Ehrig (Graph-Grammars and Their Application to Computer Science, 1982)

Church-Rosser properties for graph replacement systems with unique splitting. - Hartmut Ehrig; John Staples (Graph-Grammars and Their Application to Computer Science, 1982)

Concurrency of Node-Label-Controlled Graph Transformations. - Dirk Janssens; Hans-Jörg Kreowski; Grzegorz Rozenberg; Hartmut Ehrig (WG, 1982)

Algebraic Implementation of Abstract Data Types. - Hartmut Ehrig; Hans-Jörg Kreowski; Bernd Mahr; Peter Padawitz (Theor. Comput. Sci., 1982)

ACT ONE - An Algebraic Specification Language with two Levels of Semantics. - Hartmut Ehrig; Werner Fey; Horst Hansen (ADT, 1983)

Algebraic Specifications with Generating Constraints. - Hartmut Ehrig; Eric G. Wagner; James W. Thatcher (ICALP, 1983)

Concurrent Transformations of Graphs and Relational Structures. - Hartmut Ehrig; Annegret Habel (WG, 1983)

Compatibility of Parameter Passing and Implementation of Parameterized Data Types. - Hartmut Ehrig; Hans-Jörg Kreowski (Theor. Comput. Sci., 1983)

Towards Abstract User Interfaces for Formal System Specifications. - Hartmut Ehrig; Werner Fey; Horst Hansen (ADT, 1984)

Parameter Passing in Algebraic Specification Languages. - Hartmut Ehrig; Hans-Jörg Kreowski; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (Theor. Comput. Sci., 1984)

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics - Hartmut Ehrig; Bernd Mahr (Springer, 1985)

Towards an Algebraic Semantics of the ISO Specification Language LOTOS. - Hartmut Ehrig (ADT, 1986)

Towards distributed graph grammars. - Paul Boehm; Hartmut Ehrig; Udo Hummert; Michael Löwe (Graph-Grammars and Their Application to Computer Science, 1986)

Tutorial introduction to the algebraic approach of graph grammars. - Hartmut Ehrig (Graph-Grammars and Their Application to Computer Science, 1986)

Graph rewriting with unification and composition. - Francesco Parisi-Presicce; Hartmut Ehrig; Ugo Montanari (Graph-Grammars and Their Application to Computer Science, 1986)

Programming in the Large with Algebraic Module Specifications (Invited Paper). - Hartmut Ehrig; Herbert Weber (IFIP Congress, 1986)

Algebraic Theory of Module Specification with Constraints. - Hartmut Ehrig; Werner Fey; Francesco Parisi-Presicce; Edward K. Blum (MFCS, 1986)

Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. - Hartmut Ehrig; Annegret Habel; Udo Hummert; Paul Boehm (Bull. EATCS, 1986)

A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. - Hartmut Ehrig; Jacques Loeckx; Bernd Mahr (Bull. EATCS, 1986)

Specification of Modular Systems. - Herbert Weber; Hartmut Ehrig (IEEE Trans. Software Eng., 1986)

Algebraic Data Type and Process Specifications based on Projection Spaces. - Hartmut Ehrig; Francesco Parisi-Presicce; Paul Boehm; Catharina Rieckhoff; Christian Dimitrovici; Martin Große-Rhode (ADT, 1987)

Distributed Parallelism of Graph Transformations. - Hartmut Ehrig (WG, 1987)

Algebraic Specification of Modules and Their Basic Interconnections. - Edward K. Blum; Hartmut Ehrig; Francesco Parisi-Presicce (J. Comput. Syst. Sci., 1987)

Canonical Constraints for Parameterized Data Types. - Eric G. Wagner; Hartmut Ehrig (Theor. Comput. Sci., 1987)

Algebraic Theory of Modular Specification Development. - Werner Fey; Hartmut Ehrig; Horst Hansen; Michael Löwe (ADT, 1988)

Categorical Concept of Constraints for Algebraic Specifications. - Hartmut Ehrig (Categorial Methods in Computer Science, 1988)

Categories for the Development of Algebraic Module Specifications. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Francesco Parisi-Presicce (Categorial Methods in Computer Science, 1988)

The Construct PRO of Projection Spaces: Its Internal Structure. - Horst Herrlich; Hartmut Ehrig (Categorial Methods in Computer Science, 1988)

Semantical Constructions for Categories of Behavioural Specifications. - Fernando Orejas; Pilar Nivela; Hartmut Ehrig (Categorial Methods in Computer Science, 1988)

The Algebraic Specification Column. - Hartmut Ehrig (Bull. EATCS, 1988)

Algebraic Software Development Concepts for Module and Configuration Families. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Dean Jacobs (FSTTCS, 1989)

On Recent Trends in Algebraic Specification. - Hartmut Ehrig; Peter Pepper; Fernando Orejas (ICALP, 1989)

Transformation of Combined Data Type and Process Specifications Using Projection Algebras. - Martin Große-Rhode; Hartmut Ehrig (REX Workshop, 1989)

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). - Hartmut Ehrig; Ingo Claßen; Paul Boehm; Werner Fey; Martin Korff; Michael Löwe (Software-Entwicklung, 1989)

Algebraic Specification of Modules and Configuration Families. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Dean Jacobs; Anno Langen; Francesco Parisi-Presicce (J. Inf. Process. Cybern., 1989)

A Match Operation for Rule-Based Modular System Design. - Hartmut Ehrig; Francesco Parisi-Presicce (ADT, 1990)

Graph Grammars and Logic Programming. - Andrea Corradini 001; Ugo Montanari; Francesca Rossi 001; Hartmut Ehrig; Michael Löwe (Graph-Grammars and Their Application to Computer Science, 1990)

From Graph Grammars to High Level Replacement Systems. - Hartmut Ehrig; Annegret Habel; Hans-Jörg Kreowski; Francesco Parisi-Presicce (Graph-Grammars and Their Application to Computer Science, 1990)

Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. - Hartmut Ehrig; Martin Korff; Michael Löwe (Graph-Grammars and Their Application to Computer Science, 1990)

Computing by Graph Transformation: Overall Aims and New Results. - Hartmut Ehrig; Michael Löwe (Graph-Grammars and Their Application to Computer Science, 1990)

Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. - Hartmut Ehrig; Francesco Parisi-Presicce (Graph-Grammars and Their Application to Computer Science, 1990)

Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. - Michael Löwe; Hartmut Ehrig (WG, 1990)

ESF-concepts linked with algebraic module specifications. - Hartmut Ehrig (Bull. EATCS, 1990)

Linking Schemas and Module Specifications: A Proposal. - Hartmut Ehrig; Michael A. Arbib (Bull. EATCS, 1990)

Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). - Hartmut Ehrig; Ingo Claßen (Bull. EATCS, 1990)

Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. - Hartmut Ehrig; Ingo Claßen (Bull. EATCS, 1990)

Compatibility Problems in the Development of Algebraic Module Specifications. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Dean Jacobs; Francesco Parisi-Presicce (Theor. Comput. Sci., 1990)

Combining Data Type and Recursive Process Specifications Using Projection Algebras. - Hartmut Ehrig; Francesco Parisi-Presicce; Paul Boehm; Catharina Rieckhoff; Christian Dimitrovici; Martin Große-Rhode (Theor. Comput. Sci., 1990)

Fundamentals of Algebraic Specification 2 - Hartmut Ehrig; Bernd Mahr (Springer, 1990)

Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. - Hartmut Ehrig; Michael Baldamus; Felix Cornelius; Fernando Orejas (AMAST, 1991)

New Concepts of Amalgamation and Extension for a General Theory of Specifications. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (COMPASS/ADT, 1991)

Non-Equivalence of Categories for Equational Algebraic Specifications. - Hartmut Ehrig; Francesco Parisi-Presicce (COMPASS/ADT, 1991)

On the Relationship Between Algebraic Module Specifications and Program Modules. - Michael Löwe; Hartmut Ehrig; Werner Fey; Dean Jacobs (TAPSOFT, Vol.2, 1991)

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (Bull. EATCS, 1991)

New Compatibility Results for Implementations within the Initial Algebraic Approach. - Hartmut Ehrig; Helmut Adametz (Bull. EATCS, 1991)

Parallelism and Concurrency in High-Level Replacement Systems. - Hartmut Ehrig; Annegret Habel; Hans-Jörg Kreowski; Francesco Parisi-Presicce (Math. Struct. Comput. Sci., 1991)

High-Level-Replacement Systems for Equational Algebraic Specifications. - Hartmut Ehrig; Francesco Parisi-Presicce (ALP, 1992)

From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. - Hartmut Ehrig; Michael Löwe (Informatik zwischen Wissenschaft und Gesellschaft, 1992)

Algebraic High-Level Nets: Petri Nets Revisited. - Hartmut Ehrig; Julia Padberg; Leila Ribeiro 001 (COMPASS/ADT, 1992)

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. - Hartmut Ehrig; Bernd Mahr; Ingo Claßen; Fernando Orejas (Comput. J., 1992)

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. - Hartmut Ehrig; Bernd Mahr; Ingo Claßen; Fernando Orejas (Comput. J., 1992)

Some important new facts supporting the development of algebraic specifications. - Hartmut Ehrig (Bull. EATCS, 1992)

Restriction Constructions in Specification Logics. - Martin Große-Rhode; Hartmut Ehrig (Bull. EATCS, 1992)

Interaction between Algebraic Specification Grammars and Modular System Design. - Hartmut Ehrig; Francesco Parisi-Presicce (AMAST, 1993)

Abstract Graph Derivations in the Double Pushout Approach. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Francesca Rossi 001 (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Francesca Rossi 001 (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Canonical Derivaitons for High-Level Replacement Systems. - Hartmut Ehrig; Hans-Jörg Kreowski; Gabriele Taentzer (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. - Hartmut Ehrig (GI Jahrestagung, 1993)

Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. - Leila Ribeiro 001; Hartmut Ehrig; Julia Padberg (SBES, 1993)

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. - Hartmut Ehrig; Rosa M. Jiménez; Fernando Orejas (TAPSOFT, 1993)

Categorical principles, techniques and results for high-level-replacement systems in computer science. - Hartmut Ehrig; Michael Löwe (Appl. Categorical Struct., 1993)

The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. - Hartmut Ehrig; Michael Löwe (Theor. Comput. Sci., 1993)

Parallel and Distributed Derivations in the Single-Pushout Approach. - Hartmut Ehrig; Michael Löwe (Theor. Comput. Sci., 1993)

Algebraic Specification Techniques and Tools for Software Development: The Act Approach - Ingo Claßen; Hartmut Ehrig; Dietmar Wolz (World Scientific, 1993)

Algebraic Specification. - Hartmut Ehrig (Current Trends in Theoretical Computer Science, 1993)

ESF-Concepts Linked with Algebraic Module Specifications. - Hartmut Ehrig (Current Trends in Theoretical Computer Science, 1993)

Concepts and Compatibility Requirements for Implementations and Transformations of Specifications. - Hartmut Ehrig (Current Trends in Theoretical Computer Science, 1993)

Linking Schemas and Module Specifications: a Proposal. - Hartmut Ehrig; Michael A. Arbib (Current Trends in Theoretical Computer Science, 1993)

New Compatibility Results for Implementations within the Initial Algebraic Approach. - Hartmut Ehrig; Helmut Adametz (Current Trends in Theoretical Computer Science, 1993)

New Concepts for Amalgamation and Extension in the Framework of Specification Logics. - Hartmut Ehrig; Michael Baldamus; Fernando Orejas (Current Trends in Theoretical Computer Science, 1993)

Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems. - Hartmut Ehrig; Ingo Claßen (Current Trends in Theoretical Computer Science, 1993)

On the potential Role of Algebraic Specification within Computer Science. - Hartmut Ehrig; Peter Pepper (Current Trends in Theoretical Computer Science, 1993)

Restriction Constructions in Specification Logics. - Martin Große-Rhode; Hartmut Ehrig (Current Trends in Theoretical Computer Science, 1993)

Dynamic Abstract Data Types Based on Algebraic Graph Transformations. - Hartmut Ehrig; Michael Löwe; Fernando Orejas (COMPASS/ADT, 1994)

Algebraic Methods in the Compositional Analysis of Logic Programs. - Fernando Orejas; Elvira Pino; Hartmut Ehrig (MFCS, 1994)

An Event Structure Semantics for Safe Graph Grammars. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Francesca Rossi 001 (PROCOMET, 1994)

The Category of Typed Graph Grammars and its Adjunctions with Categories. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Julia Padberg (TAGT, 1994)

An Event Structure Semantics for Graph Grammars with Parallel Productions. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Francesca Rossi 001 (TAGT, 1994)

Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. - Hartmut Ehrig; Gregor Engels (TAGT, 1994)

FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. - Hartmut Ehrig (Bull. EATCS, 1994)

Dynamic Abstract Data Types: An informal Proposal. - Hartmut Ehrig; Fernando Orejas (Bull. EATCS, 1994)

Linking Algebraic High level Nets and Dynamic Abstract Data. - Hartmut Ehrig; Julia Padberg (Bull. EATCS, 1994)

Functorial Theory of Parameterized Specifications in a General Specification Framework. - Hartmut Ehrig; Martin Große-Rhode (Theor. Comput. Sci., 1994)

On the Role of Category Theory in the Area of Algebraic Specification. - Hartmut Ehrig; Martin Große-Rhode; Uwe Wolter (COMPASS/ADT, 1995)

A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. - Hartmut Ehrig; Bernd Mahr (TAPSOFT, 1995)

Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. - Hartmut Ehrig; Hans-Jörg Kreowski; Fernando Orejas (Bull. EATCS, 1995)

Theory and Practice of Software Development: A Review of Driving Forces and Expectations. - Hartmut Ehrig; Bernd Mahr (Bull. EATCS, 1995)

Introduction to COMPUGRAPH. - Hartmut Ehrig (SEGRAGRA, 1995)

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. - Rosa M. Jiménez; Fernando Orejas; Hartmut Ehrig (Math. Struct. Comput. Sci., 1995)

Algebraic High-Level Net Transformation Systems. - Julia Padberg; Hartmut Ehrig; Leila Ribeiro 001 (Math. Struct. Comput. Sci., 1995)

Algebraic Techniques in Software Development. - Hartmut Ehrig; Bernd Mahr (Bull. EATCS, 1996)

The Impact and Future Role of Algebraic Specification. - Hartmut Ehrig; Uwe Wolter (Bull. EATCS, 1996)

Horizontal and Vertical Structuring of Typed Graph Transformation Systems. - Reiko Heckel; Andrea Corradini 001; Hartmut Ehrig; Michael Löwe (Math. Struct. Comput. Sci., 1996)

A Uniform Approach to Petri Nets. - Hartmut Ehrig; Julia Padberg (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

Horizontal and Vertical Structuring Techniques for Statecharts. - Hartmut Ehrig; Robert Geisler; Marcus Klar; Julia Padberg (CONCUR, 1997)

A View-Oriented Approach to System Modelling Based on Graph Transformation. - Gregor Engels; Reiko Heckel; Gabriele Taentzer; Hartmut Ehrig (ESEC / SIGSOFT FSE, 1997)

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. - Andrea Corradini 001; Ugo Montanari; Francesca Rossi 001; Hartmut Ehrig; Reiko Heckel; Michael Löwe (Handbook of Graph Grammars, 1997)

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. - Hartmut Ehrig; Reiko Heckel; Martin Korff; Michael Löwe; Leila Ribeiro 001; Annika Wagner; Andrea Corradini 001 (Handbook of Graph Grammars, 1997)

DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen". - Hartmut Ehrig (GI Jahrestagung, 1997)

Integrating the Specification Techniques of Graph Transformation and Temporal Logic. - Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 001 (MFCS, 1997)

Future Trends of TAPSOFT. - Hartmut Ehrig; Bernd Mahr (TAPSOFT, 1997)

From abstract data types to algebraic development techniques: A shift of paradigms. - Hartmut Ehrig; Magdalena Gajewsky; Uwe Wolter (WADT, 1997)

How to Transfer Concepts of Abstract Data Types to Petri Nets? - Hartmut Ehrig; A. Merten; Julia Padberg (Bull. EATCS, 1997)

An Algebraic View on Petri Nets. - Hartmut Ehrig; Wolfgang Reisig (Bull. EATCS, 1997)

A Combined Reference Model- and View-Based Approach to System Specification. - Gregor Engels; Reiko Heckel; Gabriele Taentzer; Hartmut Ehrig (Int. J. Softw. Eng. Knowl. Eng., 1997)

Institutions for Logic Programming. - Fernando Orejas; Elvira Pino; Hartmut Ehrig (Theor. Comput. Sci., 1997)

Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. - Roswitha Bardohl; Hartmut Ehrig (TAGT, 1998)

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. - Hartmut Ehrig; Reiko Heckel; Mercè Llabrés; Fernando Orejas; Julia Padberg; Grzegorz Rozenberg (TAGT, 1998)

Applications of Category Theory to the Area of Algebraic Specification in Computer Science. - Hartmut Ehrig; Martin Große-Rhode; Uwe Wolter (Appl. Categorical Struct., 1998)

EATCS Mini-Track of FM'99. - Hartmut Ehrig (Bull. EATCS, 1998)

Integration Paradigm for Data Type and Process Specification Techniques. - Hartmut Ehrig; Fernando Orejas (Bull. EATCS, 1998)

DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. - Hartmut Ehrig; Robert Geisler; Marcus Klar (Inform. Forsch. Entwickl., 1998)

Mathematisch-strukturelle Grundlagen der Informatik - Hartmut Ehrig; Bernd Mahr; Felix Cornelius; Martin Große-Rhode; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 1999)

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. - Herbert Weber; Marcus Klar; Stefan Mann; Ralf-Detlef Kutsche; Stefan Jähnichen; Robert Büssow; Hartmut Ehrig; Robert Geisler; Gabriel Baum; Claudia Pons; Miguel Felder; Sergio Waldoke (German-Argentinian Workshop on Information Technology, 1999)

Graphical Represenation and Graph Transformation. - Hartmut Ehrig; Gabriele Taentzer (ACM Comput. Surv., 1999)

From Basic Views and Aspects to Integration of Specification Formalisms. - Hartmut Ehrig; Julia Padberg; Fernando Orejas (Bull. EATCS, 1999)

Abstract and behaviour module specifications. - Felix Cornelius; Michael Baldamus; Hartmut Ehrig; Fernando Orejas (Math. Struct. Comput. Sci., 1999)

Refinement and Implementation. - Hartmut Ehrig; Hans-Jörg Kreowski (Algebraic Foundations of Systems Specification, 1999)

A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. - Hartmut Ehrig; Gabriele Taentzer (ICALP Satellite Workshops, 2000)

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. - Hartmut Ehrig (Bull. EATCS, 2000)

On Formal Semantics and Integration of Object-Oriented Modeling Languages. - Hartmut Ehrig; Robert Geisler; Martin Große-Rhode; Marcus Klar; Stefan Mann (Bull. EATCS, 2000)

The Role of Mathematics and Formal Specification Techniques in Software System Development. - Hartmut Ehrig; Gunnar Schröter (Bull. EATCS, 2000)

Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage - Hartmut Ehrig; Bernd Mahr; Martin Große-Rhode; Felix Cornelius; Philip Zeitz (Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage, 2001)

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. - Hartmut Ehrig (Current Trends in Theoretical Computer Science, 2001)

On Formal Semantics and Integration of Object-Oriented Modeling Languages. - Hartmut Ehrig; Robert Geisler; Martin Große-Rhode; Marcus Klar; Stefan Mann (Current Trends in Theoretical Computer Science, 2001)

Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997. - Hartmut Ehrig; Bernd Mahr (Current Trends in Theoretical Computer Science, 2001)

Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties. - Hartmut Ehrig; Bernd Mahr (Current Trends in Theoretical Computer Science, 2001)

Dynamic Abstract Data Types: An Informal Proposal in 1994. - Hartmut Ehrig; Fernando Orejas (Current Trends in Theoretical Computer Science, 2001)

Integration Paradigm for Data Type and Process Specification Techniques. - Hartmut Ehrig; Fernando Orejas (Current Trends in Theoretical Computer Science, 2001)

From Basic Views and Aspects to Integration of Specification Formalisms. - Hartmut Ehrig; Julia Padberg; Fernando Orejas (Current Trends in Theoretical Computer Science, 2001)

The »Petri Net Baukasten«: An Overview. - Magdalena Gajewsky; Hartmut Ehrig (Unifying Petri Nets, 2001)

Parameterized Net Classes: A Uniform Approach to Petri Net Classes. - Julia Padberg; Hartmut Ehrig (Unifying Petri Nets, 2001)

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. - Julia Padberg; Hartmut Ehrig; Grzegorz Rozenberg (Unifying Petri Nets, 2001)

Compositional Modeling of Reactive Systems Using Open Nets. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel (CONCUR, 2001)

Tight and Loose Semantics for Transformation Systems. - Fernando Orejas; Hartmut Ehrig; Elvira Pino (WADT, 2001)

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. - Reiko Heckel; Hartmut Ehrig; Uwe Wolter; Andrea Corradini 001 (Appl. Categorical Struct., 2001)

A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation. - Hartmut Ehrig (Bull. EATCS, 2001)

On the Roots, Birth and Childhood of ETAPS. - Hartmut Ehrig (Bull. EATCS, 2001)

Preface. - Hartmut Ehrig; Claudia Ermel; Julia Padberg (UNIGRA, 2001)

Basic Results for Two Types of High-Level Replacement Systems. - Hartmut Ehrig; Annegret Habel; Francesco Parisi-Presicce (GETGRATS Closing Workshop, 2001)

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. - Hartmut Ehrig; Fernando Orejas (GT-VMT@ICALP, 2001)

Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. - Hartmut Ehrig; Martin Große-Rhode (Inform. Forsch. Entwickl., 2001)

Integration and Collaboration Based on Graphical Techniques (Editorial). - Hartmut Ehrig; Michael Goedicke; Julia Padberg (Trans. SDPS, 2001)

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. - Julia Padberg; L. Jansen; Hartmut Ehrig; Eckehard Schnieder; Reiko Heckel (Trans. SDPS, 2001)

High-Level Net Processes. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Paolo Baldan; Reiko Heckel (Formal and Natural Computing, 2002)

A Generic Component Framework for System Modeling. - Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Markus Klein 001; Martti Piirainen (FASE, 2002)

Bigraphs meet Double Pushouts. - Hartmut Ehrig (Bull. EATCS, 2002)

A Review of Algebraic Specification and Component Techniques at TU Berlin. - Hartmut Ehrig (Bull. EATCS, 2002)

Foreword Volume 72. - Hartmut Ehrig; Fernando Orejas (Electron. Notes Theor. Comput. Sci., 2002)

A Component Framework Based on High-Level Replacement Systems. - Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Markus Klein 001; Martti Piirainen (GT-VMT@ICGT, 2002)

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. - Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Markus Klein 001; Martti Piirainen (Trans. SDPS, 2002)

Component-Based System Development. - Hartmut Ehrig; Julia Padberg (Trans. SDPS, 2002)

Concurrency and Loose Semantics of Open Graph Transformation Systems. - Reiko Heckel; Mercè Llabrés; Hartmut Ehrig; Fernando Orejas (Math. Struct. Comput. Sci., 2002)

Graph Grammars and Petri Net Transformations. - Hartmut Ehrig; Julia Padberg (Lectures on Concurrency and Petri Nets, 2003)

Petri Net Transformations in the "Petri Net Baukasten". - Benjamin Braatz; Hartmut Ehrig; Milan Urbásek (Petri Net Technology for Communication-Based Systems, 2003)

Generation of Animation Views for Petri Nets in GenGED. - Claudia Ermel; Roswitha Bardohl; Hartmut Ehrig (Petri Net Technology for Communication-Based Systems, 2003)

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. - Herbert Weber; Hartmut Ehrig; Wolfgang Reisig; Alexander Borusan; Sabine Lembke; Juliane Dehnert; Michael Weber 003; Axel Martens; Julia Padberg; Claudia Ermel; Anilda Qemali (Petri Net Technology for Communication-Based Systems, 2003)

On the relevance of high-level net processes, Formal Specification Column. - Hartmut Ehrig (Bull. EATCS, 2003)

Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. - Roswitha Bardohl; Hartmut Ehrig (UNIGRA, 2003)

Behaviour and Instantiation of High-Level Net Processes. - Hartmut Ehrig (UNIGRA, 2003)

Components for Algebra Transformation Systems. - Fernando Orejas; Hartmut Ehrig (UNIGRA, 2003)

Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. - Hartmut Ehrig (SoftSpez Final Report, 2004)

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. - Roswitha Bardohl; Hartmut Ehrig; Juan de Lara; Gabriele Taentzer (FASE, 2004)

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. - Hartmut Ehrig; Barbara König 001 (FoSSaCS, 2004)

Constraints and Application Conditions: From Graphs to High-Level Structures. - Hartmut Ehrig; Karsten Ehrig; Annegret Habel; Karl-Heinz Pennemann (ICGT, 2004)

Adhesive High-Level Replacement Categories and Systems. - Hartmut Ehrig; Annegret Habel; Julia Padberg; Ulrike Prange (ICGT, 2004)

Workshop on Petri Nets and Graph Transformations. - Hartmut Ehrig; Julia Padberg; Grzegorz Rozenberg (ICGT, 2004)

Fundamental Theory for Typed Attributed Graph Transformation. - Hartmut Ehrig; Ulrike Prange; Gabriele Taentzer (ICGT, 2004)

Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification). - Hartmut Ehrig (Bull. EATCS, 2004)

Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification). - Hartmut Ehrig (Bull. EATCS, 2004)

Transformations of Petri Nets. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg (FoVMT, 2004)

A Generic Framework for Connector Architectures based on Components and Transformations. - Hartmut Ehrig; Julia Padberg; Benjamin Braatz; Markus Klein 001; Fernando Orejas; Sonia Pérez; Elvira Pino (FESCA@ETAPS, 2004)

Preface. - Hartmut Ehrig; Julia Padberg; Grzegorz Rozenberg (PNGT@ICGT, 2004)

A component framework for system modeling based on high-level replacement systems. - Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Markus Klein 001; Martti Piirainen (Softw. Syst. Model., 2004)

High-Level Nets with Nets and Rules as Tokens. - Kathrin Hoffmann; Hartmut Ehrig; Till Mossakowski (ICATPN, 2005)

Termination Criteria for Model Transformation. - Hartmut Ehrig; Karsten Ehrig; Juan de Lara; Gabriele Taentzer; Dániel Varró; Szilvia Varró-Gyapay (FASE, 2005)

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. - Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (VL/HCC, 2005)

Object-Oriented Connector-Component Architectures. - Hartmut Ehrig; Benjamin Braatz; Markus Klein 001; Fernando Orejas; Sonia Pérez; Elvira Pino (FESCA@ETAPS, 2005)

Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation. - Hartmut Ehrig; Karsten Ehrig (GRaMoT@GPCE, 2005)

Efficient Detection of Conflicts in Graph-based Model Transformation. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (GRaMoT@GPCE, 2005)

Behaviour and Instantiation of High-Level Petri Net Processes. - Hartmut Ehrig (Fundam. Informaticae, 2005)

Priority Program SoftSpez and the International INT Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen"). - Hartmut Ehrig; Benjamin Braatz; Markus Klein 001 (it Inf. Technol., 2005)

Compositional semantics for open Petri nets based on deterministic processe. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel (Math. Struct. Comput. Sci., 2005)

Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. - Hartmut Ehrig; Ulrike Prange (Essays Dedicated to Joseph A. Goguen, 2006)

Composition and Decomposition of DPO Transformations with Borrowed Context. - Paolo Baldan; Hartmut Ehrig; Barbara König 001 (ICGT, 2006)

Workshop on Petri Nets and Graph Transformations. - Paolo Baldan; Hartmut Ehrig; Julia Padberg; Grzegorz Rozenberg (ICGT, 2006)

Categorical Foundations of Distributed Graph Transformation. - Hartmut Ehrig; Fernando Orejas; Ulrike Prange (ICGT, 2006)

Conflict Detection for Graph Transformation with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (ICGT, 2006)

Termination Analysis of Model Transformations by Petri Nets. - Dániel Varró; Szilvia Varró-Gyapay; Hartmut Ehrig; Ulrike Prange; Gabriele Taentzer (ICGT, 2006)

Footprints of HR in Initial Algebra and Final Coalgebra. - Hartmut Ehrig (Bull. EATCS, 2006)

Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory. - Hartmut Ehrig (Bull. EATCS, 2006)

Revie of Dines Bjørner's Textbooks Software Engineering 1-3. - Hartmut Ehrig (Bull. EATCS, 2006)

Foreword. - Paolo Baldan; Hartmut Ehrig; Julia Padberg; Grzegorz Rozenberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. - Claudia Ermel; Hartmut Ehrig; Karsten Ehrig (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. - Frank Hermann 001; Hartmut Ehrig; Gabriele Taentzer (GT-VMT@ETAPS, 2006)

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (GT-VMT@ETAPS, 2006)

Termination Criteria for DPO Transformations with Injective Matches. - Tihamer Levendovszky; Ulrike Prange; Hartmut Ehrig (GT-VC@CONCUR, 2006)

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. - Hartmut Ehrig; Karsten Ehrig; Annegret Habel; Karl-Heinz Pennemann (Fundam. Informaticae, 2006)

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. - Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (Fundam. Informaticae, 2006)

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. - Hartmut Ehrig; Julia Padberg; Ulrike Prange; Annegret Habel (Fundam. Informaticae, 2006)

Petri net modules in the transformation-based component framework. - Julia Padberg; Hartmut Ehrig (J. Log. Algebraic Methods Program., 2006)

Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. - Hartmut Ehrig; Barbara König 001 (Math. Struct. Comput. Sci., 2006)

Fundamentals of Algebraic Graph Transformation - Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (Springer, 2006)

An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario. - Christoph Brandt; Thomas Engel 001; Benjamin Braatz; Frank Hermann 001; Hartmut Ehrig (ACIS, 2007)

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Ulrike Prange; Claudia Ermel (ICATPN, 2007)

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. - Ulrike Prange; Hartmut Ehrig (CAI, 2007)

Information Preserving Bidirectional Model Transformations. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel; Frank Hermann 001; Gabriele Taentzer (FASE, 2007)

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. - Julia Padberg; Kathrin Hoffmann; Hartmut Ehrig; Tony Modica; Enrico Biermann; Claudia Ermel (FASE, 2007)

Iterative model-driven development of adaptable service-based applications. - Leen Lambers; Hartmut Ehrig; Leonardo Mariani; Mauro Pezzè (ASE, 2007)

Model Transformations should be Functors. - Don S. Batory; Oscar Díaz 001; Hartmut Ehrig; Claudia Ermel; Ulrike Prange; Gabriele Taentzer (Bull. EATCS, 2007)

Model Transformations by Graph Transformation are Functors. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel; Ulrike Prange (Bull. EATCS, 2007)

Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. - Julia Padberg; Hartmut Ehrig; Kathrin Hoffmann (Bull. EATCS, 2007)

Bisimulation Verification for the DPO Approach with Borrowed. - Guilherme Rangel; Barbara König 001; Hartmut Ehrig (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Preface. - Hartmut Ehrig; Jochen Pfalzgraf; Ulrike Prange (ACCAT@ETAPS, 2007)

Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. - Claudia Ermel; Hartmut Ehrig (GT-VC@CONCUR, 2007)

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Ulrike Prange; Fernando Orejas (ACCAT@ETAPS, 2007)

Towards Component Verification in the Generic Component Framework. - Julia Padberg; Hartmut Ehrig; Fernando Orejas (FESCA@ETAPS, 2007)

Attributed graph transformation with node type inheritance. - Juan de Lara; Roswitha Bardohl; Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (Theor. Comput. Sci., 2007)

Transformations in Reconfigurable Place/Transition Systems. - Ulrike Prange; Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg (Concurrency, Graphs and Models, 2008)

Verification of Architectural Refactorings by Rule Extraction. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (FASE, 2008)

Consistent Integration of Models Based on Views of Visual Languages. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel; Ulrike Prange (FASE, 2008)

A Formal Framework for Developing Adaptable Service-Based Applications. - Leen Lambers; Leonardo Mariani; Hartmut Ehrig; Mauro Pezzè (FASE, 2008)

A Logic of Graph Constraints. - Fernando Orejas; Hartmut Ehrig; Ulrike Prange (FASE, 2008)

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. - Guilherme Rangel; Barbara König 001; Hartmut Ehrig (FoSSaCS, 2008)

Open Petri Nets: Non-deterministic Processes and Compositionality. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Barbara König 001 (ICGT, 2008)

Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. - Hartmut Ehrig; Claudia Ermel (ICGT, 2008)

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. - Hartmut Ehrig; Ulrike Prange (ICGT, 2008)

Embedding and Confluence of Graph Transformations with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Ulrike Prange; Fernando Orejas (ICGT, 2008)

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. - Guilherme Rangel; Leen Lambers; Barbara König 001; Hartmut Ehrig; Paolo Baldan (ICGT, 2008)

Compositional Verification of Architectural Refactorings. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (WADS, 2008)

On the relationship of model transformations based on triple and plain graph grammars. - Hartmut Ehrig; Claudia Ermel; Frank Hermann 001 (GRaMoT@ICSE, 2008)

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. - Ulrike Prange; Hartmut Ehrig; Leen Lambers (Appl. Categorical Struct., 2008)

Flattening of Generalized Algebraic High-Level Nets. - Hartmut Ehrig; Ulrike Prange (Bull. EATCS, 2008)

Process Definition using Subobject Transformation Systems. - Frank Hermann 001; Hartmut Ehrig (Bull. EATCS, 2008)

Verification of Architectural Refactorings: Rule Extraction and Tool Support. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. - Hartmut Ehrig; Karsten Ehrig; Frank Hermann 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. - Kathrin Hoffmann; Hartmut Ehrig; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. - Leen Lambers; Hartmut Ehrig; Gabriele Taentzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Compositionality of Model Transformations. - Dénes Bisztray; Reiko Heckel; Hartmut Ehrig (VODCA@FOSAD, 2008)

Composition and Independence of High-Level Net Processes. - Hartmut Ehrig; Kathrin Hoffmann; Karsten Gabriel; Julia Padberg (FMWS@CONCUR, 2008)

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. - Paolo Baldan; Andrea Corradini 001; Hartmut Ehrig; Reiko Heckel; Barbara König 001 (Log. Methods Comput. Sci., 2008)

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. - Fernando Orejas; Esther Guerra; Juan de Lara; Hartmut Ehrig (CALCO, 2009)

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. - Frank Hermann 001; Hartmut Ehrig; Claudia Ermel (FASE, 2009)

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. - Hartmut Ehrig; Claudia Ermel; Frank Hermann 001; Ulrike Prange (MoDELS, 2009)

Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. - Claudia Ermel; Tony Modica; Enrico Biermann; Hartmut Ehrig; Kathrin Hoffmann (VL/HCC, 2009)

Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. - Hartmut Ehrig; Claudia Ermel; Frank Hermann 001; Barbara König 001 (Bull. EATCS, 2009)

Cospan DPO Approach: An Alternative for DPO Graph Transformations. - Hartmut Ehrig; Frank Hermann 001; Ulrike Prange (Bull. EATCS, 2009)

Refactoring of Model Transformations. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. - Hartmut Ehrig; Frank Hermann 001; Christoph Sartorius (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. - Enrico Biermann; Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Gabriele Taentzer (Graph Transformations and Model-Driven Engineering, 2010)

Formal Analysis and Verification of Self-Healing Systems. - Hartmut Ehrig; Claudia Ermel; Olga Runge; Antonio Bucchiarone; Patrizio Pelliccione (FASE, 2010)

Local Confluence for Rules with Nested Application Conditions. - Hartmut Ehrig; Annegret Habel; Leen Lambers; Fernando Orejas; Ulrike Golas (ICGT, 2010)

Multi-Amalgamation in Adhesive Categories. - Ulrike Golas; Hartmut Ehrig; Annegret Habel (ICGT, 2010)

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Ulrike Golas (ICGT, 2010)

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. - Frank Hermann 001; Hartmut Ehrig; Ulrike Golas; Fernando Orejas (MDI@MoDELS, 2010)

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. - Hartmut Ehrig; Ulrike Golas; Frank Hermann 001 (Bull. EATCS, 2010)

From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. - Hartmut Ehrig (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. - Hartmut Ehrig; Annegret Habel; Leen Lambers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. - Claudia Ermel; Hartmut Ehrig; Fernando Orejas; Gabriele Taentzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. - Ulrike Golas; Kathrin Hoffmann; Hartmut Ehrig; Alexander Rein; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. - Frank Hermann 001; Andrea Corradini 001; Hartmut Ehrig; Barbara König 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. - Maria Maximova; Hartmut Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Consistent integration of models based on views of meta models. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel; Ulrike Prange (Formal Aspects Comput., 2010)

Reasoning with graph constraints. - Fernando Orejas; Hartmut Ehrig; Ulrike Prange (Formal Aspects Comput., 2010)

A Generic Approach to Connector Architectures Part I: The General Framework. - Fernando Orejas; Hartmut Ehrig; Markus Klein 001; Julia Padberg; Elvira Pino; Sonia Pérez (Fundam. Informaticae, 2010)

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. - Fernando Orejas; Hartmut Ehrig; Markus Klein 001; Julia Padberg; Elvira Pino; Sonia Pérez (Fundam. Informaticae, 2010)

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. - Hartmut Ehrig; Claudia Ermel; Gabriele Taentzer (FASE, 2011)

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001; Hartmut Ehrig; Frank Hermann 001; Fernando Orejas (MoDELS, 2011)

Correctness of Model Synchronization Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001 (MoDELS, 2011)

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. - Hartmut Ehrig; Frank Hermann 001; Hanna Schölzel; Christoph Brandt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. - Ulrike Golas; Enrico Biermann; Hartmut Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. - Ulrike Golas; Hartmut Ehrig; Frank Hermann 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. - Hartmut Ehrig; Karsten Gabriel (Int. J. Softw. Informatics, 2011)

Foreword. - Jochen Pfalzgraf; Hartmut Ehrig; Ulrike Golas; Thomas Soboll (J. Symb. Comput., 2011)

Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes. - Karsten Gabriel; Hartmut Ehrig (Software Service and Application Engineering, 2012)

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Claudia Ermel; Fernando Orejas (FASE, 2012)

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. - Ulrike Golas; Leen Lambers; Hartmut Ehrig; Holger Giese (ICGT, 2012)

Parallelism and Concurrency of Stochastic Graph Transformations. - Reiko Heckel; Hartmut Ehrig; Ulrike Golas; Frank Hermann 001 (ICGT, 2012)

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories - Hanna Schölzel; Hartmut Ehrig; Maria Maximova; Karsten Gabriel; Frank Hermann 001 (ACCAT, 2012)

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. - Maria Maximova; Hartmut Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. - Hartmut Ehrig; Ulrike Golas; Annegret Habel; Leen Lambers; Fernando Orejas (Fundam. Informaticae, 2012)

Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes. - Karsten Gabriel; Hartmut Ehrig (Theor. Comput. Sci., 2012)

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. - Ulrike Golas; Leen Lambers; Hartmut Ehrig; Fernando Orejas (Theor. Comput. Sci., 2012)

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. - Susann Gottmann; Frank Hermann 001; Nico Nachtigall; Benjamin Braatz; Claudia Ermel; Hartmut Ehrig; Thomas Engel 001 (AMT@MoDELS, 2013)

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. - Hartmut Ehrig; Claudia Ermel; Falk Hüffner; Rolf Niedermeier; Olga Runge (Comput., 2013)

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. - Maria Maximova; Hartmut Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

On Propagation-Based Concurrent Model Synchronization. - Fernando Orejas; Artur Boronat; Hartmut Ehrig; Frank Hermann 001; Hanna Schölzel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Propagation of constraints along model transformations using triple graph grammars and borrowed context. - Hartmut Ehrig; Frank Hermann 001; Hanna Schölzel; Christoph Brandt (J. Vis. Lang. Comput., 2013)

Triple Graph Grammars in the Large for Translating Satellite Procedures. - Frank Hermann 001; Susann Gottmann; Nico Nachtigall; Hartmut Ehrig; Benjamin Braatz; Gianluigi Morelli; Alain Pierre; Thomas Engel 001; Claudia Ermel (ICMT, 2014)

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. - Frank Hermann 001; Andrea Corradini 001; Hartmut Ehrig (Math. Struct. Comput. Sci., 2014)

Formal analysis of model transformations based on triple graph grammars. - Frank Hermann 001; Hartmut Ehrig; Ulrike Golas; Fernando Orejas (Math. Struct. Comput. Sci., 2014)

ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. - Hartmut Ehrig; Ulrike Golas; Annegret Habel; Leen Lambers; Fernando Orejas (Math. Struct. Comput. Sci., 2014)

Finitary ℳ-adhesive categories. - Karsten Gabriel; Benjamin Braatz; Hartmut Ehrig; Ulrike Golas (Math. Struct. Comput. Sci., 2014)

Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. - Ulrike Golas; Annegret Habel; Hartmut Ehrig (Math. Struct. Comput. Sci., 2014)

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. - Antonio Bucchiarone; Hartmut Ehrig; Claudia Ermel; Patrizio Pelliccione; Olga Runge (Software, Services, and Systems, 2015)

Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. - Maria Maximova; Hartmut Ehrig; Claudia Ermel (Sci. Comput. Program., 2015)

Model synchronization based on triple graph grammars: correctness, completeness and invertibility. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001; Susann Gottmann; Thomas Engel 001 (Softw. Syst. Model., 2015)

Graph and Model Transformation - General Framework and Applications - Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann 001 (Springer, 2015)