Hartmut Ehrig - RankMe

390 papers A* 9A 3B 61C 2Journal 147Unranked 118

Year	Rank	Type	Title / Venue / Authors
2015	—	`book`	Graph and Model Transformation - General Framework and Applications Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
2015	J	`jnl`	Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. Sci. Comput. Program. Maria Maximova, Hartmut Ehrig, Claudia Ermel
2015	J	`jnl`	Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
2015	—	`conf`	Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. Software, Services, and Systems Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge
2014	J	`jnl`	Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. Frank Hermann, Andrea Corradini, Hartmut Ehrig
2014	J	`jnl`	Finitary ℳ-adhesive categories. Math. Struct. Comput. Sci. Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas
2014	J	`jnl`	Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
2014	J	`jnl`	Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. Math. Struct. Comput. Sci. Ulrike Golas, Annegret Habel, Hartmut Ehrig
2014	—	`conf`	Triple Graph Grammars in the Large for Translating Satellite Procedures. ICMT Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
2014	J	`jnl`	ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
2013	J	`jnl`	Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Maria Maximova, Hartmut Ehrig, Claudia Ermel
2013	J	`jnl`	Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. Comput. Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
2013	—	`conf`	Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. AMT@MoDELS Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel
2013	J	`jnl`	On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel
2013	J	`jnl`	Propagation of constraints along model transformations using triple graph grammars and borrowed context. J. Vis. Lang. Comput. Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
2012	J	`jnl`	Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas
2012	B	`conf`	Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
2012	C	`conf`	Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
2012	B	`ed.`	Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings ICGT Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
2012	J	`jnl`	Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes. Theor. Comput. Sci. Karsten Gabriel, Hartmut Ehrig
2012	—	`conf`	Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes. Software Service and Application Engineering Karsten Gabriel, Hartmut Ehrig
2012	B	`conf`	Parallelism and Concurrency of Stochastic Graph Transformations. ICGT Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
2012	—	`conf`	Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories ACCAT Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann
2012	B	`conf`	Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese
2012	J	`jnl`	Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Maria Maximova, Hartmut Ehrig, Claudia Ermel
2012	J	`jnl`	ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
2011	B	`conf`	A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer
2011	J	`jnl`	A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel
2011	A	`conf`	Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
2011	J	`jnl`	Foreword. J. Symb. Comput. Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll
2011	J	`jnl`	Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ulrike Golas, Hartmut Ehrig, Frank Hermann
2011	A	`conf`	From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
2011	J	`jnl`	Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
2011	J	`jnl`	Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. Int. J. Softw. Informatics Hartmut Ehrig, Karsten Gabriel
2010	J	`jnl`	A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
2010	J	`jnl`	A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
2010	J	`jnl`	Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bull. EATCS Hartmut Ehrig, Ulrike Golas, Frank Hermann
2010	J	`jnl`	Consistent integration of models based on views of meta models. Formal Aspects Comput. Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
2010	J	`jnl`	Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
2010	—	`conf`	Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
2010	B	`conf`	Finitary ℳ-Adhesive Categories. ICGT Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas
2010	B	`conf`	Formal Analysis and Verification of Self-Healing Systems. FASE Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione
2010	B	`conf`	Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
2010	J	`jnl`	Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Maria Maximova, Hartmut Ehrig, Claudia Ermel
2010	J	`jnl`	From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig
2010	J	`jnl`	Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg
2010	B	`ed.`	Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings ICGT Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
2010	J	`jnl`	International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
2010	B	`conf`	Local Confluence for Rules with Nested Application Conditions. ICGT Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
2010	B	`conf`	Multi-Amalgamation in Adhesive Categories. ICGT Ulrike Golas, Hartmut Ehrig, Annegret Habel
2010	—	`conf`	Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. Graph Transformations and Model-Driven Engineering Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer
2010	J	`jnl`	Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Annegret Habel, Leen Lambers
2010	J	`jnl`	Reasoning with graph constraints. Formal Aspects Comput. Fernando Orejas, Hartmut Ehrig, Ulrike Prange
2009	J	`jnl`	Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König
2009	J	`jnl`	Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Frank Hermann, Christoph Sartorius
2009	B	`conf`	Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig
2009	J	`jnl`	Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bull. EATCS Hartmut Ehrig, Frank Hermann, Ulrike Prange
2009	B	`conf`	Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. VL/HCC Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann
2009	A	`conf`	On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. MoDELS Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange
2009	J	`jnl`	Refactoring of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Karsten Ehrig, Claudia Ermel
2009	B	`conf`	Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE Frank Hermann, Hartmut Ehrig, Claudia Ermel
2009	J	`jnl`	Verification of Architectural Refactorings: Rule Extraction and Tool Support. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008	B	`conf`	A Formal Framework for Developing Adaptable Service-Based Applications. FASE Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè
2008	B	`conf`	A Logic of Graph Constraints. FASE Fernando Orejas, Hartmut Ehrig, Ulrike Prange
2008	B	`conf`	Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
2008	J	`jnl`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008	J	`jnl`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Log. Methods Comput. Sci. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2008	—	`conf`	Composition and Independence of High-Level Net Processes. FMWS@CONCUR Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg
2008	B	`conf`	Compositional Verification of Architectural Refactorings. WADS Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008	—	`conf`	Compositionality of Model Transformations. VODCA@FOSAD Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008	B	`conf`	Consistent Integration of Models Based on Views of Visual Languages. FASE Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
2008	J	`jnl`	Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Appl. Categorical Struct. Ulrike Prange, Hartmut Ehrig, Leen Lambers
2008	B	`conf`	Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS Guilherme Rangel, Barbara König, Hartmut Ehrig
2008	B	`conf`	Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2008	J	`jnl`	Flattening of Generalized Algebraic High-Level Nets. Bull. EATCS Hartmut Ehrig, Ulrike Prange
2008	J	`jnl`	Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
2008	B	`conf`	Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT Hartmut Ehrig, Ulrike Prange
2008	J	`jnl`	From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Karsten Ehrig, Frank Hermann
2008	B	`ed.`	Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings ICGT Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
2008	—	`conf`	On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE Hartmut Ehrig, Claudia Ermel, Frank Hermann
2008	B	`conf`	Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
2008	—	`ed.`	Proceedings of the Second Workshop on Applied and Computational Category Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007 ACCAT@ETAPS Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange
2008	J	`jnl`	Process Definition using Subobject Transformation Systems. Bull. EATCS Frank Hermann, Hartmut Ehrig
2008	B	`conf`	Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT Hartmut Ehrig, Claudia Ermel
2008	J	`jnl`	Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leen Lambers, Hartmut Ehrig, Gabriele Taentzer
2008	—	`conf`	Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
2008	B	`conf`	Verification of Architectural Refactorings by Rule Extraction. FASE Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2007	—	`conf`	An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario. ACIS Christoph Brandt, Thomas Engel, Benjamin Braatz, Frank Hermann, Hartmut Ehrig
2007	J	`jnl`	Attributed graph transformation with node type inheritance. Theor. Comput. Sci. Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
2007	—	`conf`	Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. GT-VC@CONCUR Claudia Ermel, Hartmut Ehrig
2007	B	`conf`	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
2007	J	`jnl`	Bisimulation Verification for the DPO Approach with Borrowed. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Guilherme Rangel, Barbara König, Hartmut Ehrig
2007	J	`jnl`	Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bull. EATCS Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann
2007	—	`conf`	From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI Ulrike Prange, Hartmut Ehrig
2007	—	`conf`	Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
2007	B	`conf`	Information Preserving Bidirectional Model Transformations. FASE Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
2007	A*	`conf`	Iterative model-driven development of adaptable service-based applications. ASE Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè
2007	B	`conf`	Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. FASE Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
2007	J	`jnl`	Model Transformations by Graph Transformation are Functors. Bull. EATCS Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
2007	J	`jnl`	Model Transformations should be Functors. Bull. EATCS Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer
2007	—	`conf`	Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. ACCAT@ETAPS Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2007	—	`conf`	Preface. ACCAT@ETAPS Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange
2007	—	`conf`	Towards Component Verification in the Generic Component Framework. FESCA@ETAPS Julia Padberg, Hartmut Ehrig, Fernando Orejas
2006	—	`conf`	A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. GT-VMT@ETAPS Frank Hermann, Hartmut Ehrig, Gabriele Taentzer
2006	J	`jnl`	Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Informaticae Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel
2006	B	`conf`	Categorical Foundations of Distributed Graph Transformation. ICGT Hartmut Ehrig, Fernando Orejas, Ulrike Prange
2006	B	`conf`	Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT Paolo Baldan, Hartmut Ehrig, Barbara König
2006	B	`conf`	Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT Leen Lambers, Hartmut Ehrig, Fernando Orejas
2006	J	`jnl`	Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Math. Struct. Comput. Sci. Hartmut Ehrig, Barbara König
2006	—	`conf`	Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. GT-VMT@ETAPS Leen Lambers, Hartmut Ehrig, Fernando Orejas
2006	J	`jnl`	Footprints of HR in Initial Algebra and Final Coalgebra. Bull. EATCS Hartmut Ehrig
2006	J	`jnl`	Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2006	J	`jnl`	Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. Fundam. Informaticae Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
2006	—	`book`	Fundamentals of Algebraic Graph Transformation Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
2006	B	`ed.`	Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings ICGT Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
2006	J	`jnl`	Petri net modules in the transformation-based component framework. J. Log. Algebraic Methods Program. Julia Padberg, Hartmut Ehrig
2006	J	`jnl`	Report on ACCAT Workshop at ETAPS 2006: Applied and Computational Category Theory. Bull. EATCS Hartmut Ehrig
2006	J	`jnl`	Revie of Dines Bjørner's Textbooks Software Engineering 1-3. Bull. EATCS Hartmut Ehrig
2006	J	`jnl`	Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Claudia Ermel, Hartmut Ehrig, Karsten Ehrig
2006	B	`conf`	Termination Analysis of Model Transformations by Petri Nets. ICGT Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
2006	—	`conf`	Termination Criteria for DPO Transformations with Injective Matches. GT-VC@CONCUR Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
2006	J	`jnl`	Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. Fundam. Informaticae Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
2006	—	`conf`	Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. Essays Dedicated to Joseph A. Goguen Hartmut Ehrig, Ulrike Prange
2006	B	`conf`	Workshop on Petri Nets and Graph Transformations. ICGT Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2005	J	`jnl`	Behaviour and Instantiation of High-Level Petri Net Processes. Fundam. Informaticae Hartmut Ehrig
2005	J	`jnl`	Compositional semantics for open Petri nets based on deterministic processe. Math. Struct. Comput. Sci. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
2005	—	`conf`	Efficient Detection of Conflicts in Graph-based Model Transformation. GRaMoT@GPCE Leen Lambers, Hartmut Ehrig, Fernando Orejas
2005	B	`conf`	Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. VL/HCC Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
2005	—	`conf`	High-Level Nets with Nets and Rules as Tokens. ICATPN Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
2005	—	`conf`	Object-Oriented Connector-Component Architectures. FESCA@ETAPS Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
2005	—	`conf`	Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation. GRaMoT@GPCE Hartmut Ehrig, Karsten Ehrig
2005	J	`jnl`	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"). it Inf. Technol. Hartmut Ehrig, Benjamin Braatz, Markus Klein
2005	—	`ed.`	Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004 PNGT@ICGT Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2005	—	`conf`	Termination Criteria for Model Transformation. Transformation Techniques in Software Engineering Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay
2005	B	`conf`	Termination Criteria for Model Transformation. FASE Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay
2004	—	`conf`	A Generic Framework for Connector Architectures based on Components and Transformations. FESCA@ETAPS Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
2004	J	`jnl`	A component framework for system modeling based on high-level replacement systems. Softw. Syst. Model. Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2004	B	`conf`	Adhesive High-Level Replacement Categories and Systems. ICGT Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
2004	J	`jnl`	Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification). Bull. EATCS Hartmut Ehrig
2004	B	`conf`	Constraints and Application Conditions: From Graphs to High-Level Structures. ICGT Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann
2004	B	`conf`	Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. FoSSaCS Hartmut Ehrig, Barbara König
2004	B	`conf`	Fundamental Theory for Typed Attributed Graph Transformation. ICGT Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
2004	B	`ed.`	Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings ICGT Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg
2004	B	`conf`	Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. FASE Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer
2004	—	`ed.`	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report SoftSpez Final Report Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
2004	—	`conf`	Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. SoftSpez Final Report Hartmut Ehrig
2004	J	`jnl`	Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification). Bull. EATCS Hartmut Ehrig
2004	—	`conf`	Preface. PNGT@ICGT Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2004	—	`conf`	Transformations of Petri Nets. FoVMT Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
2004	B	`conf`	Workshop on Petri Nets and Graph Transformations. ICGT Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2003	—	`conf`	Behaviour and Instantiation of High-Level Net Processes. UNIGRA Hartmut Ehrig
2003	—	`conf`	Components for Algebra Transformation Systems. UNIGRA Fernando Orejas, Hartmut Ehrig
2003	—	`conf`	Generation of Animation Views for Petri Nets in GenGED. Petri Net Technology for Communication-Based Systems Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig
2003	—	`conf`	Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets Hartmut Ehrig, Julia Padberg
2003	J	`jnl`	On the relevance of high-level net processes, Formal Specification Column. Bull. EATCS Hartmut Ehrig
2003	—	`ed.`	Petri Net Technology for Communication-Based Systems - Advances in Petri Nets Petri Net Technology for Communication-Based Systems Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
2003	—	`conf`	Petri Net Transformations in the "Petri Net Baukasten". Petri Net Technology for Communication-Based Systems Benjamin Braatz, Hartmut Ehrig, Milan Urbásek
2003	—	`conf`	Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. UNIGRA Roswitha Bardohl, Hartmut Ehrig
2003	—	`conf`	The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Petri Net Technology for Communication-Based Systems Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali
2003	—	`ed.`	Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003 UNIGRA Roswitha Bardohl, Hartmut Ehrig
2002	—	`conf`	A Component Framework Based on High-Level Replacement Systems. GT-VMT@ICGT Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2002	B	`conf`	A Generic Component Framework for System Modeling. FASE Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2002	J	`jnl`	A Review of Algebraic Specification and Component Techniques at TU Berlin. Bull. EATCS Hartmut Ehrig
2002	J	`jnl`	A Transformation-Based Component Framework for a Generic Integrated Modeling Technique. Trans. SDPS Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
2002	J	`jnl`	Bigraphs meet Double Pushouts. Bull. EATCS Hartmut Ehrig
2002	J	`jnl`	Component-Based System Development. Trans. SDPS Hartmut Ehrig, Julia Padberg
2002	J	`jnl`	Concurrency and Loose Semantics of Open Graph Transformation Systems. Math. Struct. Comput. Sci. Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas
2002	J	`jnl`	Foreword Volume 72. Electron. Notes Theor. Comput. Sci. Hartmut Ehrig, Fernando Orejas
2002	—	`ed.`	Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] Formal and Natural Computing Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa
2002	B	`ed.`	Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings ICGT Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
2002	—	`conf`	High-Level Net Processes. Formal and Natural Computing Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
2001	—	`conf`	A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. GT-VMT@ICALP Hartmut Ehrig, Fernando Orejas
2001	J	`jnl`	A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation. Bull. EATCS Hartmut Ehrig
2001	—	`ch.`	Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties. Current Trends in Theoretical Computer Science Hartmut Ehrig, Bernd Mahr
2001	—	`conf`	Basic Results for Two Types of High-Level Replacement Systems. GETGRATS Closing Workshop Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce
2001	—	`conf`	Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. Unifying Petri Nets Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg
2001	B	`conf`	Compositional Modeling of Reactive Systems Using Open Nets. CONCUR Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel
2001	J	`jnl`	Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Trans. SDPS Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel
2001	J	`jnl`	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. Appl. Categorical Struct. Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
2001	—	`ch.`	Dynamic Abstract Data Types: An Informal Proposal in 1994. Current Trends in Theoretical Computer Science Hartmut Ehrig, Fernando Orejas
2001	—	`ch.`	From Basic Views and Aspects to Integration of Specification Formalisms. Current Trends in Theoretical Computer Science Hartmut Ehrig, Julia Padberg, Fernando Orejas
2001	—	`ch.`	Integration Paradigm for Data Type and Process Specification Techniques. Current Trends in Theoretical Computer Science Hartmut Ehrig, Fernando Orejas
2001	J	`jnl`	Integration and Collaboration Based on Graphical Techniques (Editorial). Trans. SDPS Hartmut Ehrig, Michael Goedicke, Julia Padberg
2001	J	`jnl`	Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Inform. Forsch. Entwickl. Hartmut Ehrig, Martin Große-Rhode
2001	—	`book`	Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage Hartmut Ehrig, Bernd Mahr, Martin Große-Rhode, Felix Cornelius, Philip Zeitz
2001	—	`ch.`	On Formal Semantics and Integration of Object-Oriented Modeling Languages. Current Trends in Theoretical Computer Science Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
2001	—	`ch.`	On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. Current Trends in Theoretical Computer Science Hartmut Ehrig
2001	J	`jnl`	On the Roots, Birth and Childhood of ETAPS. Bull. EATCS Hartmut Ehrig
2001	—	`conf`	Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets Julia Padberg, Hartmut Ehrig
2001	—	`conf`	Preface. UNIGRA Hartmut Ehrig, Claudia Ermel, Julia Padberg
2001	—	`conf`	The »Petri Net Baukasten«: An Overview. Unifying Petri Nets Magdalena Gajewsky, Hartmut Ehrig
2001	—	`ch.`	Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997. Current Trends in Theoretical Computer Science Hartmut Ehrig, Bernd Mahr
2001	—	`conf`	Tight and Loose Semantics for Transformation Systems. WADT Fernando Orejas, Hartmut Ehrig, Elvira Pino
2001	—	`ed.`	Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001 UNIGRA Hartmut Ehrig, Claudia Ermel, Julia Padberg
2001	—	`ed.`	Unifying Petri Nets, Advances in Petri Nets Unifying Petri Nets Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg
2000	—	`conf`	A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. ICALP Satellite Workshops Hartmut Ehrig, Gabriele Taentzer
2000	J	`jnl`	On Formal Semantics and Integration of Object-Oriented Modeling Languages. Bull. EATCS Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
2000	J	`jnl`	On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. Bull. EATCS Hartmut Ehrig
2000	J	`jnl`	The Role of Mathematics and Formal Specification Techniques in Software System Development. Bull. EATCS Hartmut Ehrig, Gunnar Schröter
2000	—	`ed.`	Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers TAGT Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
1999	J	`jnl`	Abstract and behaviour module specifications. Math. Struct. Comput. Sci. Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas
1999	J	`jnl`	From Basic Views and Aspects to Integration of Specification Formalisms. Bull. EATCS Hartmut Ehrig, Julia Padberg, Fernando Orejas
1999	J	`jnl`	Graphical Represenation and Graph Transformation. ACM Comput. Surv. Hartmut Ehrig, Gabriele Taentzer
1999	—	`conf`	Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. German-Argentinian Workshop on Information Technology 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
1999	—	`book`	Mathematisch-strukturelle Grundlagen der Informatik Mathematisch-strukturelle Grundlagen der Informatik Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Martin Große-Rhode, Philip Zeitz
1999	—	`ch.`	Refinement and Implementation. Algebraic Foundations of Systems Specification Hartmut Ehrig, Hans-Jörg Kreowski
1998	J	`jnl`	Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Appl. Categorical Struct. Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
1998	—	`conf`	Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. TAGT Roswitha Bardohl, Hartmut Ehrig
1998	J	`jnl`	DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Inform. Forsch. Entwickl. Hartmut Ehrig, Robert Geisler, Marcus Klar
1998	—	`conf`	Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. TAGT Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg
1998	J	`jnl`	EATCS Mini-Track of FM'99. Bull. EATCS Hartmut Ehrig
1998	J	`jnl`	Integration Paradigm for Data Type and Process Specification Techniques. Bull. EATCS Hartmut Ehrig, Fernando Orejas
1997	J	`jnl`	A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Eng. Knowl. Eng. Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
1997	—	`conf`	A Uniform Approach to Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition Hartmut Ehrig, Julia Padberg
1997	—	`conf`	A View-Oriented Approach to System Modelling Based on Graph Transformation. ESEC / SIGSOFT FSE Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig
1997	—	`ch.`	Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. Handbook of Graph Grammars Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
1997	—	`ch.`	Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
1997	J	`jnl`	An Algebraic View on Petri Nets. Bull. EATCS Hartmut Ehrig, Wolfgang Reisig
1997	—	`conf`	DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen". GI Jahrestagung Hartmut Ehrig
1997	—	`conf`	From abstract data types to algebraic development techniques: A shift of paradigms. WADT Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter
1997	—	`conf`	Future Trends of TAPSOFT. TAPSOFT Hartmut Ehrig, Bernd Mahr
1997	B	`conf`	Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
1997	J	`jnl`	How to Transfer Concepts of Abstract Data Types to Petri Nets? Bull. EATCS Hartmut Ehrig, A. Merten, Julia Padberg
1997	J	`jnl`	Institutions for Logic Programming. Theor. Comput. Sci. Fernando Orejas, Elvira Pino, Hartmut Ehrig
1997	B	`conf`	Integrating the Specification Techniques of Graph Transformation and Temporal Logic. MFCS Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini
1996	J	`jnl`	Algebraic Techniques in Software Development. Bull. EATCS Hartmut Ehrig, Bernd Mahr
1996	—	`ed.`	Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers TAGT Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
1996	J	`jnl`	Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
1996	J	`jnl`	The Impact and Future Role of Algebraic Specification. Bull. EATCS Hartmut Ehrig, Uwe Wolter
1995	—	`conf`	A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development. TAPSOFT Hartmut Ehrig, Bernd Mahr
1995	J	`jnl`	Algebraic High-Level Net Transformation Systems. Math. Struct. Comput. Sci. Julia Padberg, Hartmut Ehrig, Leila Ribeiro
1995	J	`jnl`	Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. Math. Struct. Comput. Sci. Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig
1995	J	`jnl`	Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bull. EATCS Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas
1995	—	`conf`	Introduction to COMPUGRAPH. SEGRAGRA Hartmut Ehrig
1995	—	`conf`	On the Role of Category Theory in the Area of Algebraic Specification. COMPASS/ADT Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter
1995	J	`jnl`	Theory and Practice of Software Development: A Review of Driving Forces and Expectations. Bull. EATCS Hartmut Ehrig, Bernd Mahr
1994	B	`conf`	Algebraic Methods in the Compositional Analysis of Logic Programs. MFCS Fernando Orejas, Elvira Pino, Hartmut Ehrig
1994	—	`conf`	An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1994	—	`conf`	An Event Structure Semantics for Safe Graph Grammars. PROCOMET Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1994	—	`conf`	Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT Hartmut Ehrig, Michael Löwe, Fernando Orejas
1994	J	`jnl`	Dynamic Abstract Data Types: An informal Proposal. Bull. EATCS Hartmut Ehrig, Fernando Orejas
1994	J	`jnl`	FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. Bull. EATCS Hartmut Ehrig
1994	J	`jnl`	Functorial Theory of Parameterized Specifications in a General Specification Framework. Theor. Comput. Sci. Hartmut Ehrig, Martin Große-Rhode
1994	—	`ed.`	Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings Dagstuhl Seminar on Graph Transformations in Computer Science Hans Jürgen Schneider, Hartmut Ehrig
1994	J	`jnl`	Linking Algebraic High level Nets and Dynamic Abstract Data. Bull. EATCS Hartmut Ehrig, Julia Padberg
1994	—	`conf`	Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. TAGT Hartmut Ehrig, Gregor Engels
1994	—	`ed.`	Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers COMPASS/ADT Hartmut Ehrig
1994	—	`conf`	The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
1993	—	`conf`	Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1993	—	`book`	Algebraic Specification Techniques and Tools for Software Development: The Act Approach Ingo Claßen, Hartmut Ehrig, Dietmar Wolz
1993	—	`ch.`	Algebraic Specification. Current Trends in Theoretical Computer Science Hartmut Ehrig
1993	—	`conf`	Canonical Derivaitons for High-Level Replacement Systems. Dagstuhl Seminar on Graph Transformations in Computer Science Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer
1993	J	`jnl`	Categorical principles, techniques and results for high-level-replacement systems in computer science. Appl. Categorical Struct. Hartmut Ehrig, Michael Löwe
1993	—	`conf`	Combined Algebraic Specification Techniques for Concurrent and Distributed Systems. GI Jahrestagung Hartmut Ehrig
1993	—	`conf`	Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas
1993	—	`ch.`	Concepts and Compatibility Requirements for Implementations and Transformations of Specifications. Current Trends in Theoretical Computer Science Hartmut Ehrig
1993	—	`ch.`	ESF-Concepts Linked with Algebraic Module Specifications. Current Trends in Theoretical Computer Science Hartmut Ehrig
1993	—	`conf`	Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. SBES Leila Ribeiro, Hartmut Ehrig, Julia Padberg
1993	—	`conf`	Interaction between Algebraic Specification Grammars and Modular System Design. AMAST Hartmut Ehrig, Francesco Parisi-Presicce
1993	—	`conf`	Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1993	—	`ch.`	Linking Schemas and Module Specifications: a Proposal. Current Trends in Theoretical Computer Science Hartmut Ehrig, Michael A. Arbib
1993	—	`ch.`	New Compatibility Results for Implementations within the Initial Algebraic Approach. Current Trends in Theoretical Computer Science Hartmut Ehrig, Helmut Adametz
1993	—	`ch.`	New Concepts for Amalgamation and Extension in the Framework of Specification Logics. Current Trends in Theoretical Computer Science Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1993	—	`ch.`	On the potential Role of Algebraic Specification within Computer Science. Current Trends in Theoretical Computer Science Hartmut Ehrig, Peter Pepper
1993	—	`ch.`	Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems. Current Trends in Theoretical Computer Science Hartmut Ehrig, Ingo Claßen
1993	J	`jnl`	Parallel and Distributed Derivations in the Single-Pushout Approach. Theor. Comput. Sci. Hartmut Ehrig, Michael Löwe
1993	—	`ch.`	Restriction Constructions in Specification Logics. Current Trends in Theoretical Computer Science Martin Große-Rhode, Hartmut Ehrig
1993	J	`jnl`	The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. Theor. Comput. Sci. Hartmut Ehrig, Michael Löwe
1992	—	`conf`	Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT Hartmut Ehrig, Julia Padberg, Leila Ribeiro
1992	—	`conf`	From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. Informatik zwischen Wissenschaft und Gesellschaft Hartmut Ehrig, Michael Löwe
1992	—	`conf`	High-Level-Replacement Systems for Equational Algebraic Specifications. ALP Hartmut Ehrig, Francesco Parisi-Presicce
1992	J	`jnl`	Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. Comput. J. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
1992	J	`jnl`	Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. Comput. J. Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas
1992	J	`jnl`	Restriction Constructions in Specification Logics. Bull. EATCS Martin Große-Rhode, Hartmut Ehrig
1992	J	`jnl`	Some important new facts supporting the development of algebraic specifications. Bull. EATCS Hartmut Ehrig
1991	J	`jnl`	Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms. Bull. EATCS Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1991	—	`ed.`	Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
1991	J	`jnl`	New Compatibility Results for Implementations within the Initial Algebraic Approach. Bull. EATCS Hartmut Ehrig, Helmut Adametz
1991	—	`conf`	New Concepts of Amalgamation and Extension for a General Theory of Specifications. COMPASS/ADT Hartmut Ehrig, Michael Baldamus, Fernando Orejas
1991	—	`conf`	Non-Equivalence of Categories for Equational Algebraic Specifications. COMPASS/ADT Hartmut Ehrig, Francesco Parisi-Presicce
1991	—	`conf`	On the Relationship Between Algebraic Module Specifications and Program Modules. TAPSOFT, Vol.2 Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
1991	J	`jnl`	Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. Comput. Sci. Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
1991	—	`ed.`	Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990 ADT Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
1991	—	`conf`	Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. AMAST Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas
1990	—	`conf`	A Match Operation for Rule-Based Modular System Design. ADT Hartmut Ehrig, Francesco Parisi-Presicce
1990	B	`conf`	Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. WG Michael Löwe, Hartmut Ehrig
1990	—	`conf`	Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Francesco Parisi-Presicce
1990	J	`jnl`	Combining Data Type and Recursive Process Specifications Using Projection Algebras. Theor. Comput. Sci. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
1990	J	`jnl`	Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
1990	—	`conf`	Computing by Graph Transformation: Overall Aims and New Results. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Michael Löwe
1990	J	`jnl`	ESF-concepts linked with algebraic module specifications. Bull. EATCS Hartmut Ehrig
1990	—	`conf`	From Graph Grammars to High Level Replacement Systems. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
1990	—	`book`	Fundamentals of Algebraic Specification 2 Hartmut Ehrig, Bernd Mahr
1990	—	`conf`	Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
1990	J	`jnl`	Linking Schemas and Module Specifications: A Proposal. Bull. EATCS Hartmut Ehrig, Michael A. Arbib
1990	J	`jnl`	Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. Bull. EATCS Hartmut Ehrig, Ingo Claßen
1990	J	`jnl`	Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). Bull. EATCS Hartmut Ehrig, Ingo Claßen
1990	—	`conf`	Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Martin Korff, Michael Löwe
1989	—	`conf`	Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). Software-Entwicklung Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe
1989	—	`conf`	Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
1989	J	`jnl`	Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
1989	—	`ed.`	Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany] Categorial Methods in Computer Science Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
1989	A*	`conf`	On Recent Trends in Algebraic Specification. ICALP Hartmut Ehrig, Peter Pepper, Fernando Orejas
1989	J	`jnl`	Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems. Bull. EATCS Hartmut Ehrig, Ingo Claßen
1989	J	`jnl`	The Algebraic Specification Column. Bull. EATCS Hartmut Ehrig
1989	—	`conf`	Transformation of Combined Data Type and Process Specifications Using Projection Algebras. REX Workshop Martin Große-Rhode, Hartmut Ehrig
1988	—	`conf`	Algebraic Theory of Modular Specification Development. ADT Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
1988	—	`conf`	Categorical Concept of Constraints for Algebraic Specifications. Categorial Methods in Computer Science Hartmut Ehrig
1988	—	`conf`	Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
1988	—	`ed.`	Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany ADT Hartmut Ehrig
1988	—	`conf`	Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science Fernando Orejas, Pilar Nivela, Hartmut Ehrig
1988	J	`jnl`	The Algebraic Specification Column. Bull. EATCS Hartmut Ehrig
1988	J	`jnl`	The Algebraic Specification Column. Bull. EATCS Hartmut Ehrig
1988	J	`jnl`	The Algebraic Specification Column. Bull. EATCS Hartmut Ehrig
1988	—	`conf`	The Construct PRO of Projection Spaces: Its Internal Structure. Categorial Methods in Computer Science Horst Herrlich, Hartmut Ehrig
1987	—	`conf`	Algebraic Data Type and Process Specifications based on Projection Spaces. ADT Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
1987	J	`jnl`	Algebraic Specification of Modules and Their Basic Interconnections. J. Comput. Syst. Sci. Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce
1987	J	`jnl`	Canonical Constraints for Parameterized Data Types. Theor. Comput. Sci. Eric G. Wagner, Hartmut Ehrig
1987	B	`conf`	Distributed Parallelism of Graph Transformations. WG Hartmut Ehrig
1987	—	`ed.`	Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
1987	—	`ed.`	TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87) TAPSOFT, Vol.1 Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1987	—	`ed.`	TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) TAPSOFT, Vol.2 Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
1987	J	`jnl`	The Algebraic Specification Column. Bull. EATCS Hartmut Ehrig
1987	J	`jnl`	The Algebraic Specification Column. Bull. EATCS Hartmut Ehrig
1986	J	`jnl`	A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bull. EATCS Hartmut Ehrig, Jacques Loeckx, Bernd Mahr
1986	B	`conf`	Algebraic Theory of Module Specification with Constraints. MFCS Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum
1986	—	`conf`	Graph rewriting with unification and composition. Graph-Grammars and Their Application to Computer Science Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari
1986	—	`conf`	Programming in the Large with Algebraic Module Specifications (Invited Paper). IFIP Congress Hartmut Ehrig, Herbert Weber
1986	J	`jnl`	Specification of Modular Systems. IEEE Trans. Software Eng. Herbert Weber, Hartmut Ehrig
1986	J	`jnl`	Towards algebraic data types grammars: a junction between algebraic specification and graph grammars. Bull. EATCS Hartmut Ehrig, Annegret Habel, Udo Hummert, Paul Boehm
1986	—	`conf`	Towards an Algebraic Semantics of the ISO Specification Language LOTOS. ADT Hartmut Ehrig
1986	—	`conf`	Towards distributed graph grammars. Graph-Grammars and Their Application to Computer Science Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe
1986	—	`conf`	Tutorial introduction to the algebraic approach of graph grammars. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig
1985	—	`book`	Fundamentals of Algebraic Specification 1: Equations and Initial Semantics Hartmut Ehrig, Bernd Mahr
1985	—	`ed.`	Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) TAPSOFT, Vol.1 Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
1985	—	`ed.`	Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE) TAPSOFT, Vol.2 Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
1984	J	`jnl`	Parameter Passing in Algebraic Specification Languages. Theor. Comput. Sci. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1984	—	`conf`	Towards Abstract User Interfaces for Formal System Specifications. ADT Hartmut Ehrig, Werner Fey, Horst Hansen
1983	—	`conf`	ACT ONE - An Algebraic Specification Language with two Levels of Semantics. ADT Hartmut Ehrig, Werner Fey, Horst Hansen
1983	A*	`conf`	Algebraic Specifications with Generating Constraints. ICALP Hartmut Ehrig, Eric G. Wagner, James W. Thatcher
1983	J	`jnl`	Compatibility of Parameter Passing and Implementation of Parameterized Data Types. Theor. Comput. Sci. Hartmut Ehrig, Hans-Jörg Kreowski
1983	B	`conf`	Concurrent Transformations of Graphs and Relational Structures. WG Hartmut Ehrig, Annegret Habel
1983	—	`ed.`	Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982 Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg
1982	—	`conf`	ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems. ADT Hartmut Ehrig
1982	J	`jnl`	Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
1982	—	`conf`	Aspects of concurrency in graph grammars. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig
1982	—	`conf`	Church-Rosser properties for graph replacement systems with unique splitting. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, John Staples
1982	B	`conf`	Concurrency of Node-Label-Controlled Graph Transformations. WG Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg, Hartmut Ehrig
1982	—	`conf`	Parameterized Data Types and Parameter Passing. ADT Hartmut Ehrig
1981	B	`conf`	A Graph-Theoretical Model for Multi-Pass Parsing. WG Hartmut Ehrig, Berthold Hoffmann, Ilse Schmiedecke
1981	—	`conf`	Algebraic Theory of Parameterized Specifications with Requirements. CAAP Hartmut Ehrig
1981	J	`jnl`	Complexity of Algebraic Implementations for Abstract Data Types. J. Comput. Syst. Sci. Hartmut Ehrig, Bernd Mahr
1981	—	`conf`	KWIC-index generation. Program Specification 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
1981	—	`conf`	Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. GI Jahrestagung Hartmut Ehrig, Werner Fey
1981	—	`conf`	Parameter Passing in Algebraic Specification Languages. Program Specification Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1981	J	`jnl`	Transformations of Structures: an Algebraic Approach. Math. Syst. Theory Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
1980	—	`conf`	A Case Study of Abstract Implementations and Their Correctness. Symposium on Programming Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
1980	A*	`conf`	Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. ICALP Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
1980	C	`conf`	Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. Software Engineering Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski
1980	J	`jnl`	Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems. Inf. Syst. Hartmut Ehrig, Hans-Jörg Kreowski
1980	A*	`conf`	Complexity of Implementations on the Level of Algebraic Specifications STOC Hartmut Ehrig, Bernd Mahr
1980	B	`conf`	Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. MFCS Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz
1980	J	`jnl`	On an equivalence of system-theoretical and categorical concepts. Kybernetika Jirí Adámek, Hartmut Ehrig, Vera Trnková
1980	J	`jnl`	Parallelism and Concurrency of Graph Manipulations. Theor. Comput. Sci. Hartmut Ehrig, Barry K. Rosen
1980	A*	`conf`	Parameterized Data Types in Algebraic Specification Languages (Short Version). ICALP Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980	J	`jnl`	The Mathematics of Record Handling. SIAM J. Comput. Hartmut Ehrig, Barry K. Rosen
1979	J	`jnl`	Algebraic implementation of abstract data types: an announcement. SIGACT News Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
1979	J	`jnl`	Categorial approach to nonlinear constant continuous-time systems. RAIRO Theor. Informatics Appl. Hartmut Ehrig, Wolfgang Kühnel
1979	—	`ed.`	Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978 Graph-Grammars and Their Application to Computer Science and Biology Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg
1979	—	`conf`	Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. Formale Modelle für Informationssysteme Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber
1978	A*	`conf`	Algebraic Specification Schemes for Data Base Systems. VLDB Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber
1978	B	`conf`	Concurrency of Manipulations in Multidimensional Information Structures. MFCS Hartmut Ehrig, Barry K. Rosen
1978	—	`conf`	Decomposition of Graph Grammar Productions and Derivations. Graph-Grammars and Their Application to Computer Science and Biology Hartmut Ehrig, Barry K. Rosen
1978	B	`conf`	Deriving Structures from Structures. MFCS Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
1978	—	`conf`	Introduction to the Algebraic Theory of Graph Grammars (A Survey). Graph-Grammars and Their Application to Computer Science and Biology Hartmut Ehrig
1978	—	`conf`	Locally Star Sluing Formulas for a Class of Parallel Graph Grammars. Graph-Grammars and Their Application to Computer Science and Biology Hartmut Ehrig, Axel Liedtke
1978	A*	`conf`	Stepwise Specification and Implementation of Abstract Data Types. ICALP Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz
1977	B	`conf`	Embedding Theorem in the Algebraic Theory of Graph Grammars. FCT Hartmut Ehrig
1977	A*	`conf`	The Mathematics of Record Handling. ICALP Hartmut Ehrig, Barry K. Rosen
1976	J	`jnl`	Grammars on Partial Graphs. Acta Informatica Hans Jürgen Schneider, Hartmut Ehrig
1976	B	`conf`	Parallelism of Manipulations in Multidimensional Information Structures. MFCS Hartmut Ehrig, Hans-Jörg Kreowski
1976	J	`jnl`	Systematic Approach to Reduction and Minimization in Automata and System Theory. J. Comput. Syst. Sci. Hartmut Ehrig, Hans-Jörg Kreowski
1975	J	`jnl`	Graph Grammars and Applications to Specialization and Evolution in Biology. J. Comput. Syst. Sci. Hartmut Ehrig, Karl Wilhelm Tischer
1975	—	`conf`	Parallel Graph Grammers. Automata, Languages, Development Hartmut Ehrig, Hans-Jörg Kreowski
1975	—	`conf`	Some Definitional Suggestions for Parallel Graph Grammars. Automata, Languages, Development Hartmut Ehrig, Grzegorz Rozenberg
1974	—	`conf`	Diagram characterization. Category Theory Applied to Computation and Control Hartmut Ehrig, Wolfgang Kühnel, Michael Pfender
1974	—	`conf`	Power and initial automata in pseudoclosed categories. Category Theory Applied to Computation and Control Hartmut Ehrig, Hans-Jörg Kreowski
1974	J	`jnl`	Topological automata. RAIRO Theor. Informatics Appl. Hartmut Ehrig, Wolfgang Kühnel
1974	—	`book`	Universal theory of automata - a categorial approach. Hartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, Wolfgang Kühnel
1973	—	`conf`	Graph-Grammars: An Algebraic Approach SWAT Hartmut Ehrig, Michael Pfender, Hans Jürgen Schneider